準算術ハイパーボリックコクセター prism | Synapse