RIMS共同研究(グループ型A)

グラフの辺の情報を基にした新たな証明手法の確立