ユニタリ行列とは何か