$B3'MM(B
$B7k1o>M<#$5$s!JL>8E20Bg3X!K$N%j%/%(%9%H$K$h$jE>Aw$$$?$7$^$9!#(B
$B>.@n(B (JAIST)
============ *** $B=EJ#$4MF<O$/$@$5$$!%$46=L#$,$"$j$=$&$JJ}$K!$$4E>Aw$/$@$5$$(B ***
$B$_$J$5$^!$(B
$B$3$s$K$A$O!*(B $B5~ETBg3X?tM}2r@O8&5f=j$NO!Hx$H?=$7$^$9!%(B 11/8($B7n(B)$B$K5~ETBg3X$G3+:E$9$k%o!<%/%7%g%C%W(B
"Mathematical Theory of Processes and Operations: Concurrent, Quantum, and More" http://www.kurims.kyoto-u.ac.jp/~cs/mtpo
$B$N@kEA$r$5$;$F$/$@$5$$!%(B
$B$3$N%o!<%/%7%g%C%W$O!$(BLeicester $BBg3X$N(B Irek Ulidowski $B$5$s(B ( http://www.cs.le.ac.uk/people/iu3/ ) $B$NMhF|$K$"$o$;$F4k2h$7$^$7(B $B$?!%(B Irek $B$5$s$O0JA05~ETBg3X$K:_@R$5$l$?%3%s%T%e!<%?!&%5%$%(%s%F%#(B $B%9%H$G!$JBNs%7%9%F%`(B (concurrency)$B!$FC$K(B reversible process calculi $B$d(B mathematical model of true concurrency $B$NJ,Ln$G@:NOE*$K(B $B3hLv$5$l$F$$$^$9!%(B
$B8=CJ3,$G$N%9%T!<%+!<$N%j%9%H$O!$(B
- $B;32<(B $BLP(B $B;a(B ($BN)L?4[Bg3X>pJsM}9)3XIt(B) http://www.ngc.is.ritsumei.ac.jp/~ger/ $BNL;R2sO)$N@_7W$H8!>Z(B
- Irek Ulidowski $B;a(B (Dept. Comp. Sci., U. Leicester) http://www.cs.le.ac.uk/people/iu3/ Bisimulations and Logics for Reversibility
- $B7k1o(B $B>M<#(B ($BL>8E20Bg3XBg3X1!>pJs2J3X8&5f2J(B) http://www.agusa.i.is.nagoya-u.ac.jp/person/yuen/index.html Pi$B7W;;$K$*$1$k(BPriority$B$K$D$$$F(B
- $BO!Hx(B $B0lO:(B ($B5~ETBg3X?tM}2r@O8&5f=j(B) http://www.kurims.kyoto-u.ac.jp/~ichiro/ $B3NN(E*%7%9%F%`$N4V$NLOJo4X78$N!$M>Be?t$rMQ$$$?0lHLM}O@(B
$B$H$J$C$F$$$^$9!%(B($BJBNs(B) process $B$d(B ($BNL;R(B) operation $B$N$5$^$6$^$J?t3XE*$J(B $BDj<02=$NCf$+$i!$(B $B?7$?$JE}0lE*;kE@$,Ib$+$S>e$,$C$F$/$k$N$r4|BT$9$k$b$N$G$9!%(B
$B$_$J$5$^$N$4MhD0$r4?7^$$$?$7$^$9!%$^$?!$$G$-$l$P$49V1i$b$*4j$$$$$?$7$^$9!*(B
$B0J2<!$<BL3E*$J$3$H$,$i$G$9!%(B
- $BF|;~!'(B 2010/11/8 ($B7n(B)$B!$(B10:00- - $B>l=j!'(B $B5~ETBg3X?tM}2r@O8&5f=j(B 1$B3,(B111$B9f<<(B http://www.kurims.kyoto-u.ac.jp/ja/access-01.html http://www.kurims.kyoto-u.ac.jp/en/access-01.html - $B;22CHq!'(B $BL5NA(B - $B1Q8l$G$49V1i$$$?$@$1$k$H$&$l$7$/;W$$$^$9!%(B - $BF|K\8l$,$G$-$J$$$1$l$I$b$46=L#$N$"$j$=$&$JJ}$,$b$7<~0O$K(B $B$$$i$C$7$c$l$P!$$<$R;22C?=$79~$_$r$*4+$a$/$@$5$$(B - $B<+M3;22C$NM<?)2q$r4k2h$7$F$$$^$9!%(B - $B;22C?=$79~$_(B: $B0J2<$N(B web $B%U%)!<%`$+$i$*4j$$$$$?$7$^$9!%(B https://spreadsheets.google.com/viewform?formkey=dHNTTjlQeDhWdEpPUmtxZmE3Z08... $B$49V1i$NJ}$O>/$7Aa$a$K!$(B11/3 $B$^$G$K$*?=9~$_$/$@$5$$!%(B - $B$*Ld$$9g$o$;$O!$O!Hx(B (ichiro[at]kurims.kyoto-u.ac.jp) $B$^$G$*5$7Z$K(B $B$*4j$$$7$^$9!%(B
$B$_$J$5$^$N$4;22C$r$*BT$A$7$F$*$j$^$9!%$=$l$G$O!*(B
$B%*!<%,%J%$%6!<!'(B $B7k1o>M<#(B($BL>8E20Bg3X(B)$B!$O!Hx0lO:(B($B5~ETBg3X(B) http://www.kurims.kyoto-u.ac.jp/~cs/mtpo