パウリ行列
formula_4 of Pauli matrices formula_5, where