双曲空間 H⁴ における有限指標の CMC ハイパーサーフェス | Synapse