FGCS'88 デモンストレーション説明資料　目次

表紙

No.	デ　モ　テ　ー　マ
1	並列ソフトウェア開発システム 　　　・ 並列ソフトウェア開発用ハードウェア - マルチPSI 　　　・ KL1分散処理系 　　　・ 並列推論マシン・オペレーティングシステム：PIMOS 　　　・ PSI-II上の並列ソフトウェア開発環境：PIMOS-S 　　　・ 並列ソフトウェア研究 　　　・ マルチPSI用稼働率測定表示プログラム 　　　・ 並列応用プログラム 　　　　(1) 自然言語構文解析 　　　　(2) 詰め碁 　　　　(3) 詰め込みパズル 　　　　(4) 最適経路問題
2B	並列動作系推論実験システム
3	談話理解実験システム「DUALS-III」
4A	知識ベース管理システム「Kappa」
5A	証明支援システム「CAP-LA」
5B	制約論理プログラミング言語実験システム「CAL」
6A	論証支援システム「EUODHILOS」
6B	文法学習支援システム「LESSON」
7A	並列プログラム変換/可視化システム「VISTA」
7B	プログラム解析検証実験システム「Argus」
8	並列プログラムのプロトタイピング支援環境「MENDELS ZONE」
9A	知的情報検索実験システム「IRIS」
9B	LTBを利用したスケジューリング支援実験システム「IS3」
10A	契約書作成を対象とした対話理解実験システム「ToR」
10B	対話モデル実験システム
11A	操作案内を対象とした自然言語対話システム
11B	論理装置の設計支援用実験システム
12	並列知識ベース実験システム「Mu-X」
13	DNA配列知識ベース実験システム「KNOA」
14A	電子交換機故障診断支援システム
14B	並列協調型レイアウト問題解決実験システム
15	論理設計エキスパートシステム「co-LODEX」
16A	知識獲得支援システム「EPSILON/One」
16B	協調型ポートフォリオ選択実験システム「ESCOPS」
17A	制約思考知識コンパイラ　-設計支援システム構築ツール-　「MECHANICOT」
17B	工作機械の主軸分解手順生成実験システム
18	囲碁棋士システム・プロトタイプ「碁世代」
19A	協調問題解決に基づくインタフェース実験システム　-地図情報検索システム-
19B	ESP上の定性推論システム「QR/ESP」
20	実験的リフレクティブ・プログラミング・システム「ExReps」