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!yoshiki
From: yoshiki@etl.go.jp (KINOSHITA Yoshiki)
Subject: Re: NG about logic
Message-ID: <1994Mar3.073746.19096@etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: etlcom
Organization: Electrotechnical Lab.
References: <2l3n1k$fom@wsdnws.cfi.waseda.ac.jp>
Distribution: fj
Date: Thu, 3 Mar 1994 07:37:46 GMT
Lines: 34
Xref: galaxy.trc.rwcp.or.jp fj.sci.math:1481 fj.ai:3061 fj.lang.misc:942 fj.comp.misc:1729
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=942&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:

>$B0lJ}!":r:#$N(Bsoftware science$B$K$*$$$F!"O@M}3X$O(B programming language
>$B$N(Bsemantics$B$d!"(Bprogram$B$N(Bspecification$B5Z$S(Bverification$BEy$NM}O@E*4pAC(B
>$B$rM?$($F$$$^$9$,!"$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$=$N$h$&$J%0%k!<%W$r:n$k$3$H$K;?@.$G$9!#$,!"F05!$,$=$&$$$&$b$N$G$"$l$P!"(B
$B$$$C$=(B software science $B$N%0%k!<%W$K$7$F$O$I$&$G$7$g$&$+!#(B

$B$=$&$9$l$PCfEg$5$s$N$h$&$K(B logic $B$O(B science $B$+!)(B $B$HG:$^$J$/$F$$$$$7(B (:-)$B!"(B
categorical logic $B$_$?$$$J!"(Blogic $B$@$+Be?t$@$+$o$+$i$s$h$&$J$b$N(B
$B$G$O$"$k$,!"$d$C$Q$j!V(Bprogramming language $B$N(B semantics$B$d!"(Bprogram$B$N(B
specification$B5Z$S(Bverification $BEy$NM}O@E*4pAC$rM?$($F$$!W$k$b$N$K$D$$$F(B
$B$N5DO@$r$9$k>l=j$K$b$J$jF@$k$H;W$$$^$9!#(BRewriting system $B$@$C$FO@M}$G(B
$B$O$J$$$s$@$1$I!"F1$8$h$&$J>l=j$G5DO@$7$?$$$N$G$O$J$$$G$7$g$&$+!#(B

$B$D$$$G$K!"$3$&$$$&OC$r$9$kL\E*$G:n$i$l$?%a%$%j%s%0%j%9%H$,$"$k$N$G!">R(B
$B2p$7$^$9!#$b$C$H$b<B:]$K$O%;%_%J!<$N%"%J%&%s%9$H$+O"MmDxEY$K$7$+;H$o$l(B
$B$F$^$;$s$,!#(Bsonoteno-request@sfc.keio.ac.jp $B$KF~2q?=$79~$_$r$7$^$9!#7D(B
$BXfBg3X$N;09%GnG7$5$s$,4IM}$r$7$F$$$^$9!#(B

News group $B$O%a%$%j%s%0%j%9%H$KHf$Y$F!"DL$j$,$+$j$N?M$,$R$g$$$HF~$C$F(B
$B$/$k2DG=@-$,9b$$$N$G!"$[$\F1$8L\E*$r;}$D%a%$%j%s%0%j%9%H$,$"$k$1$l$I$b!"(B
news group $B$rJL$K:n$k$N$O$$$$$3$H$@$H;W$$$^$9!#(B

$BLZ2<(B $B2B<y(B
-- 
$B")(B305 $B0q>k8)$D$/$P;TG_1`(B1-1-4 $BEE;R5;=QAm9g8&5f=j(B
$B6(D4%"!<%-%F%/%A%c7W2h<<"A8@8l%7%9%F%`8&5f<<(B
$BEEOC(B: 0298-58-5859  FAX: 0298-58-5891  e-mail: yoshiki@etl.go.jp
