行列積の定義

行列の積の定義。文字・数式の体裁のリフォーム。