数理解析研究所講究録 918 書き換えシステムの 理論とその応用 京都大学数理解析研究所 1995 年 8 月 RIMS Kokyuroku 918 Theory of Rewriting Systems and Its Applications 1995 August, ${\rm Res} e$ a ch I $nstitute$ $r$ $for$ $M$ Ky $oto$ Un $iversity$ , a hemat $t$ Kyo $to$ , $ic$ a1 $Sciences$ $Jap$ an 書き換えシステムの理論. とその応用 研究集会報告集 1995 年 7 月 24 日 研究代表者 芳人 ( 外山 $L\epsilon v\epsilon 1-Conf1u\epsilon nc\epsilon 0f$ $|\Uparrow Ri\mathfrak{g}\Uparrow t$ 2. CO $n4ition$ a1 筑波大・電子情報工学系 鈴木 筑波大・電子情報工学系 Aa $rt$ 筑波大・電子情報工学系 井田 a $tib|fT\epsilon$ rm a $t\epsilon $\beta|$ eme Sy $st$ ems $R\epsilon writ\epsilon$ $R\epsilon writin\mathfrak{g}$ Sys $wit$ A Ex $tr$ a Va $ri$ a I $b$ $nt$ a $tionof$ $M\epsilon ta-co|\mathfrak{n}\beta ut$ $t$ 大郎 ( $T$ a $roSuzuk|$ ) $M|44\epsilon|t_{0}r\mathfrak{p}$ 哲雄 (\Gamma \epsilon tsu0 ems $an4$ $|ta$ Norma 1 $its$ ) $izin\mathfrak{g}$ $Co$ n4 $iti0$ 正彦 (Ma $sa\Uparrow|ko$ 酒井 na 1 $T\epsilon rm$ Rewr $itin\mathfrak{g}$ Sys $t\epsilon$ ms $S$ a a $k$ $Com\mathfrak{p}1\epsilon ti0n$ 5. A a1 $n$ ) A a $ti0n———————————————–24$ 政信 (Ma a $n0bu$ Numa a ) 沼澤 北大・工 $Z$ 北大・工 栗原 正人 (Ma $sa\Uparrow|to$ 北大・工 大内 東 ( $Az$ uma for Mu Sy $st$ ellls $0$ $wa$ $Kur|\Uparrow ara$ ) A $uc$ A ) $|$ $lti\mathfrak{p}1\epsilon R\epsilon 4uctionOr4\epsilon rinOs--------------------34$ $S$ aA $S$ A 北大工 栗原 正人 (Ma 茨城大工 近藤 久 ( $H|s$ a 北大・工 大内 東 (Azuma $ys\dot{1S}0fCoN1\beta|\epsilon t\epsilon n\epsilon ss$ $R\epsilon writ\epsilon$ $|$ $\epsilon Qui\mathfrak{p}\beta\epsilon 4wit$ $S$ 4. $\epsilon s$ \mathfrak{g}y-------------------------------------------------------16$ 北陸先端大・情報 3. 1111 ama) -Hand $Si4\epsilon s---------------------------------------------1$ $L\epsilon ft-int0II1\beta$ $Str$ $Toy$ $Yos\Uparrow|\Uparrow|to$ 次 目 1. 月 26 日 $\sim 7$ $of$ $L$ a $bor$ a $tory$ A $ssi\mathfrak{g}nm\epsilon nt$ $|to$ $Kon40$ $i$ $0$ $Kur|\Uparrow ara$ ) ) A $ut$ A ) AI $|$ $\mathfrak{g}0rit\Uparrow mby$ A $\epsilon 0ry----------------------------------------------48$ 正人 (Ma a $to$ NO $to$ ) 能登 北大・工 $T$ $s$ 6 北大工 栗原 正人 (Ma $sa\Uparrow|t0$ 北大・工 大内 東 (Azuma Trees and Terms in Relational Graph 九工大工 九大基礎情報学研究施設 7 $Kur|\Uparrow ara$ $0\Uparrow uc\Uparrow|$ ) ) @yst\epsilon m----------------58 $R\epsilon writin\mathfrak{g}$ 溝口 佳寛 河原 康雄 ( $(Yos\Uparrow|\Uparrow|ro M|zo\mathfrak{g}uc\Uparrow|)$ $Y$ a $suo$ $Kawa$ Aa $ra$ ) Fuzzy Graph $R\epsilon writin\mathfrak{g}s------------------------------------------65$ 森 九大・工 九大・基礎情報学研究施設 -i- 河原 雅生 (蘭 a $S$ 康雄 ( $Y$ a Mo a $suo$ $0$ $\gamma|$ ) $Kawa\Uparrow ar$ a) 8. $Pr0t0co$ I Sy $nt$ A $\epsilon sisfr$ om 10 $Tr$ a $nsformi$ nO A $TR$ 研究所 田倉 A $TR$ 研究所 世良 A $TR$ 研究所 太田 $T\epsilon rmin$ 12 . F-s $S\epsilon\eta u\epsilon nti$ a1 筑波大電子情報工学系 大崎 Utrecht Univ. Hans Zant term graph $n-Du\beta|ic$ 15 16 On ew $\epsilon ma$ $r\epsilon writin0$ 瑞史 $(Mizu\Uparrow i\{00\mathfrak{g}awa)$ Rew $rT\epsilon rm$ $syst\epsilon ms-------------99$ Sy $st\epsilon $ritin\mathfrak{g}$ a a a a 外山 芳人 ( $Yos$ Mo $na4icLo\mathfrak{g}ic$ a $S\epsilon con40r0\epsilon r$ $4\epsilon$ Paris Su4 nO $CR$ $TRS$ ‘ $Hub\epsilon rt$ $UnlQu\epsilon$ $T\epsilon rmR\epsilon writin\mathfrak{g}$ $T$ $k$ $s\Uparrow i$ A $N$ $0$ $S$ $y$ a ms-------109$ a) $k$ ai) $i\Uparrow itoToy$ ama) A $utomata——–11\int$ $n4Tr\epsilon\epsilon$ Comon Normal Form Property of Sy $st\epsilon ms-----------------------------139$ 芳人 ( $Yos\Uparrow i\Uparrow itoToy$ ama) 外山 通夫 ( $Mic\Uparrow io$ Oy 大山口 $\beta ro\mathfrak{p}\epsilon rty0fnon-E-0v\epsilon r1$ a $\mathfrak{p}\mathfrak{p}in\mathfrak{g}$ a $ama\mathfrak{g}uc$ Ai) $n4$ $s——————————————150$ 三重大・工 大山口 三重大・工 五味 $\beta ro0fofC\Uparrow\epsilon w’st$ $\epsilon mb\epsilon 44in0$ a Ohsaki) 北陸先端大・情報 $G\beta t\Uparrow-\beta r\epsilon s\epsilon rvin\mathfrak{g}$ $n$ 人士 (Hit0shi 正彦 (Ma $sa\Uparrow iko$ $ti$ a) $F\epsilon rr\epsilon\dot{|}ra$ 酒井 , $r$ $0\Uparrow t$ 北陸先端大・情報 $Som\epsilon R\epsilon su1tsont\Uparrow\epsilon$ A $s$ $i$ $i$ 崇 ( 三重大・工 4 $f$ 長谷 北陸先端大・情報 14. $k$ 北陸先端大・情報 $ity$ a $T$ $Mi44\epsilon 14or\mathfrak{p}$ 小川 $ity0fL\epsilon ft-|\dot{|}n\epsilon$ Church-Rosser Property and $No$ $T$ Aart a1 $\dot{|}r$ $T$ 筑波大・電子情報工学系 Univ. 13 $k$ Maria C. F. $\epsilon \mathfrak{q}u\epsilon nti$ a a $Kur$ a) 孝文 ( a a um Se a) 理 ( a4 a A 昭 (A Utrecht Univ Simple gap termination for $NVN$ scribt4by$ a $tionbyS\epsilon 1f-L$ a $b\epsilon 1|in\mathfrak{g}--------------------------85$ $NTT$ 基礎研究所 11. a $tionsD\epsilon $Ru1ts———————————————–72$ Graph Rewriting 9. $S\epsilon rvic\epsilon S\mathfrak{p}\epsilon cific$ A $\epsilon 通夫 ( $Mic\Uparrow io$ 弘 ama $\mathfrak{g}u$ [Ai) $(Hiros\Uparrow i Gomi)$ 0r\epsilon m--------------------------------------160$ $NTT\cdot CS$ 研究所 真野 健 ( $K\epsilon nM$ a $no$ ) $NTT$ 基礎研究所 小川 瑞史 ( $Mizu$ A of classical substructural 九工口工 $0y$ 藤田 $-ii-$ $ito0\mathfrak{g}awa$ ) $10 \mathfrak{g}ics---------------------17\int$ 憲悦 ( $K\epsilon n-\epsilon tsuFuiit$ a) oni sti$ Substructural $LoQirS$ 17. Na tura 1 Deduct on Sys ms for 1 ntu $—196$ St nO Norllla $|iz$ a $ti0\mathfrak{n}--------------------$ a A A 元彦 (Mo 毛利 Mo $uri$ ) 北陸先端大・情轍 $t$ $n$ $it\dot{|}$ $t\epsilon$ $i$ $ro$ $\epsilon ir$ $t0\Uparrow iKo$ 18 . $Extractin0$ a $r\epsilon 4uction$ system from a Non-Standard Recursion $P$ a a11 $r$ $\epsilon|iz$ a $k\epsilon f$ um Ku $i$ $m\epsilon t$ a) $T\Uparrow\epsilon 0ry----------------------------------224$ 直井 岐阜大・工 20. 暁文 (A 久米田 日立ソフト 19 $coniu\mathfrak{n}cti0ncalcuIus----------206$ $tionofConcurr\epsilon \mathfrak{n}tProc\epsilon ss\epsilon s$ 徹 (Tohru Naoi) $inHi\mathfrak{g}$ A $\epsilon rDi$ me $\mathfrak{n}siona1$ Au $tomata———————————————————–238$ 高山 立命館大・理工 21 Shortcut Deforestation in Calculational 高野 日立基礎研究所 $Utr\epsilon c\Uparrow tUniv$ 22. $E|imtn$ a $tin\mathfrak{g}S\epsilon 1\epsilon ctors$ . $fr0mT\epsilon$ $Erik$ rlll $R$ $Gr\ddot{0bn}\epsilon r$ $Form———————–253$ 明彦 (A $ki\Uparrow ikoT$ a $kano$ ) Me $ii\epsilon r$ ewr $itin\mathfrak{g}Syst\epsilon ms------------------268$ 菊池 東工大・工 23 . 幸秀 (Yukihide Takayama) 豊 (Yutaka KIkuchi) Bases for Set Constraints $———————————-277$ 佐藤 立命館大・理工 洋祐 (Yosuke Sato) 24. Concurrent Reflective Computations in Rewriting $Logic————–292$ 北陸先端大・情報 石川 洋 北陸先端大・情報 二木 厚吉 (KokiChi 北陸先端大・情報 渡部 卓雄 (Takuo Watanabe) . $-|$ $ii-$ $(Hiros\Uparrow i 1 s\Uparrow ikawa)$ FutatsuQi)
© Copyright 2024 ExpyDoc