No.511

1983/09/28〜1983/09/30

後藤　英一

GOTO,EIICHI

目　次

1. A Fast Parallel Merging Algorithm for 2-3 trees-----------------------------------------------------------------------------------1

　　　　東京工業大学情報科学科　　　柴山 悦哉　(SHIBAYAMA, Etsuya)

　

2. Analogy and Generalization-------------------------------------------------------------------------------------------------------26

　　　　Research Institute of Fundamental Information Science, Kyushu University　　　Haraguchi, Makoto

　

3. Evaluating graph representations with active nodes-------------------------------------------------------------------------------49

　　　　東京工業大学工学部情報工学科 / 東京工業大学工学部情報工学科　　　沼尾 正行 / 志村 正道　(NUMAO, Masayuki / SHIMURA, Masamichi)

　

4. On Equivalence Trarnsformations for Term Rewriting Systems-----------------------------------------------------------------------74

　　　　Musashino Electrical Communication Laboratory, N.T.T.　　　外山 芳人　(TOYAMA, Yoshihito)

　

5. ロボットのソフトウェア : tutorial(ソフトウェア科学・工学の数理的方法)------------------------------------------------------------97

　　　　電子技術総合研究所 / 電子技術総合研究所　　　塚本 享治 / 末広 尚士　(Tsukamoto, Michiharu / Suehiro, Takashi)

　

6. Analysis and transformation of concurrent processes connected by streams--------------------------------------------------------120

　　　　University of Tsukuba / University of Tsukuba / University of Tsukuba　　　久世 和資 / 佐々 政孝 / 中田 育男　(Kuse, Kazushi / Sassa, Masataka / Nakata, Ikuo)

　

7. A Portable Logic Simulation System----------------------------------------------------------------------------------------------144

　　　　Department of Information Science, University of Tokyo　　　Shimizu, Kentaro

　

8. 自然言語の意味論 : 概説(ソフトウェア科学・工学の数理的方法)---------------------------------------------------------------------156

　　　　豊橋技術科学大学　　　郡司 隆男　(Gunji, Takao)

　

9. データフローマシンにおける部分計算(ソフトウェア科学・工学の数理的方法)----------------------------------------------------------169

　　　　日本電信電話公社 武蔵野電気通信研究所 / 日本電信電話公社 武蔵野電気通信研究所 / 日本電信電話公社 武蔵野電気通信研究所　　　小野 諭 / 高橋 直久 / 雨宮 真人　(ONO, Satoshi / TAKAHASHI, Naohisa / AMAMIYA, Makoto)

　

10. OR-Parallel Optimizing Prolog System : POPS Its design and implementation in Concurrent Prolog---------------------------------204

　　　　Institute for New Generation Computer Technology / Institute for New Generation Computer Technology / Institute for New Generation Computer Technology　　　平川 秀樹 / 尾内 理紀夫 / 古川 康一　(Hirakawa, Hideki / Onai, Rikio / Furukawa, Kohichi)

　

11. INCORPORATING NAIVE NEGATION INTO PROLOG---------------------------------------------------------------------------------------223

　　　　財団法人新世代コンピュータ技術開発機構(ICOT) / 財団法人新世代コンピュータ技術開発機構(ICOT)　　　坂井 公 / 宮地 泰造　(Sakai, K. / Miyachi, T.)

　

12. The Temporal Semantics of Logic Programming------------------------------------------------------------------------------------242

　　　　東京工業大学工学部　　　米崎 直樹　(Yonezaki, Naoki)

　

13. Foundation of Logic Programming Based on Inductive Definition------------------------------------------------------------------259

　　　　Research Institute for Mathematical Sciences, Kyoto University / Department of Information Science, Faculty of Science, University of Tokyo　　　Hagiya, Masami / Sakurai, Takafumi