Newsgroups: fj.sci.math,fj.ai,fj.lang.misc,fj.comp.misc,fj.news.group.comp
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 Theoritical Computer Science (Re: NG about Software Science)
Message-ID: <1994Mar10.100416.29574@etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: etlcom
Organization: Electrotechnical Lab.
References: <1994Mar9.142046.22414@etl.go.jp> <2lm4e5$hj6@wsdnws.cfi.waseda.ac.jp> <OKABE.94Mar10173837@mitten.kutsuda.kuis.kyoto-u.ac.jp>
Distribution: fj
Date: Thu, 10 Mar 1994 10:04:16 GMT
Lines: 102
Xref: galaxy.trc.rwcp.or.jp fj.sci.math:1499 fj.ai:3088 fj.lang.misc:952 fj.comp.misc:1739 fj.news.group.comp:8
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=952&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.

$BLZ2<$G$9!#2,It$5$s$K$O!"$\$/$N4pK\E*$J%9%?%s%9$r8m2r$5$l$F$$$k5$$,$9$k(B
$B$N$G!"A0$K=q$$$?$3$H$NJdB-$r7s$M$F(B follow $B$7$^$9!#(B

In article <OKABE.94Mar10173837@mitten.kutsuda.kuis.kyoto-u.ac.jp> okabe@kutsuda.kuis.kyoto-u.ac.jp writes:

>In article <2lm4e5$hj6@wsdnws.cfi.waseda.ac.jp>,
>    shingo@kakehi.info.waseda.ac.jp (Shingo MATSUMOTO) writes:
>
> >>$B7{>O(B:      $B7W;;2DG=@-!"7W;;$NJ#;($5!"%*!<%H%^%H%s!"7A<08@8l!"7A<0E*0UL#O@!"(B
> >>           $B%W%m%0%i%`8!>Z(Betc.$B$K4X$9$k5DO@!#(B
> >>Charter:   discussion of Theoretical Computer Science
>
>$B$H!"LZ2<$5$s$N$*$C$7$c$k(B
>
> >$B7{>O!'>pJs3X$K4X$9$k5DO@(B
> >charter:discussions about informatics
>
>$B$H$OA4A3JL$N%0%k!<%W$KBP$9$k$b$N$H46$8$i$l$^$9!#8e<T$OA0<T$KHf$Y$FBP>](B
>$B$,AjEv9-$$$N$G$O$J$$$G$7$g$&$+!#(B

$B$=$&$O;W$$$^$;$s!#(Binformatics $B$H$$$&8l$O!">/$J$/$H$bF|K\$G$O!"$^$@$"$^(B
$B$j9T$-EO$C$F$$$J$$$s$8$c$J$$$G$7$g$&$+!)(B $B$@$+$i!"3'$,$3$N8l$+$i0lDj$N(B
$B0u>]$r;}$D$o$1$G$O$J$$$H;W$$$^$9!#(B

$B$b$7(B *.informatics $B$H$$$&%0%k!<%W$,$G$-$?$i!"$=$N%0%k!<%W$NCf$G$N5DO@(B
$B$NFbMF$K$h$C$F!"$3$N8l$KBP$9$k0u>]$,7h$^$C$F$$$/$b$N$H;W$C$F$$$^$9!#$=(B
$B$N;~$K!"=j0b!V(Btheoretical computer science$B!WE*$J$b$N$,(B informatics $B$N(B
$B<BBN$G$"$k$H$$$&0u>]$,7A@.$G$-$?$i0lHV$$$$$H;W$C$?$o$1$G$9!#2?8N(B 
t.c.s. $B$h$j(B informatics $B$NJ}$,NI$$$H;W$&$+$O8e$K=q$$$F$"$j$^$9!#(B

$BC"$7!">pJs=hM}3X2q$K!V>pJs3X8&5f2q!W$H$$$&L>$N8&5f2q$,$"$C$F!"$=$3$G$N(B
$B!V>pJs3X!W$O!"=j0b(B theoretical computer science $B$H$OA4A30c$C$F!"(B
information retrieval $B$d?^=q4[3X$_$?$$$JJ}8~$N$3$H$K$J$C$F$$$k$h$&$G$9!#(B
$B$=$&$$$&0UL#$G$OF|K\8lLu$O>pJs2J3X!"7W;;5!2J3X$J$I$NJ}$,$$$$$+$bCN$l$s(B
$B$H$O;W$C$F$$$^$9$,!"$G$-$?$iC;$$J}$,$$$$$H;W$$$^$9!#>pJs3X$O#3J8;z$G0l(B
$BHVC;$$!#(B

> >`theory' $B$H$$$&8l$r$$$l$k$N$K$O;?@.$7$^$;$s!#$h$/$o$+$i$s!"$`$D$+$75$(B
> >$B$JOC$O2?$G$b(B theory$B!"M}O@$H8F$\$&!"$J$s$F798~$,$"$C$F!"%&%s%6%j$5$;$i(B
> >$B$l$k$3$H$b$"$k$+$i$G$9!#(B
>
>$B!V(Btheoretical computer science$B!W$H$$$&$N$O0l$D$N3XLdJ,Ln$H$7$F$9$G$KDj(B
>$BCe$7$F$$$k$b$N$H;W$$$^$9!#(B

$B3N$+$K!"!V(Btheoretical comp. sci.$B!W(B($BBG$D$N$,LLE]$K$J$C$F$-$?(B :-) $B$H$$$&(B
$B8@MU$G;X$5$l$kJ,Ln$,3NN)$7$?$b$N$K$J$C$F$$$k$H;W$$$^$9$7!"$=$&$G$J$$$H(B
$B8@$C$?$D$b$j$O$"$j$^$;$s!#(B

$B$7$+$7!"$I$&$7$F$o$6$o$6(B `theory' $B$H(B explicit $B$K8@$o$J$-$c$J$i$J$$$s$G(B
$B$7$g$&!)(B $B3XLd$H$7$F(B immature $B$@$H<+$iG'$a$F$$$k$h$&$J$b$N$G$9!#3XLd$N(B
$B3K$,(B theory $B$G$"$k$N$OEvA3!"8@$&$^$G$b$J$$$3$H$G$7$g$&!)(B 20$BG/0J>eA0$K(B
$B%h!<%m%C%Q$GH/4)$5$l$?;(;o$,(B Theoretical Computer Science $B$H>N$9$k$N$O(B
$B$^$"!"$7$h$&$,$J$+$C$?$N$+$bCN$l$^$;$s$,!":#$G$O2,It$5$s$b$*$C$7$c$k$h(B
$B$&$K!"3NN)$7$?J,Ln$J$s$@$+$i!"$3$&$$$&!"$3$J$l$J$$D9$C$?$i$7$$8@MU$O;_(B
$B$a$^$;$s$+!)(B $B$H$$$&$N$,!"$\$/$N5$;}$A$G$9!#%h!<%m%C%Q$h$j0lJb@h$r9T$-(B
$B$^$7$g$&$h(B ($BL>A0$@$1$G$b(B :-)$B!#(B

>$B$=$3$G$N8&5fJ}8~$KBP$7$F$$$m$$$mHcH=$,$"$k$N(B
>$B$b;v<B$G$9$,!"$=$l$r%K%e!<%9%0%k!<%W$NL?L>$K;}$A9~$`$N$O$I$&$+$H;W$$$^(B
>$B$9!#(B

$B$\$/$O$=$&$$$&J}8~$KBP$7$FHcH=$9$k$I$3$m$+!"<+J,<+?H!"$=$&$$$&J}8~$G;E(B
$B;v$r$7$F$$$k$D$b$j$G$9!#$=$&$$$&Lu$G!"2OLn$5$s$N!"!VM}O@%0%k!<%W!W$KBP(B
$B$7$F46>pE*H?46$r;}$C$F$$$k$+$N$h$&$K8+$($kN)>l$H$OA4$/0c$$$^$9!#(B

> >$B$=$l$K!"M}O@$H<BAu$NN>J}$,$"$C$F;O$a$F0l?MA0$H(B
> >$B$$$&OC$b$"$j$^$9$7!#(B
>
>$B$H$$$&$N$O@5O@$G$7$g$&$,!"$@$+$i$H$$$C$FM}O@$NOC$H<BAu$NOC$OF1$8%0%k!<(B
>$B%W$G07$&$Y$-!"$H$$$&$3$H$K$O$J$i$J$$$O$:$G$9!#(B

$B$\$/$b!"2?$G$b$+$G$bF1$8%0%k!<%W$G07$&$Y$-$@$H$O8@$C$F$$$^$;$s!#$`$7$m!"(B
$B8=>u$G$O!VM}O@!W7OE}$N%3%_%e%K%F%#$,Hs>o$K<e$$$N$G!"$=$l$r(B encourage 
$B$9$k$?$a$K!"M}O@$N%0%k!<%W$N5DO@$,1_3j$K9T$/$h$&$JG[N8$,I,MW$@$H;W$C$F(B
$B$$$^$9!#$?$V$s!"$3$NE@$G$O2,It$5$s$HF1$80U8+$@$H;W$$$^$9!#(B

$B$7$+$7!">>K\$5$s$,<($5$l$?J,Ln(B ($B$=$7$F$\$/$,6=L#$r;}$DJ,Ln(B) $B$,!"M}O@$@(B
$B$1$+$H$$$&$H$=$&$G$b$J$$$N$G$9!#Nc$($P!"%W%m%0%i%`8!>Z$H$$$&J,Ln$,$"$j(B
$B$^$9!#!V$I$N$h$&$J7A<0E*BN7O$r:n$k$+!W$H$$$&$3$H!"$^$?:n$C$?7A<0E*BN7O(B
$B$N@-<A$rD4$Y$k$3$H$O!"J6$l$b$J$/!VM}O@!W$G$9$,!"$=$N7A<0E*BN7O$K4p$E$$(B
$B$F<B:]$K%W%m%0%i%`$N@-<A$N>ZL@$r!V=q$-2<$m$9!W$H$$$&$3$H$K$J$k$H!"$3$l(B
$B$O!"%W%m%0%i%_%s%0$KNI$/;w$?:n6H$G$"$C$F!"M}O@$G$O(B*$B$"$j$^$;$s(B*$B!#$7$+$7!"(B
$B$3$&$$$&:n6H$K4X$9$k5DO@$O!"$=$l$rM}2r$9$k?M$,!"8=>u$G$OM}O@$N?M$N<~$j(B
$B$K8B$i$l$F$$$k$?$a$K!"0l=o$K$J$C$F$d$i$6$k$rF@$J$$$o$1$G$9!#(B

$B$=$&$$$&$3$H$,$"$k$N$G!VM}O@!W$@$1$K8B$C$?%0%k!<%W$b$D$^$i$J$$$J$H;W$&(B
$B$N$G$9!#(B

$B:G8e$K:Y$+$$$3$H$G$9$,!"=EMW$@$H;W$&$3$H!'(B

>fj.comp.theory($B2>>N(B)$B$K$D$$$F$G$9$,!"$=$b$=$b(B

$B$3$N$h$&$J=q$-J}$O!"(Bfj.comp.theory $B$H$$$&L>A0$GH>J,7h$^$C$?$+$N$h$&$J(B
$B0u>]$r(B implicit $B$KM?$($k$b$N$G!"$h$/$J$$$H;W$$$^$9!#$^$@2?$b7h$^$C$F$$(B
$B$J$$$s$G$9$h$M!)(B


$B$-$N$7$?(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
