研究の成果

• 研究上の成果
  • 汎用並列マシン上の MGTP 並列化
  • Java-MGTP の試作
  • GUIシステムの開発
  • Kオペレータの導入と証明木簡約化
  • データの検索効率化による推論速度の高速化
  • CMGTPの改良
  • 探索制御機能の拡張
• ソフトウェアとしての成果
• 残された課題
• 評価