Re:>>149 お前はそのようなことを書く暇があるなら,眠り続けろ.

複素数の正方行列は unitary 行列で三角化可能.