数理解析研究所講究録 918

書き換えシステムの理論とその応用

京都大学数理解析研究所
1995 年 8 月

RIMS Kokyuroku 918

Theory of Rewriting SystemsandIts Applications

1995

August,${\rm Res} e$a ch I $nstitute$
$r$

$for$

$M$

Ky $oto$ Un $iversity$ ,a hemat $ic$ a1 $Sciences$$t$

Kyo $to$ ,

$Jap$

an

書き換えシステムの理論. とその応用研究集会報告集

1995 年 7 月 24 日
研究代表者

1.

$L\epsilon v\epsilon 1-Conf1u\epsilon nc\epsilon 0f$$|\Uparrow Ri\mathfrak{g}\Uparrow t$

2.

芳人 (目次$Toy$ ama)

$Yos\Uparrow|\Uparrow|to$Sy $st$ ems$R\epsilon writ\epsilon$$wit$

A Ex $tr$ a Va $ri$ a I$b$

筑波大・電子情報工学系

鈴木筑波大・電子情報工学系

Aa $rt$

筑波大・電子情報工学系

井田

a $tib|fT\epsilon$ rm$R\epsilon writin\mathfrak{g}$Sys$t$

大郎 ($T$a $roSuzuk|$ )$M|44\epsilon|t_{0}r\mathfrak{p}$

哲雄 (\Gamma \epsilon tsu0$|ta$

ems $an4$ $its$ Norma 1)$izin\mathfrak{g}$a $t\epsilon \mathfrak{g}y-------------------------------------------------------16$
正彦 (Ma酒井a a )北陸先端大・情報$sa\Uparrow|ko$

3. 1111$\beta|$

eme

$nt$

a $tionof$$M\epsilon ta-co|\mathfrak{n}\beta ut$$Co$

n4 $iti0$ na 1

$T\epsilon rm$

Rewr$itin\mathfrak{g}$Sys$t\epsilon$

ms

$S$

$k$

$|$

$\epsilon Qui\mathfrak{p}\beta\epsilon 4wit$$Com\mathfrak{p}1\epsilon ti0n$

5. A a1
$n$

$wa$

$Z$

北大・工栗原

正人 (Ma $sa\Uparrow|to$

北大・工大内東 ( $Az$ uma$0$$Kur|\Uparrow ara$)

A $uc$ A )$|$for Mu $lti\mathfrak{p}1\epsilon R\epsilon 4uctionOr4\epsilon rinOs--------------------34$

Sy $st$ ellls$S$aA $|to$

$S$

A

北大工

栗原

正人 (Ma茨城大工近藤

久 ( $H|s$ a

北大・工大内東 (Azuma$ys\dot{1S}0fCoN1\beta|\epsilon t\epsilon n\epsilon ss$$R\epsilon writ\epsilon$A

a $ti0n———————————————–24$
政信 (Ma a $n0bu$ Numa a )
沼澤
北大・工
$S$

4.

$\epsilon s$-Hand $Si4\epsilon s---------------------------------------------1$$L\epsilon ft-int0II1\beta$

$Str$

外山

CO $n4ition$ a1

月 26 日$\sim 7$

$of$

$L$

a $bor$ a $tory$ A$ssi\mathfrak{g}nm\epsilon nt$)

$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

7

北大工栗原

正人 (Ma $sa\Uparrow|t0$

北大・工大内東 (Azuma

Trees and Terms in Relational Graph$R\epsilon writin\mathfrak{g}$$Kur|\Uparrow ara$

$0\Uparrow uc\Uparrow|$))@yst\epsilon m----------------58

九工大工

溝口

佳寛 $(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 Mo
康雄 ( a $suo$

雅生 (蘭 a$S$$Y$$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$

筑波大・電子情報工学系

Aart

筑波大電子情報工学系

大崎

Utrecht Univ.

Hans Zant$\epsilon \mathfrak{q}u\epsilon nti$

term graph

14.

15

16On$n$

ew

$i$

$s$

$i$

$0\Uparrow t$$r$$F\epsilon rr\epsilon\dot{|}ra$

人士 (Hit0shiOhsaki)$\epsilon ma$$r\epsilon writin0$$syst\epsilon ms-------------99$

瑞史 $(Mizu\Uparrow i\{00\mathfrak{g}awa)$

Rew$rT\epsilon rm$

Sy $st\epsilon ms-------109$$ritin\mathfrak{g}$a aa a a)a ai)

北陸先端大・情報酒井正彦 (Ma $sa\Uparrow iko$

北陸先端大・情報外山芳人 ( $Yos$ A $i\Uparrow itoToy$ ama)$ti$

Mo $na4icLo\mathfrak{g}ic$ a$S\epsilon con40r0\epsilon r$$4\epsilon$

Paris Su4nO$Hub\epsilon rt$$UnlQu\epsilon$$T\epsilon rmR\epsilon writin\mathfrak{g}$$s\Uparrow i$$n4Tr\epsilon\epsilon$

$N$

$y$

$0$

$S$

$k$

A $utomata——–11\int$Comon

芳人 ( $Yos\Uparrow i\Uparrow itoToy$ ama)

三重大・工

大山口

$TRS$ ‘$k$

Sy $st\epsilon ms-----------------------------139$
外山

$CR$

$T$

Normal Form Property of

北陸先端大・情報

通夫 ( $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$

三重大・工

大山口

通夫 ( $Mic\Uparrow io$

三重大・工

五味

弘 $(Hiros\Uparrow i Gomi)$$\beta ro0fofC\Uparrow\epsilon w’st$$\epsilon mb\epsilon 44in0$$f$

崇 ($G\beta t\Uparrow-\beta r\epsilon s\epsilon rvin\mathfrak{g}$

A

$k$

長谷

$Som\epsilon R\epsilon su1tsont\Uparrow\epsilon$

4$T$$Mi44\epsilon 14or\mathfrak{p}$小川

a1 $ity0fL\epsilon ft-|\dot{|}n\epsilon$ aChurch-Rosser Property anda$T$

北陸先端大・情報

a1 $ity$ ,$No$ $n-Du\beta|ic$

a$T$

Maria C. F.

Univ.

13

$k$

Utrecht Univ

Simple gap termination for$NVN$$\dot{|}r$a $Kur$ a)
孝文 ( a a um Se a)a)
理 ( a4 a A
昭 (Aa $tionbyS\epsilon 1f-L$ a $b\epsilon 1|in\mathfrak{g}--------------------------85$$NTT$ 基礎研究所

11.

a $tionsD\epsilon scribt4by$$Ru1ts———————————————–72$

Graph Rewriting

9.

$S\epsilon rvic\epsilon S\mathfrak{p}\epsilon cific$

$0y$

ama

$\mathfrak{g}u$[Ai)A $\epsilon 0r\epsilon m--------------------------------------160$$NTT\cdot CS$ 研究所

真野健 ( $K\epsilon nM$ a $no$ )$NTT$ 基礎研究所

小川

瑞史 ( $Mizu$ A $ito0\mathfrak{g}awa$ )of classical substructural
九工口工

藤田

$-ii-$$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$
北陸先端大・情報

石川洋 $(Hiros\Uparrow i 1 s\Uparrow ikawa)$

北陸先端大・情報

二木厚吉 (KokiChi

北陸先端大・情報渡部卓雄 (Takuo Watanabe). $ii-$$-|$

FutatsuQi)