ハイパーグラフのヒッティング集合と着色 | Synapse