FGCS'92
第五世代コンピュータ国際会議 デモンストレーション説明資料
COVER　

目次
１．第五世代コンピュータプロジェクトの概要 1
　
２．並列推論システム 8
　　　* 並列論理型言語 KL1 9
　　　* 並列推論マシン・オペレーティングシステム PIMOS 10
　　　* 並列推論マシン PIM 11
　　　* KL1処理系 12
　　　* 各PIMモジュールとマルチPSI 13
　
３．モデルに基づくプラント制御用エキスパートシステム 19
　
４．適応型電子装置診断実験システム 23
　
５．事例に基づく回路設計支援システム 27
　
６．階層再帰並列レイアウト実験システム Co-HLEX 31
　
７．並列セル配置実験システム 35
　
８．論理アーキテクチャ設計支援システム RODIN 39
　
９．協調型論理設計エキスパートシステム co-LODEX 43
　
１０．並列LSI配線プログラム 47
　
１１．並列論理シミュレータ 51
　
１２．タンパク質の配列解析プログラム（並列反復改善法によるマルチプルアライメント） 57
　
１３．並列自動証明システム MGTP 63
　
１４．並列データベース管理システム Kappa-P 75
　
１５．知識表現言語 QUIXOTE 81
　
１６．並列法的推論実験システム HELIC-II 87
　
１７．モチーフ抽出実験システム 93
　
１８．並列プログラム開発支援システム MENDELS ZONE 97
　
１９．並列制約論理プログラミングシステム GDCC 101
　
２０．立論テキスト生成実験システム Dulcinea 109
　
２１．並列協調に基づく自然言語解析実験システム Laputa 113
　
２２．文脈構造抽出実験システム 117