Pauli matrices
を使うとパウリ行列を運動エネルギー項から除くことができて、