🚀 go-pugleaf

$B>>K\!w(BJR$BAm8&(B

{0,1}$B$N$Y$-=89g$N7o$G$9$,(B
$B>.NS@h@8$N!V9=@.E*%W%m%0%i%_%s%0$N4pAC!W$G!"(B
$B4X?t6u4V(BA->Bool$B$H(BA$B$N$Y$-%/%i%9$N0c$$(B
$B$H$$$&9`L\$,$"$j$^$7$F!"$3$l$rFI$a$P(B
$B0lL\NFA3$G$7$?!#(B
($BCp!'>e$N(BBool$B$O(Btrue,false$B$h$j$J$k%/%i%9(B)

f:A->Bool$B$N$H$-(B
f_inverse({true})$B$O(B
A$B$NItJ,%/%i%9$G$"$k$,!"(B
({0,1}$B$N$h(B$B$&$K!"MWAG$rL@<($9$kJ}K!$O!"(B
Bool$B$X$N4X?t$K$h$kDj5A$H$$$($k!#(B)
$B5U$O$$$($J$$$H$$$&$3$H$G$9!#(B

b$B$,(Ba$B$NIt(B$BJ,%/%i%9$H$7$F(B
$B$"$k(Bf:A->Bool$B$r$H$C$F(B
f_inverse({true})$B$H(Bb$B$,F1$8301d$r$b$D$H$O$+$.$i$J$$(B
$B$H$$$&$3$H$G!"(B$B$?$H$($P!"8EE5=89gO@$G$O(B
f(x)= true (x in b)
    = false (Not(x in b))
$B$G>l9gJ,$1$9$k$3$H$G!"(Bb$B$KBP1~$9(B$B$k(Bf$B$,$D$/$l$^$9$,(B
$BD>4Q<g5A$G$OGSCfN'$,;H$($J$$$N$G(B
$B$$$D$b(Bf$B$,B8:_$9$k$H$O8B$i$J$$$?$a$H$$$&$3$H$G$9!#(B

$B%/%i%9$r=89g$HFI$_BX$($l$P!"F1$8$3$H$,$$$($k$G$7$g$&!#(B

$B!t6571(B
$B!tI42s$NEj9F$h$j0l2s$NFI=q(B(^^;)

$B$5$F(B$B!"<ALd$J$N$G$9$,(B
$B&8$H$7$F0LAj6u4V$N3+=89g$NB+$r$H$k$H$7$^$9!#(B
$B3+=89g$OM-8B2s$N6&DL=89g$HG$0U2s$NOB=89g(B$B$NA`:n$G3+=89g$N>r7o$rJ]$A$^$9$,(B
$B$3$l$r;H$C$FLLGr$$Nc$r9M$($F$_$^$7$?!#(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

$B$I$&$7$F>e$N$h$&$J$3$H$r;W$$IU(B$B$$$?$+$H$$$&$H(B
$B>e$N<0$r&8$,(B[0,1]$B$H$7$F!"%b%G%k>e$G9M$($F(B
x$B$,M-M}?t>e$rF0$-(B
|P(x)|$B$,M-M}?t$r=|$$$?3+=8(B$B9g$@$H$9$k$H!"(B
|P(x)|$B$N6&DL=89g(B($BL5M}?t$N=89g(B)$B$N3+3K(B($B6u=89g(B)$B$N:9=89g$N3+3K$O(B[0,1]$BA4BN(B
|P(x)|$B$N:9=89g(B($B0l(B$BE@(B)$B$N3+3K(B($B6u=89g(B)$B$NOB=89g$O6u=89g(B
$B$H$J$j$^$9$N$G!"<B:]$K(BP(x)$B$rDj5A$G$-$l$P!"LLGr$$$H$*$b$C$?$o$1$G$9!#(B

$B$b$A$m$s(BP(x)$B$O%b%G%k$K0MB8$7$J$$$b$N$H$7$^$9!#(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!!!!!!!!!!E4!!E4E4(B$B!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(B
$B!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f(B$B=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