理論計算機科学分野における大きな未解決問題の1つに, NP対coNP問題があげられる.この問題に対する重要なアプローチ法に証明の複雑さの研究がある.本研究では,既存の論理式に対する証明系に焦点をあてた研究ではなく,グラフに対するグラフ計算論法を用いた研究を行い,証明系とグラフ計算論法の計算能力における関係を得ることに成功した.また,対象としたグラフ計算論法をシミュレートする列挙アルゴリズムを実装し実際に実験を行った.