パウリ行列
ここでformula_23はパウリ行列である。