同時対角化
Follow @cptHausdorff