Pauli matrices
さらに実ベクトル とパウリ行列の組 に対し、