🚀 go-pugleaf

$B$+$M$3!w$R$?$A$G$9!#(B
In article <C1M82C.MI3@culle.l.chiba-u.ac.jp> tutiya@culle.l.chiba-u.ac.jp (Syun Tutiya) writes:
>In article <NAKASHIM.93Jan28163120@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:
>>$B7k6IF10l@-$r%T%e%"$KDj5A$7$J$1$l$P$J$i$J$$$N$G$O!)(B
>
>$B$"$?$j$^$($_$?$$$G$9$,!"$=$NDL$j$G$O!)F10l@-$NI,MW>r7o$O4JC1(B
>$B$G$9$h$M!#(B 

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

$B$$$^5DO@$NBP>]$K$J$C$F$$$k$N$O!"0[$J$C$F$$$k$b$N$r!J$b$A$m$s$"$k(B
$B%3%s%F%/%9%H$N2<$K$*$$$F!KF10l$H8+Pv$9!"$H$7$?$H$-$NF10l@-$NDj5A(B
$B$G$9$+$i$3$NDj5A$r3HD%$7$F$b!"B?J,0UL#$r$J$5$J$$$G$7$g$&!#>e$N0U(B
$BL#$G695A$K!VF10l@-!W$H$$$&8@MU$r$D$+$&$H!"F10l$J$b$N$O$J$$$H$$$&(B
$B7kO@$K5"Ce$7$=$&$G$9$7!"#F$NItJ,=89g$NA*Br$NBEEv@-!"$H$$$&OC$K$J(B
$B$C$F$$$/$G$7$g$&!#$=$s$JJ}8~$J$N$+$J$!!)(B

$B!!$3$N7o$O!"$=$b$=$bF10l!"$H$$$&Cj>]35G0$N87L)$JDj5A$h$jF10l$H$$(B
$B$&7AMF$rEv$FVH$a$?$H$-$NH=CG4p=`$N$$$$2C8:$5$H!"$=$N$"$j$&$Y$-I}!"(B
$B$,LdBj$K$J$C$F$$$k$N$@$H;W$$$^$9!#F10l!"$H8@$C$?$H$-$KK\Ev$KEZ20(B
$B@h@8$NDj5A$5$l$?F10l$+$i$I$N0L30$l$?$b$N$J$i5v$5$l$k$+!"$H$$$&$h(B
$B$&$J!#$^$?$=$N30$lJ}$N9=B$$H$+!#(B

$B;d$OF10l$J$b$N$O$"$C$F$b!"$3$3$G$N5DO@$G$N0UL#$G$NF10l@-$H$$$&$b(B
$B$N$O%W%i%/%F%#%+%k$K$OB8:_$7$J$$$H;W$&$1$I!"IaJWO@AhJ6$$$N5DO@$K(B
$B$J$j$=$&$G$9$N$GDj5A2DG=@-$K?<F~$j$O$7$?$/$O$J$$(B (;^_^)

--
Seiji Kaneko  kaneko@sdl.hitachi.co.jp,kaneko@halsp.hitachi.com
-------- --------- -------- $B%K%e!<%9%j%O%S%jCf(B (^_^)