[logic-ml] $B%o!<%/%7%g%C%W$N$*CN$i$;(B(11/8)

[Ogawa Mizuhito]

$B3'MM(B

$B7k1o>M<#$5$s!JL>8E20Bg3X!K$N%j%/%(%9%H$K$h$jE>Aw$$$?$7$^$9!#(B

$B>. at 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 at 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 at 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:_ at 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 at _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 at 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 at 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=dHNTTjlQeDhWdEpPUmtxZmE3Z08tN2c6MQ
 $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