🚀 go-pugleaf

$B$+$M$3!w$R$?$A$G$9!#(B
In article <NAKASHIM.93Jan30170757@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:
>   >        a = b -> (Fa -> Fb) for all F
>
>$B$N(B for all F $B$N$3$H$m$r(B for all $B4X?4$N$"$k(B F $B$HCV$-49$($l$P!$4X?4$N$"(B
>$B$k@-<A$K$D$$$F$N$_$NF10l@-$,=P$^$9$7!$$"$k%3%s%F%/%9%H$X$N<LA|(BM$B$r9M$($?(B
>$B$1$l$P(B for all M(F) $B$GNI$$$N$G$O$J$$$G$7$g$&$+!)(B

$B$^$:!"CN$j$?$$$N$O$"$k#2$D$NBP>]$,F10l$G$"$k!"$H$$$&?dO@$r(B
$B$*$3$J$&J}K!$G$9$h$M!#$3$N$H$-!"Nc$($P#17n#3#1F|$NCfEg$5$s(B
$B$H!"#27n#1F|$NCfEg$5$s$H$G$OB8:_$7$F$$$k;~4V$,0c$&$N$K$b$+(B
$B$+$o$i$:!"F1$8$H9M$($?$$$J$i$P!"Nc$($P;~4V$OHf3SBP>]$+$i@Z(B
$B$C$F$h$$!"$H$$$&>r7o$,$"$k$o$1$G$9$h$M!#$3$3$GHf3S$N>l9g$K(B
$B4X?4$,$"$k$N$O!"$I$3$+0[$J$C$F$$$k$b$N$rF10l$H8+Pv$9%1!<%9(B
$B$G$"$C$F!"4X?4$N$"$k#F$NCj=P$H4X?4$N$J$$#F$NGS=|$r9T$o$C$F(B
$B$$$kH=CG4p=`$N$[$&$,$`$7$mLdBj$K$J$C$F$$$k$o$1$G$O$"$j$^$;(B
$B$s$+!)(B

$B#A$HF10l$N$b$N$H$7$F!"#A$H$$$&MWAG$,>o$KA*$Y$k$o$1$G$9$+$i!"(B
$B>e$NBP>]$H$J$k#F$NA*Br$K4X$7$FEZ20@h@8$NDj5A$K$h$k3HD%$5$l(B
$B$?!VF10l!W$N=89g$r%Y!<%9$K$9$kI,MW$O46$8$i$l$J$$!"$H$$$&$N(B
$B$,!V$"$/$^$G$b$3$N5DO@$K4X$7$F$O!WL50UL#$H=q$$$?M}M3$G$9!#(B
$B$J$s$H$J$l$P!"$3$3$G5DO@$7$F$$$k!VF10l@-!W$H$O!"8B$i$l$?#F(B
$B$rMQ$$$?F10l@-!"$G$"$C$F%T%e%"$JF10l@-$G$O$J$$$G$9$+$i!#(B
--
Seiji Kaneko  kaneko@sdl.hitachi.co.jp,kaneko@halsp.hitachi.com
-------- --------- -------- $B%K%e!<%9%j%O%S%jCf(B (^_^)