ALGORITHM / 鬱P 3x3 ZZ Method Speedsolving Tutorial (for CFOP。Example 2.4. The power of ZX-calculus is it derives a set of rules。Verifying Mutual Exclusion Algorithms with Non-Atomic Registers。Unifying flavors of fault tolerance with the ZX calculus – Quantum。中古CD帯つき