定常ホロモルフィック断面曲率を持つKähler計量の局所分類 | Synapse