<HTML><HEAD></HEAD>
<BODY dir=ltr>
<DIV dir=ltr>
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">
<DIV>Logic-ml $B3F0L(B</DIV>
<DIV> </DIV>
<DIV>$BJF;R9b@l$NKYH*$G$9!%(B</DIV>
<DIV> </DIV>
<DIV>$B:#=5Kv!$#3#0F|!JEZ!K$H#3#1F|!JF|!K$KJF;R!&3'@829@t$G7oL>$N8&5f2q$r3+:E$$$?$7$^$9!*(B</DIV>
<DIV> </DIV>
<DIV>$B;22C<+M3$G$9$N$G!$$*5$7Z$K8f;22CD:$1$l$P9,$$$G$9!*(B</DIV>
<DIV> </DIV>
<DIV>$B>7BT9V1i<T$H$7$F!$?@8MBg$NGvMU5(O)@h@8$r$*>7$-$$$?$7$^$9!%(B</DIV>
<DIV> </DIV>
<DIV>$B>\:Y$O%[!<%`%Z!<%8$r$4;2>H$/$@$5$$!'(B</DIV>
<DIV><A title=https://sites.google.com/site/yonagonctmath/slas2016
href="https://sites.google.com/site/yonagonctmath/slas2016">https://sites.google.com/site/yonagonctmath/slas2016</A></DIV>
<DIV> </DIV>
<DIV>$BH/I=#1#17o!$;22C<T$O2<5-$G$9!J7I>NN,!K!%(B</DIV>
<DIV> </DIV>
<DIV>$B0$It(B $B5H90!!!!!J?@F`@nBg3X!K(B</DIV>
<DIV>$B0f>e(B $B@?(B $B!J0&I2Bg3X!K(B</DIV>
<DIV>$BGvMU(B $B5(O)!!!!!J?@8MBg3X!K(B</DIV>
<DIV>$B2EED(B $B>!!!!!!!(B $B!JBg:eI\N)Bg3X!K(B</DIV>
<DIV>$BB"2,(B $BM@;J!!!!!JJF;R9b@l!K(B</DIV>
<DIV>$BAR66(B $BB@;V!!!!!JLZ99DE9b@l!K(B</DIV>
<DIV>$B8E@6?e(B $BBgD>(B $B!JJF;R9b@l!K(B</DIV>
<DIV>$B>.O2(B $B5H;K!!!!!JEg:,Bg3X!K(B</DIV>
<DIV>$B>.NS(B $B6L@D!!!!!JJF;R9b@l!K(B</DIV>
<DIV>$B@E4V(B $BAq;J!!!!!JBg:eI\N)Bg3X!K(B</DIV>
<DIV>$B>>O*(B $B??(B </DIV>
<DIV>$BKv<!(B $BH~><!!!!!J?.=#Bg3X!K(B</DIV>
<DIV>$B@%8M(B $BF;@8!!!!!JKI1RBg3X!K(B</DIV>
<DIV>$B9bLZ(B $B7<9T!!!!!J?.=#Bg3X!K(B</DIV>
<DIV>$BC]Fb(B $B9LB@!!!!!JC^GHBg3X!K(B</DIV>
<DIV>$B:,85(B $BB?2B;R(B $B!J(BJAIST$B!K(B</DIV>
<DIV>$BHu8}(B $B9,<#O:(B $B!J@iMUBg3X!K(B</DIV>
<DIV>$BKYH*(B $B2B9(!!!!!JJF;R9b@l!K(B</DIV>
<DIV>$BFn(B $BM5L@(B $B!J?@8MBg3X!K(B</DIV>
<DIV>$B;3JU(B $B2m;J!!!!!J?.=#Bg3X!K(B</DIV>
<DIV>$B5H5o(B $B7<Je!!!!!J2-Fl9b@l!K(B</DIV>
<DIV>$BJF;R9b@l!&?t3XF19%2q3X@8#2?M(B</DIV>
<DIV> </DIV>
<DIV>$B0J>e$G$9!%$h$m$7$/$*4j$$$7$^$9!%(B</DIV>
<DIV> </DIV>
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">$BKYH*(B
$B2B9((B<BR>--<BR>$BJF;R9)6H9bEy@lLg3X9;(B $B65M\650i2J!&?t3X(B<BR>$B")(B683-8502 $BD;<h8)JF;R;TI'L>D.(B4448<BR>Tel:
0859-24-5075<BR>E-mail: horihata@yonago-k.ac.jp</DIV></DIV></DIV></BODY></HTML>