研究上の成果

• 汎用並列マシン上の MGTP 並列化
• Java-MGTP の試作
• GUIシステムの開発
• Kオペレータの導入と証明木簡約化
• データの検索効率化による推論速度の高速化
• CMGTPの改良
• 探索制御機能の拡張