正則断面曲率がどこでも正になるようなケーラー構造が入り得るコンパクト複素多様体の条件は
分かっているのか