Chapter_16_抽象ベクトル空間_|_線形代数のエッセンス