内積のないヒルベルト空間なんて、クリープをいれないインスタントコーヒーのようなものだ