ヒルベルト空間値関数