FGCS'92
第五世代コンピュータの研究開発成果COVER 目次
ICOT研究開発総合報告 FGCSプロジェクト10年間の概観 1 ICOT研究所総括担当次長 黒住 恭司 第五世代コンピュータプロジェクトにおける基礎研究の概要 10 ICOT研究所研究担当次長 古川 康一 並列推論マシンと基本ソフトウェア総論 23 ICOT研究所研究部長 内田 俊一 ICOT研究成果報告 並列推論マシンPIM 41 ICOT研究所第1研究室 瀧 和男 オペレーティングシステムPIMOSと核言語KL1 64 ICOT研究所第2研究室 近山 隆 統合知識ベース管理システム 80 −FGCSプロジェクトにおけるデータベース・知識ベースの研究開発の概要− ICOT研究所第3研究室 横田 一正、安川 秀樹 制約論理プログラミングシステム −CAL, GDCCとその制約評価系− 103 ICOT研究所第4研究室 相場 亮、長谷川 隆三 並列定理証明器とその応用 122 ICOT研究所第5研究室 長谷川 隆三、藤田 正幸 自然言語処理ソフトウェア 145 ICOT研究所第6研究室 田中 裕一 並列推論実験ソフトウェア 156 ICOT研究所第7研究室 新田 克己、瀧 和男、市吉 伸行