ソフトウェアとしての成果

1. 分散MGTP： N逐次方式の分散版MGTP。
2. Java-MGTP： Javaによるグラウンド版MGTP(MERC 方式インタプリ タ)を作成。
3. PTVシステム： Java-MGTPの可視化システム。問題ファイルの指 示、証明木描画、証明木ナビゲーション等が可能。
4. 証明木の簡約化システム： Java-MGTPの証明木から無駄な推論を除去す るプログラム。