一次写像の行列表示と標準化

実n次元数ベクトル空間から実m次元数ベクトル空間への一次写像の行列表示と標準化をマイナーチェンジ。