🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 | |  $@;d$b(J$@:.Mp$7$?5-;v$r=q$$$F$7$^$C$?$h$&$G$9!#L58B$K$"$k$H$$$&N)>l$J$N$G(J
 | |$@$9$M!#(J
 |
 |$@$$$d!"$=$&$G$O$J$/$F(J$@$G$9$M!"(J
 |
 |{0,1}$@$rIaDL$N8xM}E*=89gO@$G9M$($k$H#2$K$J$j$^$9$h$M!#(J
 |$@$b$C$H$7$D$3$/8@$&$H(J{$@&5(J,{$@&5(J}}$@$G(J$@$9$h$M!#$=$l$NKd$a9~$_J}$O(J43$@%Z!<%8$K=q(J
 |$@$$$F$"$j$^$9$h$M!#$=$3$G(JV^($@&8(J)$@$N&8(J({0,1}=$@&8$N&8$G$O$J$$(J)$@$rL5(J$@8B$N%*!<%W(J
 |$@%s%;%C%H$r;}$D%H%]%m%8!<%9%Z!<%9$J$s$F$$$&$U$&$K$9$k$H!"(J[a \in 2] = 0 
 |$@$H$J$i$J$$(JV^($@&8(J)$@$NMWAG$OL58B$K$"$j$c$7$^$;$s$+!"$C$F$$$&0UL#$J$s$G$9!#(J

$@$=$l$O$b$A$m$sL58B$K$"$j$^$9!#$7$+$7!"$=$l$O(J$@!"O@M}$,D>4Q<g5A(J
$@E*$K$J$C$F$$$k$3$H$H$O2?$N4X78$b$"$j$^$;$s!#<B:]!"%V!<%kBe?t(J
$@CM$N=89g$N@$3&(JV^(B)($@&8$,(J$@$?$^$?$^40Hw%V!<%kBe?t(J B $@$K$J$C$F$$(J
$@$k>l9g$r9M$($F2<$5$$!#$b$A$m$s!"(JB $@$,M-8B$@$H$D$^$i$J$$$N$G$3(J
$@$3$G(J$@$OL58B$N>l9g$r9M$($^$9!#(J)$@$O!"8EE5O@M}$K4p$E$/=89gO@(J ZFC 
$@$N%b%G%k$K$J$C$F$$$^$9$,!"$3$N%b%G%k$r30$+$i(J$@8+$?$i!"(J
[a \in 2] $@!b(J 0 $@$H$J$k(J a $@$O$$$/$i$G$b$"$j$^$9!#$@$+$i$H$$$C$F!"(J
$@8EE5O@M}$G$O(J 2 $@$N85$,L58B$K$"(J$@$k!"$J$s$F8@$o$J$$$G$7$g$&!#(J
V^(B) $@$NCf$G$O(J ZFC $@$,@.N)$7$F$$$F!"$=$N(J ZFC $@$K$*$$$F$O!"(J2 $@$O(J
$@M-8B$J$s$G$9(J$@$+$i!#(J

$@%b%G%k$NCf$G8+$F2?8D$"$k$+$H$$$&$N$H!"%b%G%k$r30$+$i8+$?;~2?(J
$@8D$K8+$($k$+!"$H$$$&$N$,0lHL$K$O(J$@0[$J$k$N$O!"%b%G%k$NM}O@$K$*(J
$@$$$F$OA4$/Ev$?$jA0$N$3$H$G!"IT;W5D$G$b$J$s$G$b$J$$$3$H$G$9!#(J

$@$b$&0l$D$D(J$@$$$G$K8@$&$H!"(Ja \in 2 $@$,@5$7$$!"$H$$$&$N$O!"IaDL(J
[a \in 2] = 1 $@$N$3$H$G$"$C$F!"(J [a \in 2] $@!b(J 0 $@$N$3$H(J$@$G$O$"$j(J
$@$^$;$s$h!#(J($@$I$A$i$K$7$F$b!"30$+$i8+$k$H$=$&$$$&(J a $@$O$?$/$5$s(J
$@$"$k$,!#(J)

 |$@$G$b!"@P86$5$s$N@b(J$@L@$O$=$&$$$&OC$7$G$O$J$$$h$&$G$9$,!#(J

$@$b$A$m$s!"$=$&$$$&OC$G$O$J$$$G$9$M!#(J

 | |>not(A) or not(not(A)) $@$H(J A or not(A) $@$O0c$&$b$N$G$O$J$+$C$?$s$G$9$+!)(J
 | |
 | |  $@0c$&$H$$$&$N$,D>4Q<g5A$NN)>l$J$N$G$9$M!#(J$@$G!"$3$N5?LdId$O2?$r$*J9$-$K(J
 | |$@$J$j$?$$$N$G$7$g$&!#(J
 |
 |$@D>4Q<g5A$G$O(J not(not(A)) -> A $@$,F3$1$^$;$s(J$@!#$=$lL5$7$G!"(J
 |not(A) or not(not(A)) -> A or not(A) $@!JJX59>e(J[1]$@$H$7$^$9!K(J
 |$@$rF3$/$3$H$,$G$-$?$C$1!)(J
 |$@$H!"$$$&5?Ld$G$9!#(J

$@$G$-$^$;$s!#(J

 |[1] $@$,$$$($J$$$N$J$i$P!"(Jnot(A) or not(not(A)) $@$,0lHL$K=P$F$-$?(J$@$H$7$F$b(J
 |$@JL$K:$$i$J$$$+$i$G$9!#(J

$@$=$s$J$3$H$"$j$^$;$s!#:$$j$^$9!#$J$<$J$i!"(J
  $@!VG$0U$N(J A $@$K$D$$$F(J not(A) or not(not(A))$@!W(J
$@$bD>4Q<g5AO@M}$K$*$$$FG'$a$k$3$H$N$G$-$J$$(J principle $@$@$+$i(J
$@$G$9!#GSCfN'$h$j$b(J$@<e$$(J principle $@$G$9$1$I$M!#GSCfN'$+$iF3$+(J
$@$l$k(J principle $@$G!"GSCfN'$h$j$O<e$$$1$l$I$b!"G'$a$k$H$^$:$$(J 
principle $@$OB>$K$b$?$/$5$s$"$j$^$9!#(J

 | |  $@$7$+$7!"$*$=$i$/(JBrower$@$H$$$&?M$O;d$H$OH?BP$K!"D>4Q<g5A!V(J$@$r!W8&5f$7$F(J
 | |$@$$$k$3$NK\$N$3$H$rCN$C$?$i!"7cE\$9$k$s$8$c$J$$$+$J$"!#$H!"$U$H;W$$$^$7(J
 | |$@$?!#$G$O$G(J$@$O!#(J
 |
 |$@$=$l$O$$$($^$9$M!#(J
 |$@!V$3$NK\!W$OK\Ev$ND>4Q<g5A$NJ}!J@P86$5$s!)!K$+$i8+$?$i!"2?$8$c%3%j%c!"(J$@$C(J
 |$@$F$$$&$b$s$@$H;W$$$^$9!#(J

$@8=:_!"K\Ev$K!V<+J,$N<g5A!W$H$7$FD>4Q<g5AE*?t3X$r$d$C$F$$$k?M(J
$@$O$[$H$s$I(J$@$$$^$;$s!#(J(3$@?M$0$i$$$H$$$&@b$"$j!#(J)$@BgH>$N?M$OLLGr(J
$@$$$+$i8&5fBP>]$H$7$F$d$C$F$$$k$N$G$9!#@P86$5$s$b!VK\(J$@Ev$ND>4Q(J
$@<g5A$N?M!W$G$O$J$$$H;W$$$^$9!#>/$J$/$H$b!V695A$N(J intuitionism
(Brouwer $@$H$=$NDo;RC#$NN.57$ND>(J$@4Q<g5AE*?t3X(J)$@!W$r?.Jt$7$F$$$?$j$O(J
$@$7$J$$$H;W$$$^$9!#;d$bC1$J$k8&5fBP>]$H$7$F8+$F$$$^$9!#$@$+$i!"(J
$@!V2?(J$@$8$c%3%j%c!W$H$O;W$$$^$;$s!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)