>> 257
なんでベクトル空間を定義するのにわざわざ内積を導入する必要があるの?