generated at
直行行列
^tA=A^{-1}となるような行列Aのこと
転置行列逆行列が等しくなる