[logic-ml] $B=8Cf9V5A$N$*CN$i$;(B

[Hasegawa Masahito]

$B3'MM!"(B

$B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B
$B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$N2OB<>4 at 1@h at 8$G$9!#(B
$B7W;;2DG=2r at O3X$N4pAC$+$i:G6a$NOCBj$^$G$r2r at b$7$FD:$-$^$9!#(B

$BM}3X8&5f2J$NBg3X1!@8$rBP>]$H$7$?3+9V2JL\$G$9$,!"4X?4$r$*;}$A$N(B
$BJ}$O$I$J$?$G$b$*5$7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"(B
$BD9C+ at n$^$G$*Ld$$9g$o$;2<$5$$!#(B

$BD9C+ at n???M(B <hassei at kurims.kyoto-u.ac.jp>
$B5~ETBg3X?tM}2r at O8&5f=j(B

======================================================================
$B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r at O@l96?tM}2r at O7O(B
$B?tM}2r at OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B
$B!V<B?t$N7W;;M}O@!W(B
$B9V(B $B;U!'2OB<(B $B>4 at 1(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J!K(B
$BF|(B $B;~!'#2#0#1#3G/#77n#2#2F|!&#2#3F|!&#87n#1F|!&#2F|(B $B$$$:$l$b#1#4;~3+;O(B
$B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B
$B!JCm!'KLIt$N?tM}2r at O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B
  $BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B

$B7W;;2DG=@-$d7W;;NL$ON%;6E*!&M-8BE*$JA`:n$K$h$k=hM}$NG=NO$H8B3&$r8l$k35(B
$BG0$G$"$k$,!"E, at Z$JDj<02=$K$h$j<B?t!"<B?tCMH!?t!"<B?t$N=89g$H$$$C$?O"B3(B
$BE*$JBP>]$K$b1~MQ$9$k$3$H$,$G$-$k!#K\9V5A$G$O7W;;2DG=2r at O3X$H8F$P$l$k$3(B
$B$NJ,Ln$N4pAC$+$i:G6a$NOCBj$^$G2r at b$9$k!#(B 

$BFC$KM=HwCN<1$O2>Dj$;$:0lHLE*$J7W;;NLM}O@$N35 at b$+$i;O$a$k!#$3$l$r<B?t$J(B
$B$I$N2r at O3XE*BP>]$KEv$F$O$a$kOHAH$G$"$kFs7?7W;;$HI=8=$NM}O@$r2r at b$7!"$=(B
$B$N1~MQ$H$7$F<BH!?t$d<B?t=89g$KBP$9$kMM!9$J6qBNE*A`:n$N7W;;NL$r07$&!#(B 

1. $B7W;;NLM}O@$N4pAC(B
$B!&LdBj$H;;K!(B
$B!&;~4V!&6u4V$N@)8B(B
$B!&Hs7hDj at -!&MpBr!&7W?t(B
$B!&5"Ce$HAjBP2=(B
2. $B<B?t$N7W;;M}O@(B
$B!&Fs7?7W;;$HI=8=$NM}O@(B
$B!&<B?t$H<BH!?t$NI=8=(B
$B!&=89g$NI=8=$H7W;;(B
$B!&MM!9$J1i;;$N7W;;NL(B

$B9V5A%&%'%VJG!'(B
http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/teaching/rims_H25/

$B0u:~MQ0FFb!'(B
http://www.kurims.kyoto-u.ac.jp/~hassei/kawamura2013.pdf
======================================================================