FGCS'84 会議録
表紙
序
写真
目次
１．全体会議
1.1　開会式
(1)　挨　拶	1
財団法人　新世代コンピュータ技術開発機構　理事長　片山 仁八郎
(2)　挨　拶	3
第五世代コンピュータ国際会議実行委員会　委員長　元岡 達
(3)　祝　辞	5
通商産業省　政務次官　田沢 智治
(4)　基調講演「高度情報化社会の実現をめざして」	6
通商産業省　機械情報産業局　局長　木下 博生
(5)　基調講演「プロジェクトの基本理念・・・・・・再説」	15
財団法人　新世代コンピュータ技術開発機構　常務理事・研究所長　渕　一博
(6)　プログラム委員会報告	22
プログラム委員会　委員長　相磯 秀夫
1.2　パネルディスカッション「各国の研究開発事情と社会への影響」	25
1.3　招待講演
(1)　「変わりゆく情報化社会」	49
(2)　「有限木と無限木上の等式と不等式」	58
1.4　ICOTの研究開発概要および研究成果
(1)　研究開発の現状と今後の計画	59
(2)　アーキテクチャとハードウェアシステム	74
(3)　基礎ソフトウェアシステム	87
(4)　逐次型推論マシン(SIM)の進捗報告	102
(5)　逐次型推論マシン(SIM)のソフトウェアシステム	107
２．テクニカルセッション
2.1　招待論文（論文要旨）
(1)　「論理型プログラムの基礎理論」	113
(2)　「新世代コンピュータのアーキテクチャ」	114
(3)　「新世代コンピュータの応用」	115
2.2　一般論文（論文要旨）
(1)　論理型プログラム言語の基礎理論	117
(2)　論理型プログラム言語とその方法論	127
(3)　新世代コンピュータのアーキテクチャ	135
(4)　新世代コンピュータの応用	148
(5)　新世代コンピュータのインパクト	159
2.3　ミニパネルディスカッション「新世代コンピュータのインパクト」	161
2.4　パネルディスカッション「並列処理と新世代コンピュータ」	171
付　録
・会議要項、会議プログラム
・委員会名簿