>>828
ランク1の対称空間だけどそんな計算が大変なのか
ケーラー構造は持つのか?