パウリ行列
Using the Pauli matrices, take