GUIシステムの開発

本研究では、問題の指定から証明木描画まで一貫して行えるMGTPのGUIシステ ム(Proof Tree Visualizer)の作成を行った。PTVの持つ主な機能は、

• 完全にGUI化された入出力環境
• 重み付き・重みなしの木型、放射型計4通りの表示方法を持つ
• 縦・横方向へスクロールできる
• クリックされた点を中心にしてズームイン・ズームアウトができる
• 節点をクリックすることでその節点の情報を別ウィンドウで開示できる
• 2節点間の証明ルートを表示できる

PTVシステム概観

である。これらの機能を実装する上で最も工夫を要した点は、ズーム機能とス クロール機能の連携、ズーム後の描画方法、そして節点クリックを可能とした 方法、の3点である。

現時点でのPTVは、実用に足る速度で、数万個の節点集合から成る木を自由な スケールで描画し、節点一つ一つの情報を開示することに成功した。今後は研究 支援ソフトウェアとしてのさらなる機能強化が計画されている。また、木構造 を有するデータ構造一般に対して高い汎用性を持つことから、適用分野の拡大 も大きな目標となる。