1. | 第五世代コンピュータプロジェクトの概要 | |
2. | 並列推論システム | |
3. | モデルに基づくプラント制御用エキスパートシステム | |
4. | 適応型電子装置診断実験システム | |
5. | 事例に基づく回路設計支援システム | |
6. | 階層再帰並列レイアウト実験システムCo-HLEX | |
7. | 並列セル配置実験システム | |
8. | 論理アーキテクチャ設計支援システム RODIN | |
9. | 協調型論理設計エキスパートシステムco-LODEX | |
10. | 並列LSI配線プログラム | |
11. | 並列論理シミュレータ | |
12. | タンパク質の配列解析プログラム ---(並列反復改善法によるマルチプルアライメント) --- |
|
13. | 並列自動証明システム MGTP | |
14. | 並列データベース管理システム Kappa-P | |
15. | 知識表現言語 Quixote | |
16. | 並列法的推論実験システム HELIC-II | |
17. | モチーフ抽出実験システム | |
18. | 並列プログラム開発支援システムMENDELS ZONE | |
19. | 並列制約論理プログラミングシステム GDCC | |
20. | 立論テキスト生成実験システム Dulcinea | |
21. | 並列協調に基づく自然言語解析実験システム Laputa | |
22. | 文脈構造抽出実験システム |