パウリ行列
The Pauli matrices are a vector of three 2×2 matrices