<div dir="ltr">logic-ml$B$N3'MM!$(B<br><br>$B8}F,9V1i?=9~Dy@Z$,:#=5Kv$KGw$C$F$$$^$9(B<br>$BBh(B30$B2sNL;R>pJs5;=Q8&5f2q(B(QIT30)<br>$B$N$40FFb$r:FEY!"E>Aw$5$;$FD:$-$^$9!%(B<br>$B3'MM$N$4;22C$r$*BT$A$7$F$*$j$^$9!%(B<br>$B$I$&$>$h$m$7$/$*4j$$$$$?$7$^$9!%(B<br><br>$BL>8E20Bg3XBg3X1!>pJs2J3X8&5f2J(B<br>$B@>B<<#F;(B<br><br><br>----------------------------------------------------------<br>
$BBh(B30$B2sNL;R>pJs5;=Q8&5f2q(B(QIT30)<br>$B"(:#=5Kv$,8}F,9V1i?=9~Dy@Z$G$9!#(B<br><br>$B8&5f2q$NFbMF(B<br>$B!!>pJs2J3X$HNL;RNO3X$rM;9g$5$;$??7$7$$J,Ln!$NL;R>pJs2J3X$K(B<br>$B4X$9$k8&5f2q$G$9!%>pJs$rC4$&J*M}7O$NNL;RNO3XE*B&LL$r@Q6KE*(B<br>$B$K3h$+$7$??7$7$$>pJs=hM}86M}$N8&5f$H$=$3$+$i3+$+$l$k?7$7$$(B<br>$B3XLdBN7O$N9=C[$*$h$S?7$7$$>pJs5;=Q%Q%i%@%$%`$NAO@8$rL\;X$7(B<br>$B$F!$>pJs2J3X!$J*M}3X!$8w%(%l%/%H%m%K%/%9$r4^$`M}3X!$9)3X!$(B<br>
$B?tM}2J3X$K7H$o$k8&5f<T4V$K<+M3$JF$O@$N>l$rDs6!$7!$$3$N8&5f(B<br>$BJ,Ln$NH/E8$r?^$k$3$H$rL\E*$H$7$F$$$^$9!%(B<br>$B!!Bh(B30$B2s8&5f2q$r2<5-$N$h$&$K3+:E$$$?$7$^$9!%8=:_$3$NJ,Ln$G(B<br>$B3hLv$9$k8&5f<T$OL^O@!$<+J,$N8&5f;q;:$,2?$i$+$N7A$G;H$($=$&(B<br>$B$@$HM=46$7$F$$$k8&5f<T!&5;=Q<T$J$I!$9-$/4XO"$9$kJ,Ln$N8&5f(B<br>$B<T!&5;=Q<T$+$i$NH/I=$rJg=8CW$7$^$9!%D09V$N$_$N;22C$b4?7^CW(B<br>$B$7$^$9$N$G!$J3$C$F$*?=$79~$_$/$@$5$$!%(B<br><br>$BF|;~(B: 
2014$BG/(B5$B7n(B12$BF|(B($B7n(B)$B!A(B13$BF|(B($B2P(B)<br>$B2q>l(B: $BL>8E20Bg3X(B $BK-ED9VF2(B $B%7%s%]%8%*%s(B<br>$B!!!!!!(B($B")(B464-8601 $BL>8E20;T@i<o6hITO7D.(B 
$BL>8E20Bg3XFb(B)<br><br>$BH/I=Jg=8J,Ln(B 
($B?=$79~$_>u67$K$h$C$F$O::FI$N2DG=@-$"$j(B)<br>$B!!NL;R>pJs!$NL;R7W;;!$NL;R0E9f$J$I9-$/NL;R>pJs5;=Q$K4X$o$k(B<br>$B!!M}O@E*8&5f!$<B83E*8&5f!$7W;;5!2J3XE*8&5f!$?t3XE*8&5f!$(B<br>$B!!$*$h$S!$$=$NB>4XO"J,Ln!%(B<br><br>$BDj0w(B: 
200$BL>(B<br>$B;22CHq(B: $B;vA0?69~$_(B $B0lHL(B5,000$B1_!$3X@8(B1,000$B1_(B<br>$B!!!!!!!!(B($BEvF|2q>lJ'$$$O(B 
$B0lHL(B6,000$B1_!$3X@8(B2,000$B1_(B)<br>$B!!!!!!!!(B($B:)?F2q$OJLES(B 
$B0lHL(B4,500$B1_!"3X@8(B3,000$B1_(B)<br><br>$B8&5f2q;22C?=9~MWNN(B<br>$B!!;22C?=9~$O2<5-(B Web $B$K$F<uIU$1$^$9!'(B<br>$B!!(B<a href="http://staff.aist.go.jp/s-kawabata/qit/qit30/">http://staff.aist.go.jp/s-kawabata/qit/qit30/</a><br>$B!!9V1i(B 
($B8}F,!$%]%9%?!<(B) $B$N?=9~!$M=9F=8869F(B PDF $B$NDs=P$O!$(B<br>$B!!EE;R>pJsDL?.3X2q$N(B Web $B%7%9%F%`$r;HMQ$9$kM=Dj!%(B<br><br>$B!Z8}F,9V1i?=9~Dy@Z![(B 
2014$BG/(B3$B7n(B28$BF|(B($B6b(B)<br>$B!Z%]%9%?!<9V1i?=9~Dy@Z![(B 2014$BG/(B4$B7n(B11$BF|(B($B6b(B)<br>$B!ZM=9F869FDs=PDy@Z![(B 
2014$BG/(B4$B7n(B11$BF|(B($B6b(B)<br>$B!Z;22C?=9~Dy@Z![(B 2014$BG/(B4$B7n(B18$BF|(B($B6b(B)<br>$B!ZLd9g$;@h![(B<br>$B!!@>B<<#F;(B ($BL>8E20Bg3X(B 
$B>pJs2J3X8&5f2J(B)<br>$B!!Da4]K-9-(B ($B;0I)EE5!(B($B3t(B) $B>pJs5;=QAm9g8&5f=j(B)<br>$B!!NS@5?M(B ($BL>8E20Bg3X(B $BB?85?tM}2J3X8&5f2J(B)<br>$B!!(BEmail: <a href="mailto:qit30@math.cm.is.nagoya-u.ac.jp">qit30@math.cm.is.nagoya-u.ac.jp</a><br><br>$B<g:E(B: 
$BNL;R>pJs5;=Q;~8B8&5f@lLg0Q0w2q(B<br>$B!!!!!!(B ($B0Q0wD9(B: $B;^>>7=0l(B ($BElKLBg3X(B))<br>$B6&:E(B: $B1~MQJ*M}3X2q(B 
$BNL;R%(%l%/%H%m%K%/%98&5f2q(B<br>$B!!!!!!L>8E20Bg3X(B $BB?85?tM}2J3X8&5f2J(B<br>$B!!!!!!L>8E20Bg3X(B 
$B>pJs2J3X8&5f2J(B<br>----------------------------------------------------------<br></div>