\documentstyle[jsaihead]{jarticle}
%\newfont{\logo}{nttlogo}
\title{\jLARGE AI $@8@8l(J}
%\author{$@8eF#(J  $@<"<y(J\\{\logo O NTT}\ $@EE5$DL?.8&5f=j(J}
\author{$@8eF#(J  $@<"<y(J\\$@EE5$DL?.8&5f=j(J}
%\renewcommand{\baselinestretch}{1.5}
\begin{document}
\setlength{\baselineskip}{6mm}
\tolerance=2000
\begin{abstract}
AI$@!J?M9)CNG=!KMQ$N%W%m%0%i%_%s%08@8l$H8@$($P!"(JLISP$@$H(JPROLOG$@$rEP>l$5$;$k(J
$@$N$,!V>o<1!WE*$JH=CG$G$"$m$&!#3N$+$K8=>u$G$O!"BeI=A*<j$,(JLISP$@!"(J
$@BP93GO$,(JPROLOG$@$H$$$&IA<L$O13$G$O$J$$!#(J

$@$=$3$GK\9F$b<B:]$K$O(JLISP$@$H(JPROLOG$@$H$KB?$/$N%9%Z!<%9$r3d$$$F$$$k!#$?$@$7(J
$@K\9F$OB>$NF~Lg=q$H$O$$$5$5$+0[$J$k%"%W%m!<%A$r$H$C$F$*$j!"<g$?$kLdBj0U<1$O(J
$@!V2?8N(JLISP$@$,;H$o$l$k$+!W$H$$$&E@$K$"$k!#(JPROLOG$@$K$D$$$F$bF1MM$JLdBj$r(J
$@@_Dj$9$k!#$D$^$jBg$2$5$K8@$($P!":#F|$N!V>o<1!W$r:F8!F$$7$h$&$H$$$&0U?^(J
$@$G=q$+$l$F$$$k!#(J

$@<B$O!"I.<T$O4{$K>e$N$h$&$JLdBj0U<1$KN)$C$F<!$NK\$r=q$$$?!#$7$+$7869F$r(J
$@$h$&$d$/=q$->e$2$?CJ3,$G$"$j!"4)9T$^$G$K$OLs(J1$@G/$"$k$3$H$+$iK\9V1i$N(J
$@!V652J=q!W(J
$@$H$7$F$O4V$K9g$o$J$$!#$=$3$G:#2s$O!"4dGH=qE9$N8fN;2r$N(J
$@$b$H$KF1=q$N0lIt$r4)9TA0$K$b94$i$:0zMQ$5$;$FD:$$$?!#(J

$@8eF#!!<"<y!!!V5-9f=hM}!W!!4dGH9V:B!&%=%U%H%&%'%"2J3X!!Bh(J10$@4,(J

\noindent
$@$J$*K\9F$O9V1iMQ$N869F$H$7$FMQ0U$7$?$b$N$G$"$k$+$i!"J8Cf$G0zMQ$7$F$"$k?^$,I,$:$7$b(J
$@;fLL$K8=$l$F$$$J$$!#$=$l$i$O9V1iCf$K(JOHP$@$r;H$C$F@bL@$9$kM=Dj$G$"$k!#(J

\end{abstract}
\maketitle

\section{$@2?8N(JLISP$@$,@8$-;D$C$F$$$k$+(J}

  $@Nr;KE*$K8@$($P!"(JAI$@!J?M9)CNG=!KMQ$N%W%m%0%i%_%s%08@8l$H$$$&$b$N$O2a5n$K?tB?$/(J
$@Ds0F$5$l$F$*$j!"0l@NA0$K$O(JLISP$@$r4^$`?t<oN`$N8@8l$,Bg$$$KGF$r(J
$@6%$C$F$$$?$b$N$G$"$k!#$=$l$,8=:_$K;j$C$F$_$k$H!"7k6I6%Ah$K>!$A;D$C$?$N$O(J
$@M#0l(JLISP$@$G$"$j!"$[$\8=67$O(J{\bf LISP}$@$N2I@j>uBV$H8@$C$FNI$$!#$3$l$KBP$7$F!"$d$d(J
$@JL$N3QEY$+$i?7EP>l$7$?$N$,(JPROLOG$@$H8@$($k!#(J{\bf PROLOG}$@$K$D$$$F$O8eH>$G>\$7$/=R$Y$k(J
$@$3$H$K$7$F!"A0H>$G$O(JLISP$@$,2?8N@8$-;D$C$?$N$+!"$=$N>!0x$rC5$k$3$H$K$9$k!#(J

  $@$3$l$O<h$j$bD>$5$:(JLISP$@$NFCD9$r:F3NG'$9$k$3$H$r0UL#$9$k$N$@$,!"(JLISP$@$NFCD9$H$7$F(J
$@NI$/<!$N(J2$@$D$N$3$H$,;XE&$5$l$F$$$k!#(J

\begin{quotation}
1. LISP$@$O!"M}O@E*$KH~$7$$&K!J%i%`%@!K7W;;$r4pHW$K$7$F$$$k$,8N$K(J
$@B>$N%W%m%0%i%_%s%08@8l$KHf$Y$FM%0L$G$"$k!#(J

2. LISP$@$rMQ$$$F<B:]$K%W%m%0%i%`$r:n@.$7$F$_$k$H!"C;;~4V$G(J
$@%W%m%0%i%`$,:n$l$k!#$D$^$j%W%m%0%i%`$N@8;:@-$,9b$$!#(J
\end{quotation}

$@$3$N(J2$@$D$H$b!"3N$+$K(JLISP$@$NFCD9$r8@$$Ev$F$F$$$k$N$@$,!"(JLISP$@$N@8$-;D$j$N>!0x$H(J
$@$7$F$OFC$K(J2$@$NJ}$r6/D4$7$F$*$-$?$$!#$b$7$b!"FCD9(J1$@$,8z$$$F$$$?$N$@$H$9$k$H!"(J
$@$=$l$O0l8+$7$F$9$0$KJ,$+$kFCD9$@$+$i!"(JLISP$@$NEP>l$H$H$b$KD>$A$KB>$N8@8l$r05E](J
$@$7$F$$$?$O$:$G$"$k!#$H$3$m$,!"8=<B$K$O$+$J$j$NG/?t$K$o$?$C$FB??t$N8@8l$,(J
$@JBN)$7$F$*$j!"(JLISP$@$NCO0L$,3NN)$9$k$^$G$K$O;~4V$,$+$+$C$F$$$k!#$7$?$,$C$F!"(J
$@LdBj$OM}O@E*$J4pHW$N6%Ah$G$O$J$+$C$?$H;W$o$l$k!#(J

  $@$3$l$KHf$Y$F!"FCD9(J2$@$NJ}$O<B:]$K%W%m%0%i%`$r:n$C$F$_$J$$$HJ,$+$i$J$$$+$i(J
$@==J,$KG'<1$5$l$k$^$G$K$O;~4V$,$+$+$k!#;v<B$3$N2q>l$NCf$K$b(JLISP$@$NFCD'$H$7$F(J2$@$r(J
$@5s$2$k$3$H$K0cOB46$rJz$/?M$b$$$k$H;W$o$l$k!#(J
  $@$=$3$G!"K\9F$G$O2?8N(JLISP$@$r;H$&$H%W%m%0%i%`$rC;4|4V$G:n$k$3$H$,$G$-$k$+!"(J
$@$H$$$&LdBj0U<1$GNW$`$3$H$K$9$k!#$=$NM}M3$O0lDL$j$G$O$J$$$N$@$,!"$J$k$Y$/(J
$@=g=x$@$F$F@bL@$r$7$F$_$h$&!#(J

\section{LISP$@$NHkL)$O%j%9%H$K$"$j(J}

  LISP$@$N@bL@$r$9$k;~$K$O!"I,$:$3$N!V%j%9%H!W$H$$$&MQ8l$,EP>l$9$k!#2?$7$m(J
LISP$@$N8l8;$O%j%9%H(J(LISt)$@$r=hM}$9$k$b$N(J(Processor)$@$@$H$$$&$3$H$,(JLISP$@$rDs>'(J
$@$7$?:G=i$NO@J8$K=q$$$F$"$k$N$@$+$i!"(JLISP$@!J%j%9%W!K$H$$$&0lIwJQ$o$C$?L>A0$N(J
$@@bL@$r$9$k;~$K%j%9%H$b0l=o$K=P$F$-$F$7$^$&$N$G$"$k!#(J
  $@$b$A$m$s!"(JLISP$@$NOC$r$9$k$K$O(JLISP$@$,BP>]$H$9$k$b$N$r@h$K=R$Y$F$*$$$?J}$,(J
$@ET9g$,$h$$$+$i!"OC$r%j%9%H$+$i;O$a$k$N$O?|$k9gM}E*$G$"$k!#(J

  $@$5$F!"%j%9%H$H$$$&8@MU$OF|>oMQ8l$G$bNI$/;H$o$l$F$$$k!#Nc$($P!"!V%V%i%C%/(J
$@%j%9%H!W$H8@$($P;%IU$-$N0-<T$r5-O?$7$?L>Jm$N$3$H$G$"$k$7!"B>$K$b!V;22C<T$N%j%9(J
$@%H!W!"!VE8<(IJ$N%j%9%H!W!"!VItIJ$N%j%9%H!W$H$$$/$i$G$b;W$$IU$/!#7W;;5!$N<~JU$G$b(J
$@!V%=!<%9!&%j%9%H!W$H8@$($P%W%m%0%i%`$r%W%j%s%?$G0u:~$7$?$b$N$r;X$9!#$3$l$i$N(J
$@MQNc$G$N%j%9%H$N0UL#$O!"0lMwI=$H$+L>Jm!"L\O?!"$H$$$C$?$H$3$m$G$"$k!#(J

  $@$H$3$m$G!"(JLISP$@$K$*$1$k%j%9%H$N0UL#$O!"F|>oMQ8l$N%j%9%H$h$j$b9-$$!#$h$j@53N$J(J
$@I=8=$H$7$F$O8e=R$N!V(JS$@<0!W(J({\bf S-expression})$@$NJ}$,9%$^$l$k$,!"$=$NM}M3$O8e$K$7$F$^$:(J
$@%j%9%H$N6qBNE*$J;Q$+$iD/$a$F$_$h$&!#(J
  $@4JC1$J%j%9%H$O(J2$@$D$N$b$N$rJB$Y$F:n$k!#Nc$($P9HCc$H%3!<%R!<$H$rJB$Y$k$H<!$N(J
$@%j%9%H$,$G$-$k!#(J

      {\tt (tea coffee)}

$@%j%9%H$O$3$N$h$&$K!":8%+%C%3(J``(''$@$H1&%+%C%3(J``)''$@$H$G%j%9%H$NMWAG$r0O$`!#(JLISP$@$N(J
$@0-8}$H$7$F%+%C%3$,B?2a$.$k$H8@$&?M$,$$$k0L$G(JLISP$@!J%j%9%H!K$H%+%C%3$N1o$O(J
$@@Z$C$F$b@Z$l$J$$!#(J
  tea$@$H(Jcoffee$@$@$1$G$O<d$7$$$N$G$b$&0l$D(Jnoodles$@$b2C$($h$&!#%j%9%H$K$OD9$5$N@)8B$,(J
$@$J$$$N$GM-8B8D$J$i$P2?8DJB$Y$F$bNI$$!#$3$3$G$O4{B8$N%j%9%H$K?7$7$$MWAG(Jnoodles$@$r(J
$@DI2C$7$h$&!#(J

      {\tt (noodles tea coffee)}

$@$3$3$G?7$7$$MWAG$,:8C<$KDI2C$5$l$?$3$H$KCm0U$7$F$*$3$&!#IaDL$N%j%9%H$J$i$P(J
$@1&C<$KDI2C$9$k$N$,<+A3$J$h$&$K;W$&$,!"(JLISP$@$G$OM}M3$,$"$C$F:8C<$9$J$o$A%j%9%H$N(J
$@@hF,$KDI2C$7$F$$$/!#$3$N$3$H$OHs>o$K=EMW$J$N$G8e$G>\$7$/@bL@$9$k!#%j%9%H$NMWAG$O(J
$@?t;z$G$bNI$$$N$G<!$N$h$&$K(J4567$@$rDI2C$9$k$3$H$b$G$-$k!#(J

      {\tt (4567 noodles tea coffee)}

$@<B$O!"%j%9%H$NMWAG$,$^$?%j%9%H$K$J$C$F$$$F$bNI$$!#$3$l$b(JLISP$@$N%j%9%H$NFCD9(J
$@$N0l$D$G$"$k!#(J

      {\tt ((juice bread) 4567 noodles tea coffee)}

$@$3$3$K(J(juice bread)$@$O$=$l<+?H>.$5$J%j%9%H$K$J$C$F$$$k!#0J>e$G%j%9%H$N4JC1$J(J
$@>R2p$r=*$o$k!#:#$^$G$N$H$3$m$r$^$H$a$F$+$i!":8C<$KDI2C$9$kM}M3$r=R$Y$k!#(J

\section{LISP$@$N%j%9%H$NFCD'(J}

\begin{enumerate}
\item $@%j%9%H$N3FMWAG$O1QC18l$N$h$&$J$b$N!JCm!'@53N$K8@$&$H%"%k%U%!%Y%C%H(J
$@$N(J26$@J8;z0J30$K(J\verb|+-*/@$%^&_\<>~.|$@Ey$r4^$s$GNI$$!#!K(J
$@$+?t;z$G$"$k$+!"$"$k$$$O4{$K=PMh$F$$$k>.$5$J%j%9%H$G$"$k!#(J

\item $@%j%9%H$NN>C<$O%+%C%3(J()$@$G0O$^$l$F$$$k!#(J

\item $@%j%9%H$K?7$7$$MWAG$rDI2C$9$k;~$K$O!"@hF,!J:8C<!K$KDI2C$9$k$N$,IaDL$G$"$k!#(J

\end{enumerate}

$@$5$F!"DI2C$9$k$H$-$N:81&$N6hJL$r@bL@$9$k$,!"<B$OH/A[$r5UE>$7$F9M$($?J}$,J,$+$j(J
$@$d$9$$!#$D$^$jDI2C$G$O$J$/$F%j%9%H$NJ,2r$r9M$($k$N$G$"$k!#(J

\section{LISP$@<0$N%j%9%HJ,2rK!(J}

$@Nc$($P!"<!$N%j%9%H$r(J
$@Fs$D$KJ,2r$;$h!"$H8@$o$l$?$i(JLISP$@$O$I$N$h$&$KJ,$1$k$N$r:G$bF@0U$H$9$k$@$m$&$+!#(J

      {\tt (4567 noodles tea coffee)}

$@MWAG$N?t$,;M$D$G$"$k$+$i!"BEEv$JEz$($O<!$N$I$l$+$@$m$&$H;W$o$l$k!#(J      

  1. $@:8$N(J4567$@$H!";D$j$N1&B&;0$D$KJ,$1$k!#(J

    {\tt (4567 $@"%(J noodles tea coffee)}

  2. $@$A$g$&$I$^$sCf$GH>J,$KJ,$1$k!#(J

    {\tt (4567 noodles $@"%(J tea coffee)	}

  3. $@:8B&$N;0$D$H!"1&C<$N(Jcoffee$@$H$KJ,$1$k!#(J 

    {\tt  (4567 noodles tea $@"%(J coffee)}

$@AGD>$JEz$($O(J2$@$G$"$k$,!"(JLISP$@$G$O(J1$@$r$H$k!#$3$NEz$KG<F@$G$-$J$$?M$N0Y$K>/$78e$G(J
$@4JC1$J9M;!$r9T$&!#$3$3$G$O(J1$@HV$N$h$&$KJ,2r$9$k(J
$@$3$H$rG'$a$?>e$G!"$5$i$K(JLISP$@$NOC$rB3$1$h$&!#:8$N0l$D$H1&$N;0$D$H$KJ,$1$k$H$$$&(J
$@$N$O@53N$K8@$&$H<!$N$I$A$i$G$"$m$&$+!#(J

\begin{enumerate}
\item {\tt (4567)  $@$H(J  (noodles tea coffee)}
\item {\tt 4567   $@$H(J  (noodles tea coffee)}
\end{enumerate}

$@$3$3$^$GMh$k$H$[$H$s$I%Q%:%k$G$"$j!"$"$^$j9M$(9~$s$G$bJ,$+$i$J$$!#$?$@$7%R%s%H(J
$@$OA0$N@bL@$NCf$K$"$C$F!"(J(4567 noodles tea coffee)$@$H$$$&%j%9%H$O(J4567$@$H$$$&(J
$@MWAG$r(J(noodles tea coffee)$@$H$$$&%j%9%H$N@hF,$KIU$1$?$b$N$G$"$k!#J,2r$9$k;~$O(J
$@$3$N9=@.$N5U$r$?$I$j!"(J2$@$N$h$&$K%j%9%H$N@hF,$NMWAG$H;D$j$N%j%9%H$H$KJ,$1$k!#(J
$@$7$?$,$C$F%j%9%H$NCf$KJ,2r$9$kE@$rL@<($9$l$P!"(J(4567 $@"%(J (noodles tea coffee))$@$H(J
$@=q$/$N$,@53N$G$"$k!#(J

  $@$3$N$h$&$J9M$(J}$G:G=i$N%j%9%H(J(tea coffee)$@$rJ,2r$7$F$_$k$H(J 
(tea $@"%(J (coffee))$@$H$J$k!#"%$N:8B&$O@hF,$NMWAG$G!"1&B&$O;D$5$l$?%j%9%H$H$$$&LsB+(J
$@$@$+$i(J(coffee)$@$G$"$C$F(Jcoffee$@$G$O$J$$$3$H$KCm0U!#7k6I>e$KEP>l$7$?%j%9%H$O2<$N(J
$@$h$&$KJ,2r$5$l$k!#$?$@$7"%$H$$$&$N$OK\=q$NCf$NJX59E*$J5-K!$G$"$C$FK\J*$N(JLISP
$@$G$O(J``.''$@$r;H$&!#K\=q$G$b$3$l0J9_$O(J``.''$@$r;H$&!#$3$l$O%T%j%*%I$N$h$&$K$b8+$($k$,!"(J
LISP$@$G$O!c%I%C%H!d$H8F$V$N$G$`$7$m>.?tE@$HF1$85$J,$G$"$k!#(J

{\footnotesize\begin{verbatim}
                                               (coffee)
                                        (tea . (coffee))
                             (noodles . (tea . (coffee)))
                     (4567 . (noodles . (tea . (coffee))))
((juice . (bread)) . (4567 . (noodles . (tea . (coffee)))))
\end{verbatim}}

$@%I%C%H$NA08e$K$O%9%Z!<%9$rL@$1$?J}$,NI$$!#$5$b$J$$$H!"(J{\tt (123.456)} $@$O(J2$@$D$NMWAG(J
123$@$H(J456$@$r<($7$F$$$k$N$+!"$=$l$H$b0l$D$N?t;z(J123.456$@!J%I%C%H$O>.?tE@!K$r%+%C%3(J
$@$G$/$/$C$?$b$N$+6hJL$,$D$+$J$$!#(J

  $@%I%C%H$r;H$C$?=q$-J}$r%^%9%?!<$9$k$H!"$h$&$d$/%j%9%H$NK\Ev$N;Q$,L@$i$+$K$J$k!#(J
$@$9$J$o$A%+%C%3$NCf$KMWAG$rJB$Y$F=q$/$H$$$&%j%9%H$NI=5-K!$O!"<B$ON,<0$J$N$G$"$C(J
$@$?!#@5<0$J$N$O%I%C%H$r;H$C$?=q$-J}$J$N$G$"$k!#%I%C%H$r;H$C$F=q$/$H8@$&$3$H$O(J
$@>e$N@bL@$N$h$&$K%j%9%H$NJ,2rE@$rL@<($7$F$$$k$3$H$KB>$J$i$J$$!#(J

\section{$@%I%C%H$r;H$C$?%j%9%H$NI=5-(J}

  n$@8D$NMWAG$r;}$D%j%9%H$O<!$N$h$&$KI=$5$l$k!#(J

  ($@MWAG(J1  .  ($@MWAG(J2  .  ($@MWAG(J3  .  ...  ($@MWAG(Jn))))


$@:G=i$N%j%9%H$NI=$7J}$H:#$N%I%C%H$r;H$C$?$b$N$H!"$I$A$i$,@5<0$+$H$$$&5DO@$O$=$l(J
$@$[$I0UL#$,$J$$!#<B:]$N(JLISP$@$N%W%m%0%i%`$NCf$G$O$[$H$s$I:G=i$NI=5-K!$7$+;H$o$J$$(J
$@$N$G!"%I%C%H$NJ}$rN,5-$H7h$a$F$bNI$5$=$&$@$,!"I=8=NO$K$*$$$F$O%I%C%H$N$[$&$,(J
$@M%$l$F$$$k$?$a!"%I%C%H$rGQ;_$9$kLu$K$O$$$+$J$$$N$G$"$k!#(J

  $@$3$NI=8=NO$N:9$K$D$$$F>/$7JdB-$7$F$*$3$&!#OC$N%?%M$O>e$NNcBj$NCf$K1#$l$F(J
$@$$$?$N$G!":F$SF1$8%j%9%H(J(tea coffee)$@$r;H$C$F@bL@$7$h$&!#$3$N%j%9%H$O%I%C%H$r(J
$@;H$C$F=q$1$P(J(tea . (coffee))$@$H$J$k!#$3$3$G(J(coffee)$@$H$$$&$N$O2?J*$G$"$m$&(J
$@$+!#(J(coffee)$@$NCf$K$O%I%C%H$O0l$D$b8=$l$J$$$7!"MWAG$,!J$?$^$?$^0l$D!KJB$Y$F(J
$@$"$C$F!"N>C<$K$O%+%C%3$,$"$k!#$3$l$OJ6$l$b$J$/N,5-K!$N=q$-J}$G%j%9%H$r=q$$$?(J
$@$b$N$KB>$J$i$J$$!#$=$l$G$O!"(J(coffee)$@$r@5=qK!$G=q$/$K$O$I$&$9$l$PNI$$$+!#(J

  $@%I%C%H$N=q$-J}$O%j%9%H$NJ,2r$KM3Mh$9$k!#(J(coffee)$@$rJ,2r$9$k$K$O<!$NFs$D$N;v<B$K(J
$@CmL\$9$l$PNI$$!#(J

\begin{itemize}
\item $@%j%9%H(J(coffee)$@$N@hF,$NMWAG$O(Jcoffee$@$G$"$k$+$i!"(J(coffee . $@2?$+(J)
$@$H$$$&7A$K$J$k$O$:$G$"$k!#(J
\item coffee$@$r<h$C$F$7$^$&$H;D$k$N$OMWAG$,(J0$@8D$N%j%9%H$K$J$k!#$3$l$r(J() 
$@$H=q$-!"6u%j%9%H(J(empty list)$@$H8F$V!#$3$l$,!V2?$+!W$NItJ,$KAjEv$9$k$N$G(J
$@Ez$($O(J(coffee . ())$@$H$J$k!#(J
\end{itemize}

$@$3$l$G0lCJ?<$^$C$?%I%C%HI=5-$,F@$i$l$?$,!"NI$/9M$($F$_$k$H(J()$@$H$$$&$N$b(J
$@$d$O$j%j%9%H$NI=5-$G$O$J$$$+!#%j%9%H$NMWAG$,(J1$@8D$+$i(J0$@8D$K$J$C$?$@$1$G(J
$@OC$OA4A3?J$s$G$$$J$$$N$@$H5$$,IU$/!#$3$3$G(JLISP$@$N:G=i$NHkL)$,L@$i$+$K$J$k!#(J
$@$=$l$O!"(J()$@$H$$$&%j%9%H$H(J{\bf NIL}$@$H$$$&1QJ8;zL>$H$rF10l;k$9$k$H$$$&5,B'$G$"$k!#K\=q(J
$@$G$O86B'$H$7$F1Q;z$NBgJ8;z$H>.J8;z$H$O6hJL$7$J$$$+$i!"0J2<$NK\J8$G$O(J()$@$H(JNIL$@$H(J
nil$@$H$OF1$8$b$N$r;X$9!#(J

  $@$=$3$G$h$&$d$/>e$NEz$($,(J(coffee . NIL)$@$@$H8@$($k!#F1MM$KB>$N%j%9%H$b(JNIL 
$@$r;H$C$F=q$/$3$H$,$G$-$k!#$3$l$G%j%9%H$rA4LLE*$K%I%C%H$r;H$C$?I=5-$G=q$/$3$H$,(J
$@$G$-$k!#(J

\section{$@%I%C%H$H(J NIL $@$r;H$C$?%j%9%H$NI=5-(J}

  n$@8D$NMWAG$r;}$D%j%9%H$O<!$N$h$&$KI=$5$l$k!#(J

  ($@MWAG(J1  .  ($@MWAG(J2  .  ($@MWAG(J3  .  ...  ($@MWAG(Jn . NIL))))


$@$3$3$NI=5-K!$r8+$k$H(JLISP$@$N%j%9%H$O1&B&$NMWAG$+$i=gHV$K$/$/$i$l$F$$$k!#$9$J$o$A(J
$@%j%9%H$N9=B$$O:81&BP>N$G$O$J$$!#$3$l$,?7$7$$MWAG$rDI2C$9$k;~$N:81&$N0c$$$K$J$k!#(J
$@$$$^(Jn$@8D$NMWAG$+$i$J$k%j%9%H(J($@MWAG(J1  $@MWAG(J2  ...  $@MWAG(Jn)$@$,4{$KB8:_$9$k$b$N$H$7$h(J
$@$&!#$3$N%j%9%H$K?7$7$$!VMWAG(Jx$@!W$rDI2C$9$k$K$O!":8C<$KMWAG(Jx$@$rIU$1$F(J
($@MWAG(Jx . ($@MWAG(J1  $@MWAG(J2  ...  $@MWAG(Jn))$@$H$9$l$P85$ND9$5(Jn$@$N%j%9%H$N7A$,$=$N$^$^(J
$@@8$-$k$N$G=hM}$,4JC1$G$"$k!#$3$l$r%j%9%H$N1&C<$K6/$$$FIU$1$k$H$9$l$P(J
($@MWAG(Jn . NIL)$@$N(JNIL$@$r(J($@MWAG(Jx . NIL)$@$GCV$-49$($F(J($@MWAG(Jn . ($@MWAG(Jx . NIL))$@$H$7$J$1$l$P(J
$@$J$i$:!"=hM}$,LLE]$G$"$k!#$J$*(JLISP$@$NFbIt$K$*$1$k%j%9%H$NI=8=K!$+$i8@$C$F$b:8C<(J
$@$KDI2C$9$kJ}$,MF0W$G$"$k!J;~4V$NM>M5$,$"$l$P@bL@$9$k!K!#(J
$@$=$3$G(JLISP$@$G$O%j%9%H$XMWAG$rDI2C$9$k;~$K$O:8C<!J%j%9%H$N@hF,!K$KIU$1$k!#(J

  $@I=8=NO$N:9$K$D$$$F8@$($P!"(J(iwa . nami)$@$N$h$&$K(JNIL$@$G=*$i$J$$%I%C%HI=5-$r(J
$@%j%9%H$GI=$9$3$H$O$G$-$J$$!#(J(iwa nami)$@$H$$$&%I%C%H$r4^$^$J$$(J
$@%j%9%H$O(J(iwa . (nami . NIL))$@$H(JNIL$@$r(J
$@4^$`$N$G(J(iwa . nami)$@$H$O0[$J$k!#$3$N$h$&$K%I%C%HI=5-$G=q$1$F$b%j%9%H$N7A$G$O=q(J
$@$1$J$$$b$N$b$"$k!#$3$l$,%I%C%HI=5-$NJ}$,I=8=NO$,$"$k$H$$$&<BNc$K$J$C$F$$$k!#(J

\section{S$@<0(J}

  $@:G8e$K(JS$@<0$H$$$&$N$O!"K\@a$G@bL@$7$?%j%9%H$*$h$S%I%C%HI=5-$NN>J}$H$b4^$`!#(J
$@$h$j@53N$K8@$&$H!"1QJ8;zL>$d?t;z$b(JS$@<0$NCg4V$G$"$C$F!"(JLISP$@$N<h$j07$&%G!<%?9=B$$O(J
$@K\=q$NHO0OFb$G$O$9$Y$F(JS$@<0$H$$$&OH$NCf$KF~$C$F$7$^$&!#$J$*:#$^$G$K(J
$@@bL@$7$?1QJ8;zL>$H?t;z$H$r9g$o$;$F!V%"%H%`!W$H8F$V$3$H$,$"$k!#%"%H%`$H$O(J
$@!VJ,3d$G$-$J$$!W$H$$$&0UL#$N%.%j%7%c8l(J(atomos)$@$KM3Mh$9$k!#$9$J$o$A!"(JS$@<0$N(J
$@4pK\C10L$G$"$C$F%I%C%H$r4^$^$J$$!#(J

$@!J$3$3$G(JOHP$@$N?^$rMQ$$$F(JS$@<0$NJ,N`$r<($9M=Dj!#!K(J

\section{$@9M;!(J1. $@G[Ns$H%j%9%H$H$NHf3S(J}

  $@%j%9%H$H$$$&%G!<%?9=B$$O(JLISP$@$NFCD'$G$"$k!#%j%9%H$K;w$?%G!<%?9=B$$OB>$N(J
$@%W%m%0%i%_%s%08@8l$K$b8+$i$l$k!#Nc$($PG[Ns!J$D$^$j%Y%/%H%k!K$r;H$($P%j%9%H$r(J
$@I=8=$9$k$3$H$,2DG=$J$h$&$K$b;W$($k!#0lBNG[Ns$H%j%9%H$H$OK\<AE*$J0c$$$r;}$D$N(J
$@$G$"$m$&$+!#<!$NFs$D$NE@$GN><T$rHf3S$7$F$_$h$&!#(J

\begin{enumerate}
\item $@%j%9%H$NMWAG$O%"%H%`!J1QJ8;zL>$d?t;z!K$G$bNI$$$7!"MWAG$,%j%9%H$G$bNI$$!#(J
$@G[Ns$NMWAG$K$D$$$F$O$3$N$h$&$J<+M3EY$,5v$5$l$F$$$k$@$m$&$+!#(J

\item $@%j%9%H$ND9$5$K$O@)8B$,$J$/!"0lC6:n$C$?%j%9%H$r$I$s$I$s?-$P$7$F$bNI$$!#(J
$@G[Ns$N>l9g$K$OD9$5$,M=$a7h$a$i$l$F$$$k$?$a!"@)8B$,$"$k!#G[Ns$ND9$5$O2?8N(J
$@87$7$/7h$a$i$l$F$$$k$N$@$m$&$+!#(J

\end{enumerate}

$@$3$N9M;!$+$i!"(JLISP$@$N%W%m%0%i%`$N@8;:@-$N9b$5$NM}M3$N0l$D$H$7$F!"%j%9%H$H$$$&(J
$@%G!<%?9=B$$r:NMQ$7$F$$$k$3$H$r5s$2$k$3$H$,=PMh$k$+!#(J

\section{$@9M;!(J2. $@%j%9%H$H(JB-$@LZ(J}

  $@K\J8$NCf$G$O%j%9%H$NJ,2r$r!V@hF,$NMWAG$H;D$j$N%j%9%H!W$HLsB+$r$7$?!#$3$l$O(J
LISP$@Iw$NJ,2rK!$G$"$k!#IaDL$N0UL#$G$N<+A3$JJ,2r$O??H>J,$K3d$k$3$H$G$"$m$&!#Fs$D$N(J
$@J,2rK!$rHf$Y$F$_$h$&!#(JLISP$@$NJ}K!$G(J(4567 noodles tea coffee)$@$rJ,2r$9$k$H(J
(4567 . (noodles . (tea . (coffee . NIL))))$@$H$J$k!#$3$l$r?^<($9$k$H?^(J1(OHP!)$@$N(J
$@$h$&$K$J$k!#?^$NCf$G$O%I%C%H5-K!(J(A . B)$@$r%I%C%H$r>e$K=q$$$?LZ(J(tree)$@$N7A$G(J
$@I=$7$F$$$k!#(JLISP$@<0$N>l9g$O%j%9%H$,1&2<$,$j$NLZ$K$J$k!#$3$l$KBP$7$F!"FsJ,3dK!(J
$@$N>l9g$K$O?^(J2(OHP)$@$N$h$&$K$J$j!":81&$,%P%i%s%9$7$F$$$k!#$3$N798~$O%j%9%H$N(J
$@MWAG$,B?$/$J$k$[$I82Cx$K$J$k!#0lHL$N%G!<%?9=B$$N652J=q$G$OLZ$,%P%i%s%9$7$F(J
$@$$$k$3$H$O9%$^$7$$$H$5$l$F$$$k!#(JLISP$@$NJ}K!$O%P%i%s%9$N4QE@$rA4$/L5;k$7$F$$$k(J
$@$N$G$"$k$,!"(JLISP$@<0$NJ,2r$N$[$&$,FsJ,3dK!$h$j$bM%$l$F$$$kE@$b$"$k$N$@$m$&$+!#(J




\end{document}
