\documentstyle{jarticle}
\title{
  $BCN<1=hM}%7%9%F%`(B \\
  $BBg?\2l(B }
\author{G96P073-6 $B9bLZ(B $BM42p(B}
\date{
  $B=PBjF|(B 1999/7/2 \\
  $BDs=PF|(B 1999/7/8 \\
  $BDs=P4|8BF|(B 1999/7/15 }
\begin{document}
\maketitle


$B!VCN<1=hM}$O!"?7$7$$>pJs=hM}5;=Q$G$"$k!#!W(B
$B$H$$$&;kE@$+$i!"<!$NLd$$$KEz$($h!#(B

$B=>Mh$N!J<jB3$-7?%W%m%0%i%`J}<0$K$h$k!K>pJs=hM}5;=Q$H$N(B
$BAj0cE@$r(B$ 3 $$BE@$"$2!"$=$NFCD'$J$i$S$KF@<:$rO@$8$h!#(B


\section{$B=>Mh$N>pJs=hM}5;=Q$H$NAj0cE@(B}

$B9=B$!"5!G=!"Lr3d$K4X$9$k(B$ 3 $$BE@$K$D$$$F=R$Y$k!#(B

$B9=B$$H5!G=$O!"LdBj%b%G%k$G;H$o$l$kMQ8l$G(B
$B%*%V%8%'%/%H$N%G!<%?$H%a%=%C%I!J$N4X78!K$KBP1~$9$k$b$N$@$,!"(B
$B$3$3$G$OLdBj%b%G%k$N9=B$$H5!G=$r;X$7$F$$$k$N$G$O$J$$!#(B


\subsection{$B9=B$(B}

$B@k8@7?$NCN<1I=8=8@8l$K$h$C$F=q$+$l$k!#(B

$B=>Mh$N>pJs=hM}%7%9%F%`$O!"FCDj$NL?Na%;%C%H$r;}$D%O!<%I%&%'%"(B
$B!J$"$k$$$O<jB3$-7?%W%m%0%i%_%s%08@8l$NDs6!$9$k2>A[7W;;5!!K$KBP$7$F!"(B
$B<jB3$-7?$NL?NaNs$rJB$Y$FLdBj2r7hK!$r;X<($9$k$b$N$@$C$?!#(B

$BCN<1=hM}%7%9%F%`$N$*$*$6$C$Q$J9=B$$O!"(B
$BFCDj$N7A<0$GM?$($i$l$?CN<1$+$i!"?dO@$K$h$C$FLdBj$r2r7h$9$k$H$$$&$b$N$G$"$k!#(B

$BEAE}E*$K!"?M9)CNG=%7%9%F%`$O@k8@7?$N%W%m%0%i%_%s%08@8l$G=q$+$l$F$-$?!#(B
$B?M9)CNG=MQ$H8@$o$l$?(B Lisp$B!"(BProlog $B$J$I$N8@8l$O!"%7%s%\%kA`:n$,F@0U$G$"$k!#(B
$B%7%s%\%kA`:n$K4X$9$k0lDj$NOHAH$_$r;}$A!"%W%m%0%i%^$O!JM}A[E*$K$O!K(B
$B$=$NOHAH$_$K=>$C$F@k8@E*$KCN<1$rNs5s$9$k$N$G$"$k!#(B

$BCN<1=hM}%7%9%F%`$N?dO@%(%s%8%s(B
$B!J@k8@7?%W%m%0%i%_%s%08@8l$N=hM}7O!K<+BN$O!"<jB3$-7?8@8l$G=q$+$l$k!#(B
$B@k8@7?8@8l$G=q$/$3$H$b$G$-$k$,!"5!3#%l%Y%k$G$O(B
$BIaDL!"<jB3$-7?$N5!3#8l$KMn$H$5$l$F$$$k!#(B
Lisp$B%^%7%s$J$I!"@k8@7?$N5!3#8l$r;}$D%O!<%I%&%'%"$bB8:_$7$?$h$&$@$,!"(B
$B8=:_$OMF0W$KF~<j$G$-$k(BPC$B>e$K!"=hM}7O$NB?$/=P2s$C$F$$$k<jB3$-7?8@8l$G!"(B
$B?dO@%(%s%8%s$r9=@.$9$k$N$,8=<BE*$@$m$&!#(B

$BCN<1=hM}%7%9%F%`$K$*$1$k%W%m%0%i%_%s%0$H$O!"(B
$B?dO@%(%s%8%s$N=hM}$G$-$k7A<0!JCN<1I=8=8@8l!K$G!"(B
$BLdBj$K4X$9$kCN<1$rNs5s$9$k$3$H$G$"$k!#(B
$B%A%e!<%j%s%0%^%7%s$N%W%m%0%i%`!J8^$DAH$N=89g!K$K6a$$$H8@$($k$+$b$7$l$J$$$,!"(B
$B?dO@%(%s%8%s$OIaDL!"$b$C$H9b%l%Y%k$J%7%s%\%kA`:n$r9T$$!"(B
$BI=8=8@8l$O!"$b$C$HLdBj$KL)Ce$7$?$b$N$G$"$k!#(B


\subsection{$B5!G=(B}

$B<+N'@-!#HFMQ@-!#B?MM@-!#B?5!G=@-!#B?J,Ln@-!#(B

$B?M9)CNG=$NJ,Ln$GH/E8$7$?%(%-%9%Q!<%H%7%9%F%`$O!"(B
$BJ8;z$I$*$j@lLg$KFC2=$5$l$?%7%9%F%`$@$C$?!#(B
$BHFMQ@-$r;}$?$;$k$3$H$,86M}E*$KIT2DG=$J$N$G$O$J$/!"(B
$B%7%9%F%`$rC1=c$KJ]$D$3$H$,<BMQ@-$K$D$J$,$k$+$i$G$"$k!#(B

$BNc$($P!"0l3,=R8lO@M}$OHs>o$KHFMQE*$G$"$j$J$,$i!"(B
$B$=$N40A4@-$N$?$a!"C1=c$J?dO@%(%s%8%s$r:n$k$3$H$,$G$-$k!#(B
Prolog $B$O!"$=$N0lNc$G$"$k!#(B
$B$7$+$7!"0l3,=R8lO@M}$OHFMQ$N8@8l$G$"$C$F!"(B
$BIB5$$N$H$-$K$I$s$JLt$rI~$;$P$h$$$N$+!)(B
$B$H$$$C$?5?Ld$KD>@\Ez$($i$l$k$b$N$G$O$J$$!#(B

$B<BMQ@-!"8=<BE*$JF/$-$rJ]$A$J$,$i!"(B
$B$G$-$k8B$jB?MM$J>u67$KBP1~$G$-$k$h$&$K$9$k$3$H$,LdBj$G$"$k!#(B

$BNc$($P!"1QJ8!JBh(B$ 3 $$BJ87?(B SVO $B$N$_!K$rM}2r$9$k%7%9%F%`$r9M$($h$&!#(B
$ 10 $$B8D$NL>;l!"(B$ 10 $$B8D$NF0;l$NCN<1$r;}$C$F$$$?$H$9$k$H!"(B
$B9M$($i$l$k1QJ8$O!"(B$ 1000 $$BDL$j$G$"$k!#(B
$BL>;l(B$ 10 $$B8D!"F0;l(B$ 10 $$B8D$NCN<1$r?7$?$KF@$k$H!"(B
$B1QJ8$O!"(B$ 8000 $$BDL$j$K$J$k!#(B
$ 2 $$BG\$NCN<1$rF@$k$H!"(B$ 8 $$BG\$N2DG=@-$,=P$F$/$k!#(B
$BB>$NJ87?$r9M$($k$H!"CN<1$NAH$_9g$o$;$OG|Bg$JNL$K$J$j!"(B
$BH?1~;~4V$OHs>o$KCY$/$J$k!#(B

$BCN<1$NAH$_9g$o$;GzH/$rKI$0$?$a$K!"(B
$BCN<1$N;H$$J}$K4X$9$k%a%?CN<1!"(B
$BCN<1$N3,AX@-$rF3F~$9$k$N$,$h$$!#(B
$BCN<1$N$_$G$J$/!"?dO@%(%s%8%s$b3,AXE*$K$G$-$k!#(B


\subsection{$BLr3d(B}

$BLdBj2r7h$N2aDx$K$*$1$k0U;W7hDj!#(B

$BM}A[E*$K$O!"HFMQ$NLdBj2r7h%7%9%F%`$H$7$F!"(B
$B!V:#EY$O$I$s$JLdBj$,5/$-$^$7$?$+!)!W$HJ9$$$F$-$F!"(B
$B$=$NLdBj$K$D$$$F@bL@$9$k$H2r7h$7$F$/$l$k%7%9%F%`$r:n$j$?$$!#(B

$B=>Mh$N>pJs=hM}$G$O!"(B
$BLdBj$,H/8+$5$l$F$+$i!"(B
$B!JH/8+<T$H2r7h<T$,JL$G$"$k>l9g!K$I$N$h$&$JLdBj$J$N$+$r!J@k8@E*$K!KI=8=$7!"(B
$B$=$NI=8=$rM}2r$7!"LdBj2r7h$N7W2h$rN)$F!"6qBNE*$J2r7hK!$r9M$(!"(B
$B2r7hK!$r<jB3$-E*$KI=8=$7$F%W%m%0%i%`$r:n$C$F$+$i!"(B
$B$h$&$d$/%3%s%T%e!<%?$K!VLdBj!W$rEO$7$F$$$?!#(B

$BCN<1=hM}$G$O!"M}A[E*$K$O(B
$BLdBjH/8+!"I=8=$r?M4V$,9T$$!"(B
$B$=$l$+$i@h$O%3%s%T%e!<%?$KG$$;$F$7$^$&!#(B
$B%3%s%T%e!<%?$,LdBj$rM}2r$7!"2r7h7W2h$rN)$F!"(B
$B2r7hK!$r9M$(!"2r7h%W%m%0%i%`$r<B9T$9$k!#(B

$BLdBjI=8=$r%3%s%T%e!<%?$KEO$9$?$a$K!"(B
$B0lHLE*$JLdBj$rI=8=$G$-$k%b%G%k$,I,MW$G$"$k!#(B
$B$3$N%b%G%k$rLdBj%b%G%k$H8F$V!#(B

$BLdBj$H$O!"4X?4$"$kBP>]$K$D$$$F$N5?Ld$G$"$j!"(B
$BLdBj%b%G%k$O!"0lHLE*$JBP>]$rI=8=$G$-$J$1$l$P$J$i$J$$!#(B
$B%*%V%8%'%/%H;X8~$O!"!V8=<B$NBP>]$KBP1~$7$F$$$k!W$H$h$/8@$o$l$k!#(B
$BGX7J$H$7$F%U%l!<%`M}O@$,$"$j!"(B
$B$b$C$H0lHLE*$J=R8lO@M}$G$OI=8=$7$E$i$$%9%3!<%W!J(Bis-a$B!"(Bhas-a $B4X78!K(B
$B$rI=8=$G$-$k!#(B
$BLdBj%b%G%k$H$7$F07$&$b$N$O%*%V%8%'%/%H$,$h$$$@$m$&!#(B

$BLdBj%b%G%k$G$O!"BP>]$N9=B$$H5!G=$r!"(B
$B%*%V%8%'%/%H!J%G!<%?!K$H%a%=%C%I$H$7$F07$($P$h$$!#(B
$BCm0U$7$J$1$l$P$J$i$J$$$,!"(B
$BCN<1=hM}%7%9%F%`$OLdBj%b%G%k$rA`:n$9$k$N$@$+$i!"(B
$B%*%V%8%'%/%H;X8~8@8l!J$r<B9T$9$k%3%s%T%e!<%?!K$H$7$FF/$/$N$G$O$J$/!"(B
$B%*%V%8%'%/%H;X8~8@8l$r;H$&%W%m%0%i%^!J$=$NB>%(%s%8%K%"!K$H$7$FF/$/$3$H$K$J$k!#(B
$BLdBj%b%G%k$N!V5!G=!W$O<B9T2DG=$J%a%=%C%I$G$O$J$/!"(B
$BCN<1=hM}%7%9%F%`$,07$&BP>]$NK~$?$9$Y$-;EMM$G$"$k!#(B

$BLdBj%b%G%k$O7A<0E*$@$,!"(B
$B?M4V$,LdBj$rH/8+$7$?$H$-!"(B
$B4JC1$K$=$l$r@bL@$G$-$k$H$O8B$i$J$$!#(B
$BLdBjI=8=!J$5$i$K$OLdBjH/8+!"?7$7$$H/A[!K$r!"(B
$BCN<1=hM}!JLdBj2r7h!K%7%9%F%`$,;Y1g$G$-$k$H$h$$!#(B
$BI=8=$N;Y1g$r!"302=!J(BExternalization$B!K$H8@$&!#(B

$B302=$5$l$?LdBj%b%G%k$K4p$E$$$F!"(B
$BLdBj2r7h$X$N%"%W%m!<%A$r?^$k$3$H$r!"(B
Exploration$B$H8@$&!#(B


\section{$BCN<1=hM}$NFCD'$HF@<:(B}

$B@k8@7?$N8@8l$r;H$&$3$H$K$h$C$F!"(B
$BCN<1$+$i2r7hK!$rF3$/<j4V$,$+$+$k!#(B
$B$D$^$j!"<B9T8zN($,0-$$!#(B

$B!V(B$1 + 1$$B$O!)!W(B
$B$H$$$&<ALd$KEz$($k$h$j$b!"(B
$B!V(B$1 + n = 2$$B$G$9!#$G$O!"(B$n$$B$O!)!W(B
$B$H$$$&<ALd$KEz$($k$[$&$,<j4V$,$+$+$k!#(B
$B$3$l$O%3%s%T%e!<%?$K8B$C$?$3$H$G$J$/!"(B
$B?M4V$G$bF1$8$G$"$k!#(B

$B$D$^$j!"LdBj$K4X$9$kCN<1$+$i2r7hK!$rF3$/<j4V$r!"(B
$B=>Mh$N>pJs=hM}$G$O?M4V$,Ii$C$F$$$?$,!"(B
$BCN<1=hM}$G$O%3%s%T%e!<%?$KIi$o$;$k$3$H$K$J$k!#(B

$B$3$l$OMxE@$G$"$k!#(B
$BEE<V$dHt9T5!$N1?9T$r7h$a$k$N$O!"(B
$B$o$j$H7A<0E*$JLdBj$@$H;W$o$l$k$,!"(B
$BBg5,LO$J6u9A$G$O!"Ht9T5!$NH/CeNL$,KDBg$K$J$k$?$a!"(B
$B?M4V$N<j$KIi$($k$b$N$G$O$J$+$C$?!#(B
$B=>Mh$h$j!"Dj7?E*$GBgNL$N%G!<%?$r07$&$N$O%3%s%T%e!<%?$NF@0U$H$9$k$H$3$m$@!#(B

$B@k8@7?$NCN<1Ns5s$K$h$kB>$NMxE@$O!"JQ99$NMF0W$5$G$"$k!#(B
$B8D!9$NCN<1$OFHN)$7$F$*$j!"?7$7$$CN<1$rIU$12C$($k$?$a$K0JA0$+$i$NCN<1$rJQ99$9$kI,MW$O$J$$!#(B
$B=>Mh$N>pJs=hM}%W%m%0%i%`$G$O!"?7$7$$=hM}$rIU$12C$($k$?$a$K!"(B
$B85$N%W%m%0%i%`$N$"$kDxEY$NItJ,!J:G0-$N>l9g!"A4BN!K$rM}2r$7$J$/$F$O$J$i$J$$!#(B
$BJQ99!&DI2C$NBP>]$,0c$&$N$GC1=c$KHf3S$O$G$-$J$$$,!"?M4V$N<j4V$O8:$k$@$m$&!#(B

$BCN<1$N%b%8%e!<%k@-$,9b$$$3$H$+$i!"<+8J3X=,5!3#$b9M$($i$l$k!#(B
$B$^$?!"CN<1$NL7=b$,5/$-$?>l9g!"CN<1%Y!<%9A4$F$rD>$9I,MW$O$J$/!"(B
$BL7=b$9$k:G>.8B$NCN<1$N=89g$r8+$D$1!"$=$l$rD>$9$@$1$G$h$$!#(B
$B$3$N@-<A$rMxMQ$7$?!"O@M}7?8@8l$N<+F0%G%P%C%0$,8&5f$5$l$F$$$k!#(B
$B<jB3$-7?%W%m%0%i%`$N%G%P%C%0$O!"%W%m%0%i%`JQ99$HF1MM!"(B
$B$?$$$F$$$N>l9g$+$J$jBg$-$J%W%m%0%i%`JR$rM}2r$7$J$/$F$O$J$i$J$$!#(B

$BLdBj%b%G%k$K$h$C$FLdBj$rI=8=$G$-$7$@$$!"(B
$B%3%s%T%e!<%?$KLdBj2r7h$rG$$;$k$3$H$NMxE@$O!"(B
$BLdBj2r7h$N2aDx$K$*$1$k0U;W7hDj$r%3%s%T%e!<%?$,9T$&$3$H$G$"$k!#(B
$B%3%s%T%e!<%?$N0U;W7hDj$OA4$F5-O?$7$F$*$1$k$?$a!"(B
$B%I%-%e%a%s%H$r:n$k$N$,MF0W$G$"$k!#(B
$B%3%s%T%e!<%?$,0U;W7hDj$G$-$:!"ESCf$G?M4V$NJd=u$r<u$1$?>l9g$G$b!"(B
$BJd=u$r<u$1$?$H$$$&$3$H$H!"$=$N7k2L$O5-O?$G$-$k!#(B
$BLdBj2r7h$K$*$$$F?M4V$,<gF38"$r0.$C$F$$$?>l9g!"(B
$BN'5A$K8D!9$N0U;W7hDj$r5-O?$7$F$*$/?M$ODA$7$$!#(B

$B$d$d1sBg$JL\I8$O!"(B
$B$3$l$^$G?M4V$K$7$+$G$-$J$$$H;W$o$l$F$$$?(B
$B;E;v$r%3%s%T%e!<%?$K$d$i$;$k$3$H$G$"$k!#(B
$B%A%e!<%j%s%0%F%9%H0JA0$+$i$N5?Ld!"(B
$B!V%3%s%T%e!<%?$O9M$($k$3$H$,$G$-$k$+!)!W(B
$B$NEz$($H$J$k$+$b$7$l$J$$!#(B
$B?M9)CNG=$N:G=*L\I8$H8@$($k$@$m$&!#(B

$B%=!<%F%#%s%0$J$I!"(B
$B$9$G$K$h$/8&5f$5$l$?%"%k%4%j%:%`$,$"$k$,!"(B
$B$3$N$h$&$JJ,Ln$NLdBjC1BN$G!"(B
$BCN<1=hM}%7%9%F%`$rMxMQ$9$k$N$O%3%9%H$,9b$9$.$k!#(B
$BCN<1=hM}%7%9%F%`$,==J,<BMQE*$K!JB.$/!K$J$k$^$G!"(B
Unix$B$N%3%^%s%I$G2r7h$G$-$k$h$&$JLdBj$O!"(B
$BCN<1=hM}%7%9%F%`$KEO$5$:!"?M4V$@$1$G=hM}$9$k$N$,$h$$$@$m$&!#(B


\end{document}
