🚀 go-pugleaf

$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Nov30192259@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |
 | | |$@$5$F!"<ALd$J(J$@$N$G$9$,(J
 | | |$@&8$H$7$F0LAj6u4V$N3+=89g$NB+$r$H$k$H$7$^$9!#(J
 | | |$@3+=89g$OM-8B2s$N6&DL=89g$HG$0U2s$NOB(J$@=89g$NA`:n$G3+=89g$N>r7o$rJ]$A$^$9$,(J
 | | |$@$3$l$r;H$C$FLLGr$$Nc$r9M$($F$_$^$7$?!#(J
 | | |$@Nc$($P(J
 | | |Not(All x (P(x))) = 1
 | | |$@$G(J
 | | |Exist x (Not (P(x))) = 0
 | | |$@$H$J$k$h$&$J(JP(x)$@$O<B:]$K$"$k$N$G$7(J$@$g$&$+!#(J
 | |
 | |$@$3$l$OA4A3OC$7$,D7$s$8$c$C$F(J $@&X(J-$@L5L7=b$NOC$7$G$O$J$$$G$7$g$&$+!#(J
 |
 |\Omega $@L5L7=b(J$@$NOC$H$b$A$g$C$H0c$$$^$9$M!#(J

$@!t(J\omega $@$G$7$g!)(J
$@$s!<$H!"$9$Y$F$N(J x $@$K$D$$$F(J p(x) $@$J$s$@$1$I(J $@"O(Jx p(x) $@$G$O$J$$!"$H$$$&(J 
p $@$O$"$j$^$9$h$M!#$=$NJ}$,<+A3$K2r<a$G$-$?$s$G$9$,!#(J

 |$@$=$&$$$&%b%G%k$O<B:]$K:n$l$^(J$@$9!#(J\Omega $@$r(J [0,1] $@$NDL>o$N0LAj$K$h$k3+=8(J
 |$@9g7O$H$7$F!"(JV^(\Omega) $@$r9M$($^$9!#(JV^(\Omega) $@$K$*$1$k(J($@%G(J$@%G%-%s%H%+%C(J
 |$@%H$K$h$k(J)$@<B?t$O!"(JV $@$K$*$1$k(J [0,1] $@$+$i(J R $@$X$NO"B34X?t$KBP1~$7$^$9!#$=(J
 |$@$3$G!"(J[0,1] $@>e(J$@$N(J identity function id$@$KBP1~$9$k(J V^(\Omega) $@$N<B?t(J id~ 
 |$@$r9M$(!"(JP(x) $@$O(J x < id~ or x > id~ $@$H$9$l$P(J$@$h$$$N$G$9!#(J

$@$7$^$C$?$"!<!"$=$&$+!#(J
$@D>4Q<g5A$N=g=x?t$G$O(J 
a \notin b $@$+$D(J b \notin a $@"M(J a=b
$@$,@.$jN)(J$@$?$J$$$s$@$"$"$"$"!#%9%2%(4JC1$@$C$?$s$C$@!#(J

$@$G$b$3$3$^$G8+$F$/$k$H!VD>4Q<g5AO@M}BN7O!W$H$$$&$b$N$O!V(J$@=89gO@$rE83+$9(J
$@$k$K$?$j$kBN7O!W$H$OE~Dl;W$($J$/$J$C$F$-$?$s$G$9$,!#(J

$@$5$b$J$/$P$d$O$j!V=89g$G$J$$$b$N(J$@!W$b<h$j07$o$J$$$H!"!"!"(J
$@!t$3$3$G$$$&=89g$O%+%s%H!<%k$NDj5A$H$G$b;W$C$F2<$5$$!#(J