パウリ行列
Generalizations of the Pauli matrices