Pauli matrices
パウリ行列は次の性質を満たす。