<font size=2 face="sans-serif">Logic-ml$B$N3'$5$^!"(B</font>
<br>
<br><font size=2 face="sans-serif">IBM$B$NBgJ?$G$9!#(B</font>
<br>
<br><font size=2 face="sans-serif">$B!v!v!v!vJ#?t<u$1<h$i$l$?J}$O$4MF<O$/$@$5$$!v!v!v!v(B</font>
<br><font size=2 face="sans-serif"> </font>
<br><font size=2 face="sans-serif">$B>pJs=hM}3X2q(B $BBh(B101$B2s%W%m%0%i%_%s%08&5fH/I=2q(B
$BH/I=Jg=8(B</font>
<br>
<br><font size=2 face="sans-serif">$B:#2s$OBh(B101$B2s5-G0$H$$$&$3$H$G%W%m%0%i%_%s%08&5f2q$N=i4|$K3hLv$5$l$?J}$r(B</font>
<br><font size=2 face="sans-serif">$B>7$$$F$N%Q%M%k%;%C%7%g%s$b:E$9M=Dj$G$9!%(B</font>
<br>
<br><font size=2 face="sans-serif">$B%W%m%0%i%_%s%08&5f2q(B(PRO)$B$O!$(B</font>
<br>
<br><font size=2 face="sans-serif"> $B!&%W%m%0%i%_%s%08@8l$N@_7W!$=hM}7O$N<BAu(B</font>
<br><font size=2 face="sans-serif"> $B!&%W%m%0%i%_%s%0$NM}O@!$4pK\35G0(B</font>
<br><font size=2 face="sans-serif"> $B!&%W%m%0%i%_%s%04D6-!$;Y1g%7%9%F%`(B</font>
<br><font size=2 face="sans-serif"> $B!&%W%m%0%i%_%s%0J}K!O@!$%Q%i%@%$%`(B</font>
<br><font size=2 face="sans-serif"> $B!&$3$l$i$r1~MQ$7$?%7%9%F%`$N3+H/;vNc(B</font>
<br><font size=2 face="sans-serif"> $B!&$=$NB>!$%W%m%0%i%_%s%0$K4X$9$kLLGr$$OCBj(B</font>
<br>
<br><font size=2 face="sans-serif">$B$rBP>]$H$7$?8&5fH/I=$N>l$G!$(B1998$BG/EY$+$iKhG/(B3〜4$B2s$N%Z!<%9$GO@J8;o$rH/(B</font>
<br><font size=2 face="sans-serif">$B9T$7$F$$$^$9!%(BPRO$BO@J8;o$O8&5f2q$HL)@\$K%j%s%/$7$F$*$j!$8&5f2q$GH/I=$5$l(B</font>
<br><font size=2 face="sans-serif">$B$?$b$N$N$&$A$"$i$+$8$aO@J8Ej9F$r4uK>$7!$O@J8869F$rDs=P$5$l$F$$$k$b$N$,(B</font>
<br><font size=2 face="sans-serif">$B::FI$NBP>]$H$J$C$F$$$^$9(B
($BO@J8;oEj9F$r4uK>$7$J$$H/I=$b4?7^$7$^$9(B)$B!%$*$*(B</font>
<br><font size=2 face="sans-serif">$B$`$M8&5f2q$+$i(B3$B=54V$GO@J8$N:NH]$,7hDj$5$l$k$H$$$&?WB.$5$bBg$-$JFCD'$G$9!%(B</font>
<br><font size=2 face="sans-serif">2014$BG/(B11$B7n$N8&5f2q$bB?$/$NH/I=$J$i$S$KO@J8Ej9F$r$*BT$A$7$F$*$j$^$9!%;2(B</font>
<br><font size=2 face="sans-serif">$B2CHq$OL5NA$G$9!%?=9~Dy@Z$O(B9$B7n(B12$BF|6bMKF|(B($BEj9FDy@Z$O(B10$B7n(B10$BF|6bMKF|(B)$B$G$9(B</font>
<br><font size=2 face="sans-serif">$B$N$G!$$h$m$7$/$48!F$$/$@$5$$!%(B
$B$J$*!$B??t$NH/I=?=9~$_$,$"$k>l9g$K$O!$(B</font>
<br><font size=2 face="sans-serif">$BH/I=$r$*CG$j$9$k$3$H$,$4$6$$$^$9$N$G!$$*Aa$a$K$*?=$79~$_$/$@$5$$!%(B</font>
<br><font size=2 face="sans-serif">$BH/I=?=9~;~$GI,MW$J$N$O%?%$%H%k$H35MW$J$I$H$J$C$F$*$j$^$9!%(B
</font>
<br>
<br><font size=2 face="sans-serif">$B$^$?!$:#2s$bOBJ8$H$7$FEj9F$5$l$?O@J8$N1Q8l2=$r;Y1g$9$k;n$_$r<B;\$7$^$9!%(B</font>
<br><font size=2 face="sans-serif">$BOBJ8869F$K$F:NO?$rH=CG$7!$(B($BCx<T$,4uK>$9$k>l9g$O(B)
$B:NO?7hDj8e$K1Q8l2=$7$F(B</font>
<br><font size=2 face="sans-serif">$B$$$?$@$$$F$+$i7G:\CW$7$^$9!%$3$N1Q8l2=$K4X$9$k>\:Y$K$D$$$F$O!$(B</font>
<br><a href="http://www.ipsj.or.jp/sig/pro/english-paper-encouragement.html"><font size=2 face="sans-serif">http://www.ipsj.or.jp/sig/pro/english-paper-encouragement.html</font></a>
<br><font size=2 face="sans-serif">$B$r$4Mw$/$@$5$$!%(B</font>
<br>
<br><font size=2 face="sans-serif">$BBh(B101$B2s%W%m%0%i%_%s%08&5f2q(B(PRO-2014-3)$BH/I=Jg=8(B</font>
<br>
<br><font size=2 face="sans-serif"> $BF|Dx(B: 2014$BG/(B11$B7n(B10$BF|(B($B7n(B)$B!&(B11$BF|(B($B2P(B)</font>
<br><font size=2 face="sans-serif"> $B2q>l(B: $BEl5~Bg3X(B $BAOB$>pJs3X@l96(B
I-REF $BEo(B 6$B3,(B Hilobby</font>
<br><font size=2 face="sans-serif"> $BEl5~ETJ85~6hLo@8(B
1-1-1</font>
<br><font size=2 face="sans-serif"> $B!!!!(B $B8rDL0FFb(B: </font><a href="http://www.ci.i.u-tokyo.ac.jp/site/?access-j"><font size=2 face="sans-serif">http://www.ci.i.u-tokyo.ac.jp/site/?access-j</font></a>
<br>
<br><font size=2 face="sans-serif"> $BH/I=?=9~Dy@Z(B:$B!!!!!!!!!!!!(B
2014$BG/(B9$B7n(B12$BF|(B($B6b(B)</font>
<br><font size=2 face="sans-serif"> $BEj9FO@J8869FDs=PDy@Z(B:
2014$BG/(B10$B7n(B10$BF|(B($B6b(B)</font>
<br><font size=2 face="sans-serif"> </font>
<br><font size=2 face="sans-serif"> $B?=9~@h(B: $BBgJ?Ng!JF|K\%"%$!&%S!<!&%(%`El5~4pAC8&5f=j!K(B</font>
<br><font size=2 face="sans-serif"> E-mail:
odaira [at] jp.ibm.com</font>
<br><font size=2 face="sans-serif"> </font>
<br><font size=2 face="sans-serif"> $B0FFb%Z!<%8(B: </font>
<br><font size=2 face="sans-serif"> </font><a href=https://staff.aist.go.jp/reynald.affeldt/pro101/><font size=2 face="sans-serif">https://staff.aist.go.jp/reynald.affeldt/pro101/</font></a>
<br><font size=2 face="sans-serif"> </font>
<br><font size=2 face="sans-serif"> $B!&?=9~$_$KEv$?$C$F$NCm0U$O%W%m%0%i%_%s%08&5f2q$N%Z!<%8(B</font>
<br><font size=2 face="sans-serif"> </font><a href=http://www.ipsj.or.jp/sig/pro/><font size=2 face="sans-serif">http://www.ipsj.or.jp/sig/pro/</font></a><font size=2 face="sans-serif">$B$r;2>H$7$F$/$@$5$$!%(B</font>
<br><font size=2 face="sans-serif"> $B!&Cx<T$N$?$a$N<j0z$-(B:
</font><a href="http://www.ipsj.or.jp/sig/pro/trans-author.html"><font size=2 face="sans-serif">http://www.ipsj.or.jp/sig/pro/trans-author.html</font></a>
<br><font size=2 face="sans-serif"> $B!&?=9~$_$N:]$K$O@0M}$N$?$a$K!$(BSubject$BMs$K0J2<$r$4;XDjD:$1$k$H=u$+$j$^$9!%(B</font>
<br><font size=2 face="sans-serif">$B!!(B $B!V(BPRO2014-3$BH/I=?=9~$_!W(B($B%+%C%3ITMW(B)</font>
<br><font size=2 face="sans-serif"> $B!&$G$-$k$@$1(BE-mail$B$G$*4j$$$7$^$9!%(B</font>
<br><font size=2 face="sans-serif"> $B!&?=9~$_8e(B3$BF|0JFb$KJV?.$,$J$$>l9g$O$4O"Mm2<$5$$!%(B</font>
<br>
<br>
<br><font size=2 face="sans-serif">$BBgJ?!!Ng(B (Rei Odaira), Ph.D.<br>
IBM Research - Tokyo<br>
Phone: +81-3-5144-2847</font>