https blog goo ne jp mh0920 yh e b4eefd9e042797f766fdef925fff0c41
エルミート行列をユニタリ 行列で対角化する 線型代数の固有値の話題から 身勝手な主張