home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: fj.ai
- Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Xenon.Stanford.EDU!minami
- From: minami@Xenon.Stanford.EDU (Etsuro Minami)
- Subject: Re: equality
- Message-ID: <1993Jan26.095641.4062@CSD-NewsHost.Stanford.EDU>
- Sender: news@CSD-NewsHost.Stanford.EDU
- Organization: Computer Science Department, Stanford University
- References: <93Jan20154232@okilab.oki.co.jp> <1993Jan22.201717.1484@CSD-NewsHost.Stanford.EDU> <93Jan25115830@okilab.oki.co.jp>
- Distribution: fj
- Date: Tue, 26 Jan 1993 09:56:41 GMT
- Lines: 32
-
- $@$_$J$_$G$9!#(J
-
- >$@$=$l$O$b$7$+$7$F%"%V%@%/%7%g%s$H$+$$$&$d$D$G$9$M!#(J
-
- $@$O$$!"$=$&$G$9!#!V>Z5r!W$,$"$k$+$i!"<B$O$3$&$$$&A0Ds$,@.$jN)$C$F$$$k$N$@$m$&(J
- $@$C$F$d$D$G$9!#3NN($d3N?.EY$rMQ$$$F(J implication $@$rAPJ}8~$K$7$F9M$($?$j$9$k$N$b(J
- $@$=$N0l$D$G$7$g$&$M!#(J
-
- > >$@$H$$$&$N$O(J equivalent $@$+$i(J identical $@$H$$$&$h$j4K$$>r7o$+$i$-$D$$>r7o(J
- > >$@$N$b$N$rF@$h$&$H$7$F$$$k$o$1$G$9!#$3$l$r$7$J$$$HF|K\8l$G%]%$%s%?Hf3S$O(J
- > >$@$G$-$J$$$+$i(J identical $@$+$I$&$+$rCN$k$N$O$`$:$+$7$$$G$9$M!#(J
- >
- >$@$H$$$&$+87L)$K$OIT2DG=$G$9$M!#(J
-
- $@$&!<$s!#$b$7BP>]$H$7$F$$$k%b%G%k$,(J identity $@$rJ]>Z$9$k$N$J$i$P!"$?$H$($P(J
- identity $@$rJ]>Z$9$k(J key $@$"$k$$$OD>@\E*$K(J Object id $@$r;}$C$F$$$k$N$J$i$P!"(J
- $@8@8l$rLd$o$:!"$=$l$rHf3S$9$l$P$$$$$N$G2DG=$+$J$H;W$$$^$7$?!#@h$NNc$@$H(J
- $@F1$8L>A0$N?M4V$O2a5n$K$b8=:_$K$bL$Mh$K$b$$$J$$$3$H$,J]>Z$5$l$l$P$G$9!#(J
- $@$=$l$,$J$1$l$P!"$*$C$7$c$k$H$*$j87L)$K$OIT2DG=$G(J abduction $@$K$h$j;W$$(J
- $@$3$`$7$+$J$$!#(J
-
- $@!V(J3$@!W$NNc$G$O!"35G0(J(class)$@$H$7$F$N(J 3 $@$O$=$N35G0$,(J identity $@$r;}$C$F$$$l$P(J
- identical $@$@$H8@$($^$9$,!"$"$k<o$N%b%G%k$N$h$&$K(J 3 $@$,<BBN$H$J$C$?$j$9$k(J
- $@$H<BBNF1;N$O(J equivalent $@$@$C$?$j$7$^$9!#$^$?35G0F1;N$N!VF1$8!W$NLdBj$O(J
- $@Nc$($PF1$8B0@-$r;}$C$?7?$O(J equivalent $@$H$7$F07$&$+!"$=$l$H$b(J identical
- $@$G$?$@$NJLL>$H$7$F07$&$+$J$I!"7W;;5!8@8l$N@_7W$N:]$K$b4i$r=P$7$?$j(J
- $@$7$F$$$^$9$,!"$3$l$b$d$O$j%b%G%k$K$h$C$F07$$$,0[$J$k$H;W$$$^$9!#(J
-
- ////
- //// Etsuro Minami: Computer Science Department, Stanford University
- //// MSCS: minami@cs.stanford.edu
- ////
-