Pauli matrices
2状態系の演算子の記述には、パウリ行列による表現が適用できる。エルミート演算子