表現行列 対角化