ハイゼンベルグ形式による量子力学