🚀 go-pugleaf

In article <KAWAMOTO.96Jan16101525@khaos.miln.mei.co.jp>
kawamoto@miln.mei.co.jp (Takuji Kawamoto) writes:
>$B@nK\$G$9!#(J
>$B%*%j%8%J%k$N5-;v$r$h$/FI$s$G$$$J$$$N$G30$7$F$$$k$+$b$7$l$^$;$s$,!"!"!#(J
>$B0J2<$N5-;v$G$O(J a^b $B$N(J ^ $B$O!"1&7k9g$NQQ>h:nMQ;R$G$"$k$H$7$^$9!#(J
>
>$BJ?2l!w?^=q4[>pJsBg3X$5$s[)$/!#(J

$B$=$NJ?2l$G$9!#(J
$B2?$rJ9$+$l$F$$$k$+$,$h$/$o$+$i$J$$$N$GJVEz$N$7$h$&$K:$$k$N$G$9$,(J...

>>	a^a^a^...
>$B$3$&$$$&<0$,$J$<=P$F$/$k$N$G$9$+!)(J

$B85$NLdBj$O!"(Ja=sqrt(2) $B$H$7$F$=$N6K8BCM$rJ9$$$?$b$N$G$9!#(J
a^a^a^... $B$GJ70O5$$,$G$J$1$l$P!"(J
         ...
	a
     ...
    a
   a
  a
$B$H=q$$$F$b$$$$$G$9$,!#(J

>>	a[0] = a
>>	a[n] = a^(a[n-1])
>$B%*%j%8%J%k$N5-;v$K$"$k$3$NA22=<0$r(J ... $B$r;H$C$FN,5-$9$k$J$i!"(J
>	...^a^a^a
>$B$G$7$g!)(J
>$B1&7k9g!":87k9g1>!90JA0$N!"=q$-4V0c$$%l%Y%k$NOC$G$O$J$$$G$7$g$&$+!)(J

$B!VA22=<0$r(J ... $B$r;H$C$FN,5-$9$k$J$i!"!W$N0UL#$,$h$/$o$+$j$^$;$s$,!"(J
$B!V(Jn->$B!g$N6K8B$K$*$$$F!W$H$$$&0UL#$K2r$7$F$*$-$^$9!#(J

$B85$N(J a^a^a^... $B$N0UL#$r$A$c$s$HDj5A$9$k$J$i!"(J
	A[0] = a
	A[1] = a^a
	A[2] = a^a^a
	...
	A[n] = a^a^...^a (^ $B$,(J n $B8D(J)
$B$H$7$F(J lim A[n] (n->$B!g(J) $B$H$9$k$h$j$J$$$G$7$g$&!#(J
$B$3$l$O>e$NA22=<0$H$^$C$?$/F1$8$G!"$7$?$,$C$F!J<}B+@-$J$I$OG'$a$?>e$G!K(J
	...^a^a^a = a^a^a^...
$B$G$9!#(J

$B!JJ?2l!K(J