---

Next: (資料) 第五世代コンピュータ・プロトタイプ・システムの概要

---

---

• (資料) 第五世代コンピュータ・プロトタイプ・システムの概要
• 並列推論マシン PIM
• 並列論理型言語 KL1 処理系
• 並列推論マシン・オペレーティング・システム PIMOS
• 並列非正規関係データベース・システム Kappa-P
• 並列定理証明システム MGTP
• 並列制約処理言語システム GDCC
• 知識表現言語システム Quixote
• 法的推論システム HELIC-II
  • 条文による推論と判例による推論を統合した新しい推論メカニズム
  • 詳細な知識表現と高度な推論技術
  • 実問題を解決することにより推論能力を実証
  • 高速な推論を可能にした並列プログラミング技法
• 遺伝子情報処理システム
• 大規模集積回路設計支援システム
• 自然言語処理システム
  • 概要
  • 言語データの蓄積
  • 汎用日本語処理系のツール群の公開
  • 文生成ツールの拡張
• プログラム自動合成システム MENDELS ZONE
• 棋士システム 碁世代

---