>>243
237のままだと正方行列である必要があります．
なので，237のコード中のassertで一応そのことを表明しているつもりです．