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

[Hasegawa Masahito]

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

$B5~ETBg3X?tM}2r at O8&5f=j$G$O!"8=:_!"=u65<c43L>$N8xJg$r9T$J$C$F$*$j$^$9!#(B
$B7W;;5!2J3X$d?tM}O at 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 at O8&5f=j$N7W;;5!2J3XJ,Ln$N9=@.0w$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+ at n???M(B
$B5~ETBg3X?tM}2r at O8&5f=j(B
Email: hassei at kurims.kyoto-u.ac.jp
URL: http://www.kurims.kyoto-u.ac.jp/~hassei/index-j.html