🚀 go-pugleaf

In article <1kcqft$nan@agate.berkeley.edu> kaneko@ICSI.Berkeley.EDU (Seiji Kaneko) writes:

   >>$@7k6IF10l@-$r%T%e%"$K(J$@Dj5A$7$J$1$l$P$J$i$J$$$N$G$O!)(J

$@$H$$$&0UL#$r$b$&>/$79M$($F2<$5$$!%(J

   $@$$$^5DO@$NBP>]$K$J$C$F$$$k$N$O(J$@!"0[$J$C$F$$$k$b$N$r!J$b$A$m$s$"$k(J
   $@%3%s%F%/%9%H$N2<$K$*$$$F!KF10l$H8+Pv$9!"$H$7$?$H$-$NF10l@-$NDj5A(J
   $@$G$9$+$i$3$NDj5A$r3HD%$7$F$b!"B?J,0UL#$r$J$5$J$$$G$7$g$&!#(J

$@F10l@-$NDj5A$J$7$K!$$3$N3HD%$OL50UL#$G(J$@$7$g$&!%$@$C$F2?$K!H8+Jo$9!I!JC/(J
$@$@!$$3$s$J;z$rEPO?$7$?$N$O!)!dEEAm8&$N?M!9!K$8$c$J$/$F!H8+Pv$9!I$N$+(J$@$,(J
$@ITL@$G$7$g!)(J

$@$5$F!$3HD%$7$F$bB?J,0UL#$,$J$$$H$*$C$7$c$$$^$9$,!$0UL#$N$"$k$H$3$m$r<((J
$@$7$^$7$g$&!%(J

   >        a = b -> (Fa -> Fb) for all F

$@$N(J for all F $@$N$3$H$m$r(J for all $@4X?4$N$"$k(J F $@$HCV$-49$($l(J$@$P!$4X?4$N$"(J
$@$k@-<A$K$D$$$F$N$_$NF10l@-$,=P$^$9$7!$$"$k%3%s%F%/%9%H$X$N<LA|(JM$@$r9M$($?(J
$@$1$l$P(J for all M(F) $@$GNI$$$N$G$O$J$$$G$7$g$&$+!)(J



--
Hideyuki Nakashima
Cooperative Architecture
Electrotechincal Lab.