>>546
暇つぶしのために検討します。
複素対称行列関連の話でも、芋づる式に見ておきますよ。