Pauli matrices
単位行列を含めたパウリ行列 について、