研究成果

• 学習アルゴリズムの改良
  • パスセット計算の効率化
  • 初期入出力完全仮説の導入
  • Commutative 述語の扱い
  • マジックセット法の精密化
• 利用環境の整備
• 逆伴意における最弱仮説の完全化