RIMS共同研究（グループ型A）

全域部分グラフの解析手法の精査