ヒルベルト空間
Hilbert space dimension