🚀 go-pugleaf

$@@P86!wKLN&@hC<Bg$G$9!#(J

In article <SHINGO.92Dec17130040@ipc02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

   >>$@!d(J   $@>/$J$/$H$b!"(J$@<B8=2DG=@-$O0LAj6u4V$NOC$H$OA4A3JL$@$H;W$C$F$$$$$H;W$$$^$9!#(J
   >>
   >>$@$d$O$j!"$=$&$G$9$+!#(J
   >>$@$J$K(J$@$+!"4XO"$,$"$k$+$H;W$$!"$$$m$$$m$H9M$($F$7$^$C$?$b$N$G!#(J

$@;d$b$^$@%-%A%s$HJY6/$7$F$$$J$$$N$G$9$,!"<B8=(J$@2DG=@-$H0LAj6u4V7O(J($@AX!&%H%]%9$J$I$b(J
$@4^$`(J)$@$N%b%G%k$N4X78$K$D$$$F$O!"0J2<$NJ88%$,;29M$K$J$k$N$G$O$J$$$G(J$@$7$g$&$+!)(J

	Hyland, J.M.E
	The effective topos
	Troelstra, A.S. and D. van Dalen eds.,
	The L.E.J. Brouwer Centenary Symposium
	165-216

$@$^$?!"(J

	Troelstra, A.S. and D. van Dalen
	Constructivism in Mathematics, Vol. 2
	13.8 (724-729)

$@$K4JC1$J2r@b$,$G$F$$$^$9!#(J

$@ITJY6/$J$b$N$GE*$O$:$l$J%3%a%s%H$@$C$?$i(J$@%4%a%s%J%5%$!#(J

--
------------------------------------------------------------------------
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&5f2J!J>pJsO@M}3X!K(J
TEL: 0761-51-1206, FAX: 0761-51-1338, e-mail: ishihara@jaist-east.ac.jp