***$BF|K\(BDB$B3X2q(B $B%S%8%M%9%$%s%F%j%8%'%s%98&5f%0%k!<%W3+:E$N$*CN$i$;(B*** ***$BF|K\(BOR$B3X2q(B $B%^!<%1%F%#%s%0!&%$%s%F%j%8%'%s%98&5fIt2q3+:E$N$*CN$i$;(B*** $B@l=$Bg3X$N@8EDL\$G$9!%(B $B2<5-MWNN$GF|K\%G!<%?%Y!<%93X2q%S%8%M%9%$%s%F%j%8%'%s%98&5f%0%k!<%W!$F|K\(BOR$B3X2q(B $B%^!<%1%F%#%s%0!&%$%s%F%j%8%'%s%98&5fIt2q$N6&F13+:E$G!$%G!<%?2r@O%3%s%Z%F%#%7%g%s$NCf4VH/I=2q$G$9!%K\G/$OCf8E<V%*!<%/%7%g%s%G!<%?$rMxMQ$7$?%3%s%Z%F%#%7%g%s$r3+:E$7$F$$$^$9!%$U$k$C$F$4;22C$/$@$5$$!%(B $B!JH/I=%A!<%`?t$,$*$*$$$N$G!$(B18$B;~(B30$BJ,$+$i3+:E$7$^$9!K(B $BF|!!;~!'(B12$B7n(B8$BF|!JEZ!K(B12:30$(D"7(B $B>l!!=j!'El5~M}2JBg3X6eCJ2<%-%c%s%Q%9!J(B12:30$(D"7(B14:30$B!a(BKC302$B!!(B14:30$(D"7(B16:00$B!a(BKS203$B!K(B $BFb!!MF!'!V%G!<%?2r@O%3%s%Z%F%#%7%g%s!$3X@8ItLgCf4VH/I=!W(B $BH/I=%A!<%`!'(BMOST-Y$B!$@>;3<w;J!$]/0f(Bchildren$B!$Aa0pEDBg3XK-ED8&5f<<(B $B@1HI!$(BLambda Calculus$B!$(B $B!!!!!!!!!!!!(By620$B!$$A!<$`(BF615$B!$6eCJ$NO5!$?gO!CS$N3?!$(BK$B!&(BI$B!&(BS$B!&(BS$B!$(BCome on $BM%NI8\5R!$(B $B!!!!!!!!!!!!#T#U#M#K#Y!$$&$7$m$N@J$N?M!$2*AH(B $BO"Mm@h!'@l=$Bg3X!!@8EDL\?r(B takashi@isc.senshu-u.ac.jp URL$B!'(B http://www.isc.senshu-u.ac.jp/~thc0640/mi.html ps $BH/I=%A!<%`$O(B50$BIt;qNA$rMQ0U$/$@$5$$!%(B ------------------------------------ Takashi Namatame (Senshu University) thc0640@isc.senshu-u.ac.jp ------------------------------------