🚀 go-pugleaf

a$@$r2!$7$F$7$^$C$F%K%e!<%9$r8+$F$7$^$C$?!"$H!"(J$@;W$C$F$$$k3^(J
(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Dec3201827@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 | |$@$s!<$H!"$9$Y$F$N(J x $@$K$D$$$F(J p(x) $@$J(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
 |
 |$@$3$3(J$@$N=j$O$A$g$C$H4qL/$G$9$M!#$3$l$O!"$9$Y$F$N(J x $@$K$D$$$F(J [p(x)] = 1 
 |$@$@$,(J [all x.p(x)] $@!b(J 1$@$H$$$&0UL#$G(J$@$7$g$&$+!#$=$&$$$&0UL#$@$H$9$k$H!"$=(J
 |$@$&$$$&$3$H$O7h$7$F$"$jF@$J$$$G$9$,!#(J

$@$"$jF@$J$$$G$9$M!#$A$g$C(J$@$H4*0c$$$7$?$+$bCN$l$J$$!#(J

 | | |$@$r9M$(!"(JP(x) $@$O(J x < id~ or x > id~ $@$H$9$l$P$h$$$N$G$9!#(J
 | |
 | |$@$7(J$@$^$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
 |
 |$@$"$l(J? $@;d$N$"$2$?Nc$O=g=x?t$H$O4X78$J$$$N$G$9$,!#$R$g$C$H(J$@$7$F(J '<' $@$r=g(J
$@!cCfN,!d(J
 |
 |$@$G$b!"$b$A$m$s!"=g=x?t$rMQ$$$?Nc$b:n$l$k$H;W$$$^$9$,!#(J

$@$=$&$G$9!"C1$K(J P(x) $@$C$F:n$l$^$9$M!"$H$$$&0UL#$G$9!#(J

 | |$@$5$b$J$/$P$d$O$j!V=89g$G$J$$$b$N!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
 |
 |$@!V=89g$G$J$$$b$N!W$H$$$&$N$O!"2?$r;X$7$F(J$@$*$C$7$c$C$F$$$k$N$G$7$g$&(J?

$@2?$@$+2{$+$7$$$h$&$J5$$b$7$^$9$,!"(JEa=1 $@$H$J$i$J$$(J a $@$H$+$G$9!#(J