🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.ai
Article #754

Re: equality

#754
From: Satoshi Kobayashi
Date: Thu, 25 Feb 1993 09:04
32 lines
2706 bytes
$@CY$$%U%)%m!<$P$+$j$7$F$$$k(J$@>.NS(J@$@N6C+Bg3X$G$9!#(J

In article <1993Feb12.015156.29131@CSD-NewsHost.Stanford.EDU> minami@Xenon.Stanford.EDU (Etsuro Minami) writes:

 |$@$5$F!"K\Bj$KLa$j$^$9$,!"Nc$N(J F(a), F(b) $@$O<B$O0lJQ?t$@$H$$$&$H$3$m(J$@$,(J
 |$@1~MQ$9$k$K$"$?$C$F87$7$$@)Ls$G$"$k$h$&$K;W$($^$9!#BgDq$N>l9g$O>uBV(J

$@$=$&$G$O$J$$$H;W$$$^$9!#0lJQ(J$@?t$N=R8l$H$$$C$F$b!"$=$NJQ?t0J30$K<+M3JQ?t(J
$@$r;}$C$?$C$F$$$$$+$i$G$9!#(J
  $@Nc$($F8@$($P!"(Jx^2 + y $@$H$$$&(J2$@JQ?t$N<0$,$"$C$?;~$K!"$=$l$r(J x $@$@$1$K$D(J
$@$$$F$N4X?t$H9M$($k$3$H$b$G$-$k(J($@$3$N>l9g(J y $@$O<+M3JQ?t$K$J$k(J)$@$7(J$@!"(Jy $@$K$D(J
$@$$$F$N4X?t$@$H;W$&$3$H$b$G$-$k$o$1$G$9!#(Jx $@$N4X?t$@$H;W$C$F@QJ,$7$F$*$$(J
$@$F$+$i!"$=$N7k2L$r(J y $@$N4X?t$@$H;W$C$F$^$?@QJ,$9$k!"$J$s$F$3$H$b$d$j$^(J
$@$9$h$M!#$=$&$$$&$N$HF1$8$3$H$G!"0z?t$,0l8D$N=R8l$,!"(J$@2?$+JQ?t$K(J depend 
$@$7$F$b$h$$$o$1$G$9!#(J

 |$@!J;~4V$H$+<g4Q$H$+4^$a$F!K(Js $@$r4^$s$@(J F'(a, s) $@$G$9$+$i!J$D(J$@$^$j(J
 |F'(a, s) $@$H(J F'(a, s')$@$,?)$$0c$&2DG=@-$,$"$k!K!"(J
 |
 |there exists F such as (for all s F'(a,s) <-> F(a))
 |
 |$@$G$"$k$h$&$J(J F' $@$rA*$VI,MW$,$"$j$^$9!#:G=i$O(J Fa $@$r5a$a$kA`:n!JA`:n(J

$@>e$N@bL@$G$o$+$k$H(J$@$*$j!">!<j$J(J F' $@$G$h$$$N$G$9!#(JF $@$H$7$F$O!"(JF'(a,s) $@$r(J 
a $@$@$1$K$D$$$F$N=R8l$H9M$($?$b$N$r$H$l$P$h$$$N$G(J$@$9!#$=$N>l9g(J s $@$O(J F $@$N(J
$@<+M3JQ?t$K$J$k$o$1$G$9!#$=$&$7$F$G$-$?(J F $@$KBP$7$F(J F(a) <-> F(b) $@$,$o$+$C(J
$@$?$H$9(J$@$k$H!"(JF'(a,s) <-> F'(b,s) $@$,$o$+$C$?$3$H$K$J$j$^$9!#(J
--
$@%$%s%U%k%(%s%6$,(J        | $@N6C+Bg3XM}9)3XIt?tM}(J$@>pJs3X2J(J    $@>.NS(J  $@Ao(J
$@Iw<Y$K8z$/(J              | satoshi@whale.ryukoku.ac.jp
($@0UL#ITL@(J)              | 0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
                        | 0775-43-7524(FAX)
Technical Details
Message-ID: <SATOSHI.93Feb25180405@whale.math.ryukoku.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!sh.wide!wnoc-kyo!rinsgw!rins!satoshi
References: <1993Feb6.070532.8770@CSD-NewsHost.Stanford.EDU> <hUHRv.yoshiki@etl.go.jp> <1993Feb12.015156.29131@CSD-NewsHost.Stanford.EDU>

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-25 01:04:05 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!sh.wide!wnoc-kyo!rinsgw!rins!satoshi
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.ai
Subject: Re: equality
Message-ID: <SATOSHI.93Feb25180405@whale.math.ryukoku.ac.jp>
Date: 25 Feb 93 09:04:05 GMT
References: <1993Feb6.070532.8770@CSD-NewsHost.Stanford.EDU>
 <hUHRv.yoshiki@etl.go.jp>
 <1993Feb12.015156.29131@CSD-NewsHost.Stanford.EDU>
Sender: news@rins.ryukoku.ac.jp
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
Lines: 32
In-reply-to: minami@Xenon.Stanford.EDU's message of 12 Feb 93 01:51:56 GMT