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