🚀 go-pugleaf

$@<+J,$N4*0c$$$K$d$C$H5$IU$$$?(J$@3^!J(Jryu@sys.titech.ac.jp$@!K$G$9!#(J
$@!t$/$@$i$J$$%]%9%H$r>/$7%-%c%s%;%k$7$F$^$9!#(J

In article <526@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |$@D>4Q<g5A$G$O(J{0,1}$@$NItJ,=89g$,#4$D$G$"(J$@$k$H(J
 |$@H=Dj$G$-$J$$$N!#(J
 |$@JL$KB>$NItJ,=89g$,$J$$$H$$$&$3$H$G$O(J
 |$@0f>e;a$NM}2r$O@5$7$$$N!#(J
 |$@$=$N$3$H$,(J$@D>4Q<g5A$G$OH=Dj$G$-$J$$$@$1!#(J

$@$($($H!"0f>e$5$s$O!V#4$D$N$&$A$N$I$l$G$"$k$+$,7h$a$i$l$J$$$+$i!W$J$s$F(J
$@$$$C$F$?$h$&$J5$$,$7$?$s$G!"M>7W$J$3$H$r=q$$$F$7$^$$$^$7$?!#5-210c$$$@$C(J
$@$?$i$4$a$s$J$5$$!#(J
$@$K$7$F$b(J$@!VH=Dj$G$-$J$$!J#4$D$G$"$k$H$$$&!K$3$H!"$rM}2r$7$?!W$H$O!)(J

 |> z in y -> z in {0,1} $@$rK~$?$9(J y $@$,%?%"(J$@%"%"%/%5%s!V:_$k!W$+$i$8$c$"$J$+$C(J
 |> $@$?$C$1!)$H$$$&$N$,!"$=$b$=$b8@$$$?$+$C$?$3$H$G$9!#(J
 |> $@!t:G=i$C(J$@$+$i$3$&8@$($PNI$+$C$?$s$@!#(J
 |
 |$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m2r!W(J

$@$($($H!"(J{0} $@$N(J V^$@&8(J $@$X$NKd$a(J$@9~$_$r(J {0}' $@$H$7$^$9$M!#(J
A $@$r(J A(0) $@$,#1$K$J$i$J$$$@$1$G$=$NB>$O(J {0}' $@$HF1$8%b%N$@$H$7$^$9$M!#(J
$@$9$k$H!"(J
[x in A] = A(0) cup [x=0] $@$G(J [x in {0}'] = 1 cup [x=0] $@$G$9$h$M!#(J
$@$9$k$H!"(J
forall x [x in A -> x in {0}'] = 1 $@$K8+$($^$;$s$+!)(J
$@$G$b$C$F#1$G$b$$$$$s$G$7$g!#$=$&$$$&0UL#$G$b%V!<%kCM%b%G%k$H0l=o$J$s$G(J
$@$7$g(J$@!)(J
$@$b$C$H$b!V0lHL$K$O#1$K$J$i$J$$!W$N$G$7$g$&$,!#(J

 |$@$"!"%o%+%C%?$h!#(J
 |$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"(J$@8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
 |$@$$$$$?$$$o$1$G$7$g!#(J

$@$=$&8@$$$?$+$C$?$h$&$J5$$,$7$^$9!#(J
$@!t1s$$2a(J$@5n$N!"!"$C$FBLL\$+!#$O$O!#(J

$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#GO</$G$9$M$(!#$K$7$F$b0l8@!V&8$@$h!W$C$F8@$C(J
$@$F$/$l$l$P$C$F8@$C$F$b$d$C$Q$jBLL\$G$9$h$M$(!#(J
$@!t$=$l$H$b$^$5$+$3$l$^$G0c$C$F$k!)(J

 |$@$3$l$O!"$=$l$H$O(J$@0c$&$N!#(J
 |$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
 |$@%@%a$J$N!#(J

$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J

 |> $@!t$*<j?t$r$*$+$1$7$F$*$j$^$9$,!"$^$"!"$3$l$b!V9=@.<g5A?t3X$NIa5Z(J$@$N$?$a!W(J
 |> $@!t$@$H;W$C$F$$$?$@$1$l$P!"!"!"(J
 |
 |$@FbMF$+$i$9$k$H!"$H$F$b$=$&$O$*$b$($s$,!#(J(^^;)

$@$=$G$9(J$@$M!#(J

$@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LLL\$J<ALd!#(J
$@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J