パウリ行列
where the Pauli matrices in the standard representation are: