Pauli matrices
一方、を単位ベクトルとし、パウリ行列を使って