🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

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

 |$@#6%Z!<%8$N2<$+$i#1#09TL\$N!VB($A!W$N1&(J$@$N<0$O!"(J{0,1} $@$NItJ,=89g$,#4$D$J(J
 |$@$i$P!"CM#1$r(J V^$@&8(J $@$G$H$k$h$&$K;W$($k$N$G$9$,!"$$$+$,$G$7$g$&$+!)(J

$@CM(J1$@$K$O$J$j$^$;$s!#(J

$@$^$:!";d$O!"(J{0,1} $@$NItJ,=89g$,$A$g$&$I(J4$@$D$G$"$k!"$H$O8@$C$F$$$^$;$s!#(J
$@@53N$K8@$&(J$@$H!"(JPow{0,1} = {{},{0},{1},{0,1}} $@$O0lHL$K$O@.$jN)$A$^$;$s!#(J
($@@.$jN)$F$P!"3N$+$K3^$5$s$N8@$o$l$k$h$&$K(J$@CM$,(J1$@$K$J$k$G$7$g$&$,!#(J)
$@$?$@$7!"$3$3$K!"(JPow A $@$O!"(JA $@$N$Y$-=89g$rI=$7$^$9!#(J

$@>/$7@0M}$7$F$_$^$9!#(J{0,1} $@$K$O(J
  (1)$@>/$J$/$H$b(J {},{0},{1},{0,1} $@$N(J4$@$D$NItJ,=89g$,$"$k$3$H(J
$@$OL@$i$+$G!"$^$?!"(J
  (2)$@>e$N(J4$@$D$N$I(J$@$l$H$b0[$J$kItJ,=89g$O$J$$$3$H(J
$@$O!"A0$K;d$,=q$$$?DL$j$G$9!#(J

(1) $@$r=q$-D>$9$H!"(J
  (1') {{},{0},{1},{0,1}} subset Pow{0,1}
$@$G$9$M!#0lJ}!"(J(2) $@$r=q$-D>$9$H!"(J
  (2') all x(not x in {{},{0},{1},{0,1}} -> not x in Pow{0,1})
$@$K$J$j$^$9!#$3$N(J (2') $@$+$i$b$7$b(J
  (3) all x(x in Pow{0,1} -> x in {{},{0},{1},{0,1}})
$@$,F3$1$?$i!"(J((3) $@$O(J Pow{0,1} subset {{},{0},{1},{0,1}} $@$KB>$J$i$J$$$N$G!"(J)
(1') $@$H9g$o$;$F(J Pow{0,1} = {{},{0},{1},{0,1}} $@$,F3$1$^$9!#(J

$@$7$+$7!"0lHL$K(J(2')$@$+$i(J(3) $@$OF3$1$^$;$s!#$J$<$J$i!"D>4Q<g5AO@M}$G$O(J
P -> Q $@$H$=$NBP6v(J not Q -> not P $@$OF1CM$G$J$$$+$i$G$9!#(J
(P -> Q $@$+$i(J not Q -> not P $@$O=P$k$,!"5U$O8@(J$@$($J$$!#(J)

$@$b$7$b!"(JPow{0,1} $@$KBP$7$F(J ZFC $@$G$N$h$&$KG;EY$,Dj5A$G$-$?$H$7$F!"$=$NG;(J
$@EY$,M-8B$N?t$K$J$k$3(J$@$H$^$G$o$+$C$?$H$9$k$H!"$=$l$,(J 4 $@0J>e$G$"$k$3$H$H!"(J
5$@0J>e$G$O$J$$!"$H$$$&$3$H$+$i!"G;EY$O(J 4 $@$K7h$^$k$N(J$@$G$9$,!"$=$b$=$b(J ZFC 
$@$GDj5A$9$k$h$&$K$OG;EY$,Dj5A$G$-$J$$$N$G$9!#(J


--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X(J$@2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)