ヒルベルト空間
Separable Hilbert space