Hilbert space
状態空間のヒルベルト空間による定式化.