ゴールに依存した抽象化を用いた法的推論システムの開発に関する研究

角田篤泰（北海道大学 法学部）

• 概要と研究目的
• 成果概要
  • GUI機能
  • ドキュメント・例題
• ブラッシュアップ達成度
  • 成果ソフトウエア達成度
  • 成果ドキュメント達成度
• まとめ
• 参考文献