サークルパッキングによる平面双曲グラフ上の二重ダイマー | Synapse