Re: equality

Article View: fj.ai

Article #855

#855

From: Etsuro Minami
Date: Wed, 03 Feb 1993 20:14

19 lines
1697 bytes

In article <1993Feb3.175858.21619@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:

>$@$"$H!"BeF~$HJQ?t$NCV$-49$($O0c$$$^$9$h!#(J

$@$3$l$OJQ?t$NCV$-49$($K4X$9$kK!B'$,BeF~$NDj5A0J30$K$"$k!"$H$$$&$3$H$G$7$g$&$+!#(J
$@$=$l$H$bBeF~$NDj5A$rJQ?t$NCV$-49$($H8F$V$N$O$1$7$+$i$s!"$H$$$&$3$H$G$7$g$&$+!#(J
$@;d$OJQ?t$NCV$-49$($K4X$9$kK!B'$J$s$>$J$$$H;W$C$F$$$?$N$G!"$3$A$i$K$"$k(J
proof$@!!(Jchecker $@$G$NMQ8l$G@bL@$7$F$7$^$C$?$N$G$9$,!"$A$g$C$HJ6$i$o$7$+$C$?$+(J
$@$bCN$l$^$;$s!#$?$@A0<T$G$"$l$P!"0c$$$r65$($F$$$?$@$-$?$$$N$G$9$,!#(J

$@$H$3$m$G(J F $@$O(J Fa <-> Fx $@$G$"$k$h$&$J(J x $@$N?t$,>/$J$$$b$N(J($@=PMh$l$P(J1)$@$+$iA*$V(J
$@$H$$$&$N$,0l$D$N4p=`$+$J$H;W$$$^$9!#(J

$@$_$J$_(J

////
//// Etsuro Minami: Computer Science Department, Stanford University
//// MSCS: minami@cs.stanford.edu
////

Technical Details

Message-ID: <1993Feb3.201423.18351@CSD-NewsHost.Stanford.EDU>

Path:

arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!s.u-tokyo!kekux!rcnpvx!ccsparc01!taeko!hayate!synapse!oskgate0.mei!chorus.mei!adagio.panasonic.com! sgiblab!spool.mu.edu!agate!stanford.edu!CSD-NewsHost.Stanford.EDU!Xenon.Stanford.EDU!minami

References: <1993Feb2.104701.16656@etl.go.jp> <1993Feb3.043301.6557@CSD-NewsHost.Stanford.EDU> <1993Feb3.175858.21619@etl.go.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 155634,e9347125f0feaac
X-Google-Attributes: gid155634,public
X-Google-ArrivalTime: 1993-02-03 12:14:23 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!s.u-tokyo!kekux!rcnpvx!ccsparc01!taeko!hayate!synapse!oskgate0.mei!chorus.mei!adagio.panasonic.com! sgiblab!spool.mu.edu!agate!stanford.edu!CSD-NewsHost.Stanford.EDU!Xenon.Stanford.EDU!minami
Newsgroups: fj.ai
Subject: Re: equality
Message-ID: <1993Feb3.201423.18351@CSD-NewsHost.Stanford.EDU>
From: minami@Xenon.Stanford.EDU (Etsuro Minami)
Date: 3 Feb 93 20:14:23 GMT
Sender: news@CSD-NewsHost.Stanford.EDU
References: <1993Feb2.104701.16656@etl.go.jp> <1993Feb3.043301.6557@CSD-NewsHost.Stanford.EDU> <1993Feb3.175858.21619@etl.go.jp>
Distribution: fj
Organization: Computer Science Department, Stanford University
Lines: 19

Reply to Parent Message