🚀 go-pugleaf

$B3{$G$9!#(B

In article <4qm802$aiu@webosaka.threeweb.ad.jp>
 kohama@osk.threewebnet.or.jp (Ippei Kohama) writes:
 >$B;d$N(B<4q94ci$cmj@webosaka.threeweb.ad.jp>$B$N5-;v$O4V0c$$$J$N$G$7$g$&$+!)(B
 >$B!VI=8=!W$NJa$(J}$r4V0c$($?$N$+$J!)(B
 >$B$J$K$V$s?t3X$,6l<j$J$b$N$G!J?t3X65;U$N$/$;$K!K(B...$B!#(B

$B@5$7$/$b$J$$$7!"4V0c$C$F$b$$$^$;$s!#C1$K0UL#$r;}$?$J$$$N$G$9!#MW$O!"(B
$B!VI=8=$G$-$k!W$NDj5A<!Bh$G!"$I$&$K$G$b$J$C$F$7$^$&$H$$$&$3$H$G$9!#(B

$B$G!"$3$NJU$N87L)$J5DO@$,$*K>$_$NJ}$O!"(Bcomputable real $B$NM}O@$r$I$&$>!#(B
$BI8=`E*$J652J=q$H$7$F$O!"(B[1]$B$,M-L>$G$9!#(B

 [1] M.B. Pour-El and J.I. Richards: Computability in Analysis and
Physics, 1987, Springer-Verlag.

				$B3{(B $B9@Lw(B@$B>pJs2J3X2J(B.$BM}3XIt(B.$BF`NI=w;RBg3X(B