logic-ml$B$N3'MM!$(B<br><br>$BMhG/#57n$K3+:E$5$l$kBh#2#82sNL;R>pJs5;=Q8&5f2q!J(BQIT28$B!K$N(B<br>$B$40FFb$r(BQIT28$B@$OC?M$KBe$o$C$FEj9F$5$;$F$$$?$@$-$^$9!%(B<br>$B$h$m$7$/$*4j$$$$$?$7$^$9!%(B<br><br>$BL>8E20Bg3XBg3X1!>pJs2J3X8&5f2J(B<br>$B@>B<<#F;(B<br><a href="http://www.math.cm.is.nagoya-u.ac.jp/~hnishimura/">http://www.math.cm.is.nagoya-u.ac.jp/~hnishimura/</a><br>
<br><br>---<br>$BBh(B28$B2sNL;R>pJs5;=Q8&5f2q(B<br><br>$B8&5f2q$NFbMF(B<br>$B!!>pJs2J3X$HNL;RNO3X$rM;9g$5$;$??7$7$$J,Ln!"NL;R>pJs2J3X$K4X$9$k8&5f2q$G$9!#>pJs$rC4$&J*M}7O$NNL;RNO3XE*B&LL$r@Q6KE*$K3h$+$7$??7$7$$>pJs=hM}86M}$N8&5f$H$=$3$+$i3+$+$l$k?7$7$$3XLdBN7O$N9=C[$*$h$S?7$7$$>pJs5;=Q%Q%i%@%$%`$NAO@8$rL\;X$7$F!">pJs2J3X!"J*M}3X!"8w%(%l%/%H%m%K%/%9$r4^$`M}3X!"9)3X!"?tM}2J3X$K7H$o$k8&5f<T4V$K<+M3$JF$O@$N>l$rDs6!$7!"$3$N8&5fJ,Ln$NH/E8$r?^$k$3$H$rL\E*$H$7$F$$$^$9!#(B<br>
<br>$B4|F|!!(B2013$BG/(B5$B7n(B27$BF|!J7n!K(B, 
28$BF|!J2P!K(B<br>$B2q>l!!KL3$F;Bg3X!!AO@.2J3X8&5fEo!!Bg2q5D<<(B<br>$B!!!!!!!!!J")(B001-0021$B!!;%KZ;TKL6hKL(B21$B>r@>(B10$BCzL\!K(B<br><br>$BH/I=Jg=8FbMF(B<br>$B!!H/I=Jg=8J,Ln!J?=9~>u67$K$h$C$F$O::FI2DG=@-$"$j!K!'NL;R>pJs!"NL;R7W;;!"NL;R0E9f$J$I9-$/NL;R>pJs5;=Q$K4X$o$kM}O@E*8&5f!"<B83E*8&5f!"7W;;5!2J3XE*8&5f!"?t3XE*8&5f!"$*$h$S$=$NB>4XO"J,Ln(B<br><br>$BDj0w!!(B150$BL>(B<br>$B;22CHq!!;vA0?69~$_!!0lHL(B6,000$B1_(B, 
$B3X@8(B1,000$B1_!%(B<br>$B!!!!!!(B($BEvF|2q>lJ'$$$O0lHL(B7,000$B1_(B, $B3X@8(B2,000$B1_(B)<br>$B!!!!(B  
($B:)?F2q$OJLES!K(B<br>$B8&5f2q;22C?=9~MWNN(B<br>$B!!!!;22C?=9~$O2<5-(BWeb$B$K$F<uIU$1$^$9!%(B<br>$B!!!!(B<a href="http://staff.aist.go.jp/s-kawabata/qit/">http://staff.aist.go.jp/s-kawabata/qit/</a><br>$B!!!!9V1i!J8}F,!$%]%9%?!<!K?=9~!$M=9F=8869F(BPDF$BDs=P$OEE;R>pJsDL?.3X2q$N(BWeb$B%7%9%F%`$r;HMQ$9$kM=Dj!%(B<br>$B!Z9V1i?=9~Dy@Z![(B<br>$B!!!!(B2013$BG/(B4$B7n(B12$BF|!J6b!K!(8}F,9V1i(B<br>
$B!!!!(B2013$BG/(B4$B7n(B26$BF|!J6b!K!(%]%9%?!<9V1i(B<br>$B!ZM=9F=8869FDs=P![(B<br>$B!!!!(B2013$BG/(B4$B7n(B26$BF|!J6b!K(B<br>$B!Z;22C?=9~Dy@Z![(B<br>$B!!!!(B2013$BG/(B5$B7n(B2$BF|!JLZ!K(B<br>$B!ZLd9g@h![(B<br>$B!!IYED>O5W!!!JKL3$F;Bg3XBg3X1!>pJs2J3X8&5f2J!K(B<br>$B!!C]FbHK<y!!!JKL3$F;Bg3XEE;R2J3X8&5f=j(B/$BBg:eBg3X;:6H2J3X8&5f=j!K(B<br>$B!!D9C+@n=SIW!J;0I)EE5!3t<02q<R>pJs5;=QAm9g8&5f=j!K(B<br><br>E-mail: 
<a href="mailto:qit28@ml.hokudai.ac.jp">qit28@ml.hokudai.ac.jp</a><br><br>$B<g:E!!NL;R>pJs5;=Q;~8B8&5f@lLg0Q0w2q(B  
($B0Q0wD9!!;^>>7=0l(B($BElKLBg(B))<br>$B6&:E!!1~MQJ*M}3X2q!!NL;R%(%l%/%H%m%K%/%98&5f2q(B<br>$B!!!!!!J*<A!&%G%P%$%9NN0h6&F18&5f5rE@!!(B<br>$BKL3$F;Bg3XEE;R2J3X8&5f=j(B<br>