QR decomposition
QR分解を正方行列の行列式の絶対値を求めるのに利用できる。ある行列がformula_12と分解できるとする。このとき