第6回 第五世代コンピュータに関するシンポジウム
|
|
| 表紙 | |
| 目 次 | |
１． 第五世代コンピュータ研究開発プロジェクトの昭和62年度成果の概要 |
1 |
| 黒住 恭司 | |
| ２．並列推論マシン（PIM）および並列推論制御ソフトウェア（PIMOS） |
13 |
| 内田 俊一 他 | |
| ３．知識ベースサブシステム |
22 |
| 伊藤 英則 | |
| ４．基礎ソフトウェア・システム（問題解決・推論、知的プログラミング） |
27 |
| 長谷川 隆三 | |
| ５．基礎ソフトウェア・システム 自然言語処理ソフトウェア |
34 |
| 内田 俊一 他 | |
| ６．基礎ソフトウェア実証システム |
39 |
| 藤井 裕一 | |
| ７．PIMのKL1並列処理系用GC方式 |
49 |
| 後藤 厚宏 | |
| ８．PIMOSとユーザプログラムの間の通信方式 |
56 |
| 佐藤 裕幸 | |
| ９．知識ベース並列検索実行管理 |
62 |
| 横田 治夫 | |
| １０．演繹データベースにおける問合せ処理 |
67 |
| 世木 博久 | |
| １１．Kappaにおける非正規形演繹データベース |
73 |
| 横田 一正 | |
| １２．並列プログラムのプロトタイピング支援環境MENDELS |
78 |
| 本位田 真一 | |
| １３．制約論理プログラミング言語CAL |
85 |
| 相場 亮 | |
| １４．汎用日本語処理系LTB |
92 |
| 杉村 領一 | |
| １５．談話理解のための辞書/言語知識ベース |
96 |
| 田中 裕一 | |
| １６．設計型エキスパートシステム |
101 |
| 永井 保夫 |
