>>777
ヒルベルト空間はベクトル空間なんだが