難しいことは嫌いだ

計量ベクトル空間