<div dir="ltr">logic-ml$B$N3'MM!$(B<div><div><br></div><div>$BBh#2#92sNL;R>pJs5;=Q8&5f2q$N$40FFb$r(B</div><div>$BBeM}Ej9F$5$;$F$$$?$@$-$^$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>------------------------------------------------------------------------<br>
$BBh(B29$B2sNL;R>pJs5;=Q8&5f2q(B 
(QIT29) 
$B$N$40FFb(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(B<br>$B$9!%>pJs$rC4$&J*M}7O$NNL;RNO3XE*B&LL$r@Q6KE*$K3h$+$7$??7$7$$>pJs=hM}86M}(B<br>$B$N8&5f$H$=$3$+$i3+$+$l$k?7$7$$3XLdBN7O$N9=C[$*$h$S?7$7$$>pJs5;=Q%Q%i%@%$(B<br>$B%`$NAO@8$rL\;X$7$F!$>pJs2J3X!$J*M}3X!$8w%(%l%/%H%m%K%/%9$r4^$`M}3X!$9)(B<br>$B3X!$?tM}2J3X$K7H$o$k8&5f<T4V$K<+M3$JF$O@$N>l$rDs6!$7!$$3$N8&5fJ,Ln$NH/E8(B<br>
$B$r?^$k$3$H$rL\E*$H$7$F$$$^$9!%(B<br>$B!!Bh(B29$B2s8&5f2q$r2<5-$N$h$&$K3+:ECW$7$^$9!%8=:_$3$NJ,Ln$G3hLv$9$k8&5f<T$O(B<br>$BL^O@!$<+J,$N8&5f;q;:$,2?$i$+$N7A$G;H$($=$&$@$HM=46$7$F$$$k8&5f<T!&5;=Q<T(B<br>$B$J$I!$9-$/4XO"$9$kJ,Ln$N8&5f<T!&5;=Q<T$+$i$NH/I=$rJg=8CW$7$^$9!%D09V$N$_(B<br>$B$N;22C$b4?7^CW$7$^$9$N$G!$J3$C$F$*?=$79~$_$/$@$5$$!%(B<br><br>$BF|;~(B: 
2013$BG/(B11$B7n(B18$BF|(B($B7n(B)$B!A(B19$BF|(B($B2P(B)<br>$B2q>l(B: $BAa0pEDBg3X(B $B@>Aa0pED%-%c%s%Q%9(B 63$B9f4[(B2$B3,(B04-05$B2q5D<<(B<br>      ($B")(B169-8555 
$BEl5~ET?7=I6hBg5WJ](B 3-4-1)<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$kM}O@E*8&5f!$<B(B<br>$B83E*8&5f!$7W;;5!2J3XE*8&5f!$?t3XE*8&5f!$$*$h$S!$$=$N4XO"J,Ln(B<br><br>$BDj0w(B:   
150$BL>(B<br>$B;22CHq(B: $B;vA0?69~$_(B $B0lHL(B6,000$B1_!$3X@8(B1,000$B1_(B<br>$B!!!!!!!!(B($BEvF|2q>lJ'$$$O(B 
$B0lHL(B7,000$B1_!$3X@8(B2,000$B1_(B)<br>$B!!!!!!!!(B($B:)?F2q$OJLES(B)<br><br>$B8&5f2q;22C?=9~MWNN(B<br>$B!!;22C?=9~$O2<5-(B Web 
$B$h$j<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(B 
($B8}F,!$%]%9%?!<(B) $B$N?=9~!$M=9F=8869F(B PDF $B$NDs=P$O!$EE;R>pJsDL?.3X(B<br>$B!!2q$N(B Web 
$B%7%9%F%`$r;HMQ$7$^$9!%(B<br><br>$B!Z8}F,9V1i?=9~Dy@Z![!!!!(B2013$BG/(B10$B7n(B 
4$BF|(B($B6b(B)<br>$B!Z%]%9%?!<9V1i?=9~Dy@Z![(B2013$BG/(B10$B7n(B18$BF|(B($B6b(B)<br>$B!ZM=9F869FDs=PDy@Z![!!!!(B2013$BG/(B10$B7n(B18$BF|(B($B6b(B)<br>$B!Z;22C?=9~Dy@Z![!!!!!!!!(B2013$BG/(B10$B7n(B25$BF|(B($B6b(B)<br><br>$B!ZLd9g@h![(B<br>$B!!CfN$90F;(B 
($BAa0pEDBg3X@h?JM}9)3XIt(B)<br>$B!!Er@u0l:H(B ($BAa0pEDBg3X@h?JM}9)3XIt(B)<br>$B!!@DLZN4O/(B ($BAa0pEDBg3X@h?JM}9)3XIt(B)<br>$B!!OB5W0f7rB@O:(B 
($B>pJsDL?.8&5f5!9=(B)<br>$B!!(BEmail: <a href="mailto:qit29@list.waseda.jp">qit29@list.waseda.jp</a><br><br>$B<g:E(B: 
$BNL;R>pJs5;=Q;~8B8&5f@lLg0Q0w2q(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>------------------------------------------------------------------------<br></div></div></div>