（無題）

何故Mathematica君はエルミート行列の固有ベクトルとして
正規直交基底を返してくれないんですかね…
エルミート行列を引数にして
それを対角化するようなユニタリ行列を返す関数って
絶大な需要があると思うんだけど…
いや、まあEigenvectorsとOrthogonalizeを合わせろ
って言われてしまえばそれまでですが。