を使うと、ハミルトニアン()は