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