Newsgroups: fj.sci.math,fj.ai,fj.lang.misc,fj.comp.misc
Path: galaxy.trc.rwcp.or.jp!jaist-news!cs.titech!nirvana.cs.titech!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
From: nakashim@uranus.etl.go.jp (Hideyuki Nakashima)
Subject: Re: NG about logic
In-Reply-To: shingo@kakehi.info.waseda.ac.jp's message of 3 Mar 1994 03: 54:27 GMT
Message-ID: <NAKASHIM.94Mar3133510@uranus.etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: uranus
Organization: Electrotechnical Laboratory
References: <2l3n1k$fom@wsdnws.cfi.waseda.ac.jp>
Distribution: fj
Date: Thu, 3 Mar 1994 04:35:10 GMT
Lines: 14
Xref: galaxy.trc.rwcp.or.jp fj.sci.math:1479 fj.ai:3059 fj.lang.misc:941 fj.comp.misc:1728
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.misc&nb=1728&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

In article <2l3n1k$fom@wsdnws.cfi.waseda.ac.jp> shingo@kakehi.info.waseda.ac.jp (Shingo MATSUMOTO) writes:

   $B$3$N$h$&$J4QE@$G$N5-;v$rEj9F$9$k!"E,Ev$J(BNG$B$OB8:_(B
   $B$7$J$$$?$a!"$d$`$r$($:(Bfj.sci.math,fj.ai$BEy$KJ,;6$7$F$$$k$N$,<B>p$H;W(B
   $B$o$l$^$9!#(B
   $B$7$?$,$C$F!"O@M}$r@lLg$K5DO@$9$k(BNG$B$,$"$l$P!"$3$l$i$N5DO@$r9T$&>l$H$7$F(B
   $BE,Ev$H9M$($^$9$,!"G!2?$G$7$g$&$+!#(B

$B;?@.$G$9!%(B
fj.sci.logic$B$H$$$&$H$3$m$G$7$g$&$+!)(B
--
Hideyuki Nakashima                     $BEE;R5;=QAm9g8&5f=j(B
Cooperative Architecture               $B6(D4%"!<%-%F%/%A%c7W2h<<(B
Electrotechincal Lab.                                  $BCfEg=(G7(B
