>>784
http://codepad.org/hVW2K4cs

行と列の数はマクロとして与えたので行列の積が定義出来ない事はあり得ないけど
もし標準入力から与える場合は判定が生きてくる