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

1. Java-CMGTP：制約MGTPインタプリタ
2. MGTP-GUIシステム：Java-CMGTPの可視化システム。問題ファイルの指示、 リアルタイム証明木描画、証明木ナビゲーション等が可能。