行列の対角化とジョルダン標準形