高専数学 ドリルと演習シリーズ 線形代数 74.正則行列による対角化