対称行列の対角化
対称行列の対角化