🚀 go-pugleaf

$@3X=,2aDx$K$"$k3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Nov10164046@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |$@$7!#C]Fb@h@8$NK\$G(J E $@$rF3F~$7$F$$$kM}M3$O!"AX$NM}O@$H$NBP1~4X78$r8+$d(J
 |$@$9$/$9$k$?$a$G$7$g$&!#(J

$@!JA4A38+$d$9$$$H$O;W$($^$;$s$,!K0lHL$KAX$NM}O@$K$*$$$F!"$"$k%*!<%W%s%;%C(J
$@%H$KBP1~$7$F$$$k=89g$N$=$NB8(J$@:_$,$=$NM}O@$NCf$G!V0UL#$,$J$$!W$H$$$&$N$O(J
$@$$$+$K$bJQ$@!"$H!";W$$$^$;$s$+!)(J

 | |$@G;EY$K$D$$$F$N5DO@$G(J$@$O!V0lHL$N%b%G%k!W$G$b$=$&$G$9$,!"$3$3$G;d$N$$$C$F(J
 | |$@$$$k$N$O!VCM#1$r$H$i$J$$%U%)!<%_%e%i!W$O!"$d$C(J$@$Q$jL5;k$C$F$3$H$J$s$G$7$g(J
 | |$@$&$+!"$H$$$&$3$H$G$9!#(J
 |
 |$@!VL5;k!W$H$$$&8@MU$r$I$&$$$&0UL#$G;H$o$l$F(J$@$$$k$N$+$h$/$o$+$j$^$;$s$,!"(J
 |$@!VCM(J1$@$r$H$i$J$$(J formula $@!W$O!"@5$7$$(J formula $@$H$O9M$($^$;$s!#(J

$@$=$&$+!"(J$@$9$k$H(J Ea=1 $@$H$J$i$J$$=89g$O!"30$+$i8+$l$P%b%G%k$NCf$K!VB8:_!W(J
$@$7$F$$$k$s$@$1$I!"%b%G%k$NCf$G$O!"CM#1(J$@$r$H$i$J$$$+$i!"!VB8:_!W$7$F$$$J(J
$@$$!"$C$F$3$H$G$9$+!)(J

$@$G$b!"$=$NB8:_$7$F$$$J$$$b$N$K$D$$$F$N%U%)!<%_(J$@%e%i$K$D$$$F$7$+!"GSCfN)(J
$@$NH]Dj$,@.$jN)$?$J$$$J$s$F!"$$$+$K$bJQ$@$H;W$C$?$s$G$9$,!#(J
$@$=$l$O!"AX$K$*$1$k(J$@>e$N!VJQ!W$H0lCW$7$F$$$^$9$h$M!#(J

 |$@3^$5$s$N8@$$$?$+$C$?$3$H$O!"$R$g$C$H$7$F!"(J0 < [E{x \in {0,1} | x = 0
 |and \phi}] < 1 $@$H$J$C$F$$$?$iLLGr$+$C$?$N$K$J!"$H$$$&0UL#$J$N$G$7$g$&(J
 |$@$+(J? 

$@$"!"$=$&$G$9!#2rFI(J$@$7$F$b$i$C$F$9$$$^$;$s!#(J
$@$3$NOC$7$OJL$NEj9F$G$7$F$^$9!#(J

 | |$@<:Ni$7$^$7$?!#(J
 | |$@#4#3%Z!<%8$N2<$N$[$&$N(J$@OC$7$G$9!#(J
$@CfN,(J
 |$@$J$k$[$I!#3N$+$K$=$&$$$&0UL#$G$7$?$i!"$*$C$7$c$kDL$j(J[not A or A] = 1$@$K(J
 |$@$J$j$^$9!#(J$@$H$$$&$N$O!"MW$9$k$K$=$&$$$&>l9g$K$O!"K\<AE*$K(J A $@$NCf$G$O!"(J
 |$@IaDL$N=89g$rKd$a9~$s$GF@$i$l$k=89g$K$7$+(J$@8@5Z$7$F$J$$$+$i$G!"=>$C$F!"Ia(J
 |$@DL$N(J V $@$NCf$G(J A $@$N0UL#$r9M$($k$N$HF1$8$K$J$C$F$7$^$&$+$i$G$9!#(J

$@$9$k(J$@$H!"$I$3$,D>4Q<g5A!VE*!W$J$s$G$7$g!)(J

 |$@$G$b!"<B:]8@$C$F!"(J{0,1} $@$,0lHL$K40HwB+$K$J$i$J$$$H$$$&$N$O!"Bg(J$@$7$?LdBj(J
 |$@$G$O$J$$$G$9$1$I$M!#(J(V^({\Omega}))^({0,1}) $@$r:n$m$&$H$9$k$H%3%1$k!"$H(J
 |$@$$$&$"$?$j$GLdBj$K(J$@$J$k$@$1$N$3$H$G$9$M!#$3$NK\$N<g;]$+$i$9$l$P!"(J{0,1} 
 |$@$r??M}CM$N6u4V$K$H$C$F$bFC$KLLGr$$$3$H$O$J$$$N(J$@$G!"(J(V^({\Omega}))^({0,1})
 |$@$,:n$l$J$/$F$b$I$&$C$F$3$H$O$J$$$7!#(J

$@$X$C!"(JV^$@&8(J $@$rD>4Q<g5A$G:n$m$&$H$7$?(J$@$i!";`$L$[$I$a$s$I$/$5$$$h!"$FOC$7(J
$@$G$O$J$$$s$G$9$+!)(J

 | |$@$D$^$j$G$9$M!"(JV^$@&8(J $@$O$"$^$j(J ZF + LJ $@$NNI$$(J$@%b%G%k$G$O$J$$$J$"!"$H;W$C$?(J
 | |$@$o$1$G$9!#(J
 |
 |$@$(!<$H!"2f!9$N6H3&$G$O(J ZF $@$H=q$/$H!"$9$G$K$=$3$KGSCf(J$@N'$,F~$C$F$$$^$9$N(J
 |$@$G!"(JZF + LJ $@$H$$$&8@$$J}$OJQ$G$9!#$G!"$b$A$m$s!"(JV^(\Omega) $@$O(J ZF $@$N%b(J
 |$@%G%k$K$O(J$@0lHL$K$O$J$i$J$/$F!"(JIZF $@$N%b%G%k$G$9!#(J

$@$U$D$&$N(J ZF $@$+$iGSCfN)$,F3$1$k!"$H$$$&0UL#$G$9$+!)$=$l$H$b$b$H(J$@$b$H(J ZF 
$@$KGSCfN)$rF~$l$F$*$/$H$$$&0UL#$G$7$g$&$+!)(J

 |$@FHN)@-$N>ZL@$K$J$C$F$$$k$3$H$O3N$+$G$9!#$G$b!"(J$@GSCfN'$O!"$$$+$K$bFHN)$H(J
 |$@$$$&8xM}$J$N$G!"$=$l$,FHN)$@$H8@$($F$bFC$KLLGr$/$O$J$$$G$9!#$3$NK\$N<g(J
 |$@Bj(J$@$O!"$=$l$h$j$b!"(JHeyting-valued analysis (Boolean-valued analysis $@$N(J 
 |cHa version) $@$K$"$k$N$@$H;W$$$^(J$@$9!#FC$K!"(JCauchy-real $@$H(J Dedekind real 
 |$@$,0[$J$k$h$&$J%b%G%k$K6=L#$,$"$k$N$@$H;W$$$^$9!#(J

$@$=$&$G$9$M(J$@!#(J
$@;d$OBe?t7OE}$,9%$-$J$N$G!"$=$l$rL\E*$KFI$_;O$a$?$+$i!V2?$8$c%3%j%c!W$K(J
$@$J$C$F$7$^$C$?$s$G$9$+$M!#(J
$@$"$N%b%G%k$G!VBe?t!W$r9M$($k$N$O!"$A$g$C$HL5M}$,$"$k$s$8$c$J$$$+$H;W$C(J
$@$F$$$^$9!#(J