🚀 go-pugleaf

$B$"$O$O!"A4$/$N8m2r$r$7$F$$$?$N$+!#(B

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

$B$G!"(BF $B$O=R8l$rF0$/%a%?JQ?t$G!"(Bfor all $B$H$$$&$N$O%a%?$J(B for all $B$J$s$G(B
$B$9$M!#:.Mp$5$;$k=q$-J}$@$J$"!#KM$O(B F $B$b(B for all $B$bA4It6qBNE*$J(B ($B7A<0E*(B
$BBN7O$NCf$N(B) $B5-9f$@$H;W$C$?$N$G$7$?!#(B

$BEZ20$5$s$N8@$o$l$k!VF10l@-$N4p=`!W$H$$$&$N$O!VEy9f$N8xM}!W$N$3$H$J$s$G(B
$B$7$g$&$+(B ($B$3$l$b0c$C$?$j$7$F(B :-)$B!#(Ba=a $B$OBeF~K!B'$+$iF3$+$l$J$$$N$G!"$3(B
$B$l$b8xM}$K$7$F$*$+$J$$$H!"F1CM4X78$G$J$/(B partial equivalence relation
(PER) $B$K$7$+2a$.$J$$$b$N$bEy9f$H$7$FG'$a$k$3$H$K$J$j$^$9$,!"(BPER $B$bF10l(B
$B@-$rI=$o$94X78$@$HG'$a$h$&$H$$$&OC$J$N$+$J!)(B $B$=$l$H$bBeF~K!B'$bEy9f$N(B
$B8xM}$N0l$D$@!"$H8@$C$F$*$i$l$k$@$1$J$N$+!#(B

$B>0!"BeF~K!B'$r(B <-> $B$GDj5A$9$k$H!"(B($BEy9f$N8uJd$K$J$k(B) $BFs0z?t=R8l$,Ey9f$N(B
$B8xM}$rK~$?$9$3$H$r<($9>ZL@$,$h$jLLE]$K$J$C$F$7$^$&$N$GITET9g$G$9!#$@$+(B
$B$i!"(B<-> $B$GDj5A$9$k$H$7$?$i!"8e$G(B -> $B$G==J,$H$$$&$3$H$rDjM}$H$7$F<($9$s(B
$B$G$7$g$&$,!"$=$l$J$i;O$a$+$i(B -> $B$GDj5A$7$F$*$$$?J}$,8@$&$3$H$,>/$J$/$F(B
$B:Q$`!#$3$l$b<qL#$NLdBj$+$J!#(B

$B$=$l$K$7$F$b!"!VIT2D<1JL<TF10l86M}!W$H$+!VF10l<TBeF~2DG=86M}!W$J$s$F!"(B
$BJ*@($$MQ8l$G$9$M!#$S$C$/$j$7$?!#2?$G!"$"$N0W$7$$1Q8l$r$3$s$J$KD9$C$?$i(B
$B$7$/$F8lO$$N0-$$F|K\8l$K$9$k$N$+IT;W5D!#>e$G!VBeF~K!B'!W$H8@$C$?$N$O(B
$B!VF10l<TBeF~2DG=86M}!W$N$3$H$G$9!#(B

$B$-$N$7$?(B
-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clark Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[On leave from Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]