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