🚀 go-pugleaf

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

$B>>K\!wE4F;Am8&(B

>    | | |$BNc$($P(B
>    | | |Not(All x (P(x))) = 1
>    | | |$B$G(B
>    | | |Exist x (Not (P(x))) = 0
>    | | |$B$H$J$k$h$&$J(BP(x)$B$O<B:]$K$"$k$N$G$7$g$&$+!#(B
>    | |
($BCfN,(B)
>   $B$s!<$H!"$9$Y$F$N(B x $B$K$D$$$F(B p(x) $B$J$s$@$1$I(B $B"O(Bx p(x) $B$G$O$J$$!"$H$$$&(B 
>   p $B$O$"(B$B$j$^$9$h$M!#$=$NJ}$,<+A3$K2r<a$G$-$?$s$G$9$,!#(B

What?!
$B2?8N!">e$N<gD%$,<+A3$J$N$+!#(B
($BIT<+A3$H$7$+$$$((B$B$s$,(B)
$B$=$&$$$&%b%G%k$O(B
$B4v$iD>4Q<g5A$G$bB8:_$7$J$$$H;W$&$,!#(B
$B;d$N<gD%$O(B
$B!VA4$F$N(B x $B$K$D$$$F(B p(x)$B$H$O$$(B$B$($J$$!W$K$b$+$+$o$i$:(B
$B!V(Bp(x)$B$G$J$$(B x $B$OB8:_$7$J$$!WD>4Q<g5A$N%b%G%k$,$"$k$H$$$&$3$H!#(B
$B$=$3$+$i!VA4$F(B$B$N(B x $B$K$D$$$F(B p(x) $B!W$H$$$&$N$O(B
$BGSCfN'$rMQ$$$F$7$^$C$F$$$k$8$c$J$$$s$G$9$+!#(B
$B%b%G%k$r$h$/$_$l$P!"(B|p(x)|$B$O$"$k0lE@$r=|$$$F(B[0,1]$B$G$O$"$k$,(B
$B7h$7$F(B[0,1]$B$G$O$J$$$N$G!"!VA4$F$N(B x $B$K$D$$$F(B p(x)$B!W$G$J$$$N$O(B
$BL@$i(B$B$+!#(B

$B!t%b%G%k$r07$&:]$K$O!":Y?4$NCm0U$r!#(B

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

$B:#$4$m!"$=(B$B$s$J$3$H$$$&$J$s$F!"?.$8$i$l$J$$$h!#(B(^^;)

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

$B$*$C$H!"$3$l$O!"J9$-<N$F$J(B$B$i$J$$$3$H$r$$$&$M!#(B
$BB?J,!"D>4Q<g5A$,!VD>4Q!W(B($B$$$dD>46(B^^;)$B$K$"$o$J$$$H$3$m$,(B
$B5$$K$$$i$J$$$N$G$7$g$&$,(B$B!#(B

$B$=$&$$$&?M$K$O!"2?$b?=$7$"$2$i$l$^$;$s!#(B
$B$$$C$?$$!"$I$&$$$&$3$H$r4|BT$7$F$$$k$N$G$7$g$&$+!#(B

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

$B$=$&GyA3$H$$$o$l$F$b$M$(!#(B
($B$b$7!V%U%!%8!<!W$K$D$$$F8@$o$l$F$$$k$N$G$7$?$i!"JL$KD>4Q<g(B$B5A$G$J$/$F$b(B
$B7A<0<g5A$G$b!V%U%!%8!<!W$JO@M}$O$"$j$^$9!#MW$OCf4VCM$r??56CM$K$b$D$h$&(B
$B$J$b$N$J$i$P!"$=$N(B$B??56CM$NB+$K1~$8$?%U%!%8!<O@M}$,$"$k$o$1$G$7$F!"$3$l$O(B
$B;d$N0U8+$G$O$J$/$F!"C]Fb30;K;a(B($B$7$+$7$$$m$$$m$J(B$B$H$3$m$K$G$F$/$k$J$"(B^^;)
$B$,!V?t%;%_!W$G$$$C$F$*$j$^$9!#(B)

$B!t$H$3$m$G!"%+%s%H!<%k$N$b$H$b$H$NDj5A$G$O!"(B$BL7=b$,@8$8$k$H$+$$$&$3$H$r(B
$B!t%i%C%;%kEy$,$$$$$@$7$F!"$=$l$G!V=89g$G$"$k$b$N!W$r8xM}$K$h$C$F8BDj$7(B
$B!t$?(B$B$s$8$c$J$$$G$7$g$&$+!#=89g$rIn$k$J$+$l!#(B

$B;d$H$7$F$O!"8=:_$N(B($B=89gO@0J30$N(B)$B?t3X$G$O!"$"$^$j6/NO$JBN7O$O(B$BI,MW$G$J$$(B
$B5$$,$7$^$9!#:G6aN.9T$N!V5U?t3X!W$K$h$l$P!"Bg35$N?t3X$K$*$1$kDjM}$O#23,(B
$B$N;;=Q$NBN7O$G==J,$G(B$B!"<B?t$NG;EY$h$jBg$-$J=89g$J$s$F$^$:IaDL$OMQ$$$J$$!#(B
$BA*Br8xM}$K$7$?$C$F!"2D;;$N$b$N$G!"BgDq$O4V$K9g$$(B$B$^$9!#(B
$B0lJ}!"L5L7=b@-$K$D$$$F$O%2%s%D%'%s$N<+A3?tO@$K$D$$$F$N>ZL@0JMh!"L\I8$H(B
$B$7$F$O2r@O(B($B<B?tO@(B)$B$NL5L7(B$B=b@-$N>ZL@$H$$$&$N$,$"$j!"$3$l$K$D$$$F$O!VC]Fb(B
$B$N4pK\M=A[!W$G!"9b3,(B($B#23,(B)$BO@M}$K$h$k%+%C%H=|5n$r9=@.E*(B$B$K>ZL@$G$-$l$P!"(B
$B2r@O$NL5L7=b@-$,8@$($k$H$$$&$3$H$G$9!#!VC]Fb$N4pK\M=A[!W$O%b%G%kO@E*$K(B
$B$$$($k$N$G$9$,(B$B!"$=$l$OHs9=@.E*$J$N$G!"$$$^$@2r@O$NL5L7=b@-$O>ZL@$5$l$F(B
$B$$$^$;$s!#<B?tO@$K$D$$$F$9$i!"$=$&$$$&>u67$G(B$B$9$+$i!"$`$7$m(BIZF$B$h$j<e$/(B
$B$F$b!"$b$C$H9=@.E*$JM}O@$G!"2r@O$J$I$,E83+$G$-$kJ}$,LLGr$$(B($B$9$/$J$/$H(B
$B$b!"%"(B$B%k%4%j%9%`Ey$K$D$$$F$OF@$k=j$,Bg$-$$(B)$B$H;W$$$^$9!#(B

$B!t$@$+$i$H$$$C$F=89gO@$O$1$7$+$i$s$H$$$C$F$$$k$o$1(B$B$G$O$J$$!#(B
$B!t$"$/$^$G!"8D?M$N;X8~(B($BSO9%!)(B)$B$NLdBj$G$"$k!#(B

$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B
$B!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(B (Shingo Matumoto)$B!!!!!!!!!!!!!!!!(B$B!!!!!!!!!!!!(B
$B!!!!!!!!!!E4!!!!!!E4!!!!(Bshingo@ipc02.rtri.or.jp$B!!!!!!!!!!!!!!(B $B!!!!!!!!!!!!!!!!(B
$B!!!!!!!!!!(B$BE4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(B
$B!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g(B$B5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(B
$B!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!(B$B!!!!!!!!!!!!!!!!!!!!!!!!(B
$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B$B!](B