1. カテゴリーなし

ユニタリー行列とユニタリー群 ユニタリー群や特殊ユニタリー群は