[logic-ml] $B=u65$N8xJg$N$*CN$i$;(B

$B3'MM(B $B!J=EJ#$7$F$*<u$1<h$j$N@a$O$4MF<O2<$5$$!K(B

$B5~ETBg3X?tM}2r@O8&5f=j$G$O!"8=:_!"=u65<c43L>$N8xJg$r9T$J$C$F$*$j$^$9!#(B $B7W;;5!2J3X$d?tM}O@M}3X$r4^$a$??tM}2J3X4XO"J,Ln$+$i$N1~Jg$r4?7^CW$7$^$9!#(B $B8xJg$N>:Y$K$D$$$F$O!"8&5f=j%Z!<%8(B

http://www.kurims.kyoto-u.ac.jp/ja/index.html

$B$h$j$4Mw2<$5$$!#(B

$B$^$?!"?tM}2r@O8&5f=j$N7W;;5!2J3XJ,[email protected]$H8&5f3hF0FbMFEy$K$D$$$F$O(B

http://www.kurims.kyoto-u.ac.jp/~cs/

$B$r$4Mw2<$5$$!#$I$&$>$h$m$7$/$*4j$$CW$7$^$9!#(B

$BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B Email: hassei at kurims.kyoto-u.ac.jp URL: http://www.kurims.kyoto-u.ac.jp/~hassei/index-j.html