🚀 go-pugleaf

In article <NAKASHIM.93Feb2102144@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:
>$B!VF10l<TBeF~2DG=86M}!W$O$=$l$@$1$G$J$s$H$J$/0UL#$,$o$+$k$,!$(B
>$B!VBeF~K!B'!W$OBeF~$K4X$9$kK!B'$N0l$D$H$7$+$o$+$i$J$$$N$G$O!%(B

$B$J$k$[$I!"$=$&$$$&%G%a%j%C%H$b$"$j$^$9$M!#(B(:-)$B!V$J$s$H$J$/0UL#$,$o$+!W$C(B
$B$?5$$,$7$F$$$k$,<B$O$*8_$$0c$&N;2r$r$7$F$$$F5DO@$,6u$7$/J65j$9$k$H$$$&(B
$B$N$O(B fj.ai $B$G$b$h$/8+$k$3$H$G$9$+$i!#(B

$BBeF~$K4X$9$k8xM}$O$3$l(B ($B8xM}%9%-!<%^$@$+$i!V$3$l$i!W$G$9$M(B) $B$@$1$G$9!#(B
$B$H$$$&$h$&$J$3$H$O!"Ey9f$r;}$D0l3,=R8lO@M}$N(B ABC $B$s$G$9$1$I!"(BAI $B$N?M(B
$B$N4V$G$O$3$&$$$&$3$H$O>o<1$K$O$J$C$F$$$J$$$h$&$G$9$M!#0U30$G$"$C$?!#(B

>$B$H$3$m$G!$1Q8l$G2?$F8@$&$N$G$9$+!)(B

Substitutivity of identicals $B$HEZ20$5$s$,=q$$$F$*$i$l$^$7$?!#<j85$NK\(B
$B$r8+$k$H!"C1$K(B substitutivity $B$H=q$$$F$$$k$N$b$"$k!#(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]