, 引 00
,
ゆ
数理解析研究所講究録 709
ソフトウェア科学・工学の 数理的方法
じ
し/
ll va pmei 一 ,,
日暮
鯛斜 剛醐
、 鴨、 プ 潤 W町 へ 耀mm 嚇 騨陣 隅 F
惚喋畷
,、飾 3 キロ歪》
り黛彦 蔓乙覧毒
あ禽
喜 4. 略 , 〆 t 講賭トン
享垂・諺
タ , ・ず 羊 } ・ 4 ぜ 熱夢
ハ6伸ど魯
幽鷺 駆驚、
野田 弓瑞一 略§、榊
○1 嚢溜
2
●「ーーーー
蓼
熟ゴご業ゐ舜
鶉キロ菖・∵i周{}˜ 汐 ン三
脚置螺綱糾L伽蹴戯}軸L-tv一鴨ひ1一舳ゐ一跳一nt一e・納一瑚
京都大学数理解析研究所
1989 年 12 月
twnypmwwpmsuteA
ソフトウ 畜。 1 輪♂ 1
研究集会幸晧集 図書
萎支王里角奪栃石升究戸斤 蓑
1988年9月20日{}˜9月22日 ノ
研究代表者 中田 育男(Ikuo Nakata)
目 次
1. 数学的側面からみた状況理論 1
刃T世代1ンヒーt一声技術開発機構 向井 国昭(Kumakl Muka1)
2
3
4
一入
6
のA Pdgdllel Algon(hm for lnheritance llierarchies with Constrains 15
刃!1財いノヒー1一タ技術開発機構 毛受 哲(Saしoshl MenJU)
〃 伊藤 英則 (Hldenorl Itoh)
〃 森田 幸伯 (Yukihiro Morlta)
ebject Oriented Approach to Biscourse Understanding 33
慶応大・理工 沼岡 千里(Chlsato Numaoka)
〃 永野 正(Tadashl Nagano)
〃 所 真理雄(Marlo Tokor(,)
Negd(ion Technique for Context-Free Gramrnars 48
筑彼大・電情工 山下 義行(Yoshlyukl Yamashlta)
〃 中田 育男 (lkuo Nakata) 1 u eme しdl AUribu〔e EV(iluation dnd l}drsing Bdsed
on E(1,R dttribu(pd Grammars 68
筑彼大・電情工 佐々 政孝(Masataka Sassa) On the Finite Church-Rosser Property of Nonlinear Term
Rewr1 し 1ng Systems 101
:NTTソフトウェア研 小川 瑞史(Mlzuhlto Ogawa)
〃 ノ」、里予 諭(Satosh1 0no)
1
7
8
9
io.
IL
12.
13.
A 1)enotdtional Model of Type lnheritance and Generics 116
京大・数理研 立木 秀樹(Hidekl Tsulk1) Exe(.uLable and lormalized logic programming language
bdsed on l ime mteival logic 143 京大・情教セ 新出 尚之(Naoyukl Nlde)
Polen〔lals of Genera1一一Purpose Reasonlng AsslsしanしSystem EUODHILOS 166 富士通・国際研 沢村 一(HaJlme Sawamura)
〃 南 俊朗 (Toshlro Mlnam1)
linlaitmenl ds a Logical Basis for Deductive Reasoning 199 九大・工 程 京徳(Jlngde Cheng)
A BeLidrative Semantics of Parallel Logic Programs
bdsed or} Failure/Deadlock Set 221
新世代コンピゴータ技術開発機構 村上 昌己(Masakl Murakam1) An Approach Lo Knowledge Representation using Multi一一world Logic 235
富士通・国際研 織田 充(Mitsuru Oda)
Exper( System foT Specification Process in Software Development System
Pure TE しし 247
東工大・工 佐伯 元司(Motoshl Saek1) 富士通・国際研 蓬莱 尚幸(Hlsayukl Horal)
榎本 肇(HaJlme Enomoto)
11一
