パウリ行列
in terms of Pauli matrices.