パウリ行列
パウリ行列は次の性質を満たす。