\begin{center}
\vspace*{1cm}
\LARGE \bf
$BF22<=$;J@h@8!&F22<8&5f<<!!H/I=O@J80lMw(B
\\
	$BBh#14,(B(I)$B!!(B
	$B3X2q;o(B $BO@J8(B
\vspace*{1cm}
\end{center}



\begin{thebiblist}{10}

\bibitem{}
T.Sakai and S.Doshita.
The Automatic Speech Recognition System for Conversational Sound.
IEEE Transactions on Electronic Computers,  EC-12, pp. 835-846, 1963.

\bibitem{}
$B:d0fMxG7(B,$BF22<=$;J(B.
$B2qOC2;@<<1JLAuCV(B.
$BEE5$DL?.3X2q%H%i%s%6%/%7%g%s!V>pJs$H@)8f$N8&5f!W(B, 1962$BG/EY(B2.3$B9gJ;9f(B,  pp. 2-10, 1963.

\bibitem{}
$B:d0fMxG7(B,$BF22<=$;J(B.
$B2qOC2;@<<1JLAuCV(B.
$BEE5$DL?.3X2q;o(B, $BBh(B46$B4,(B11$B9f(B,  pp. 1696-1704, 1963.

\bibitem{}
S.Doshita.
Analysis of Speech by Single Tuned Filter.
$BF|K\2;6A3X2q;o(B, $BBh(B22$B4,(B5$B9f(B,  pp. 291-292, 1965.

\bibitem{}
T.Sakai, S.Doshita, Y.Niimi and K.Tabata.
Fundamental Studies of Speech Analysis and Synthesis.
American Annals of the Deaf, Vo.113, No.2,  pp.156-167, 1968.

\bibitem{}
$B1]K\H%(B,$BF22<=$;J(B,$BIYED1Y<!(B.
$B%5%s%W%k5-9fNs$r<1JL$9$k:G4J%*!<%H%^%H%s$N9=@.(B.
$BEE;RDL?.3X2q;o(B, $BBh(B55$B4,(BD,  No. 3,  pp. 210-217, 1972.

\bibitem{}
$B;3:j?J(B,$B>eNSLoI'(B.
$B%W%C%7%e%@%&%s%*!<%H%^%H%s$N@)8fLdBj(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. 57-D, No. 9, pp. 542-549, 1974.

\bibitem{}
$B;3:j?J(B,$B>eNSLoI'(B.
$B%W%C%7%e%@%&%s%*!<%H%^%H%s$N%9%?%C%/>e$N7ONs=89g$N@-<A(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. 58-D, No. 5, pp. 249-255, 1975.

\bibitem{}
$B;3:j?J(B,$B30B<=SG7(B.
$BJ8L.<+M38@8l$N(B bottom-up $BE*:G>.8m$jD{@5%"%k%4%j%:%`$K$D$$$F(B.
$B>pJs=hM}(B, Vol.18, No.8, pp.781-788, 1977.

\bibitem{}
$B;3:j?J(B,$BB<LZ0l;j(B,$BhSLpE/;J(B,$BF22<=$;J(B.
$BF~NOF3=P$r3,AX2=$7$?F3=P(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. J61-D, No. 9, pp. 605-612, 1978.

\bibitem{}
$BF22<=$;J(B,$BJ?>>9'0l(B,$B3Q0f@5><(B.
$BD>@\%"%/%;%9J}<0$N%P%k%/%a%b%j$rMQ$$$?(B LISP $B%7%9%F%`$N:n@.(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. 61-D, No. 5, pp. 360-361, 1978.

\bibitem{}
$B;3:j?J(B,$BF22<=$;J(B.
Ackermann $B%/%i%9$KBP$9$kC10LF3=P!&@)8BIU$-@~7AF3=PH?$P$/$N;~4V7W;;NL(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. J62-D, No. 2, pp. 149-156, 1979.

\bibitem{}
$B;3:j?J(B,$BIp^9M:0lO:(B,$BF22<=$;J(B.
$BC10LF3=PH?$P$/B8:_H=Dj$N8@8lE*@-<A(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. 63-D, No. 12, pp. 1088-1095, 1980.

\bibitem{}
$B@>EDK-L@(B,$B@6Ln@5<y(B,$BF22<=$;J(B.
$B%b%s%F%.%e!<J8K!$K4p$E$/1QJ8OBLu%7%9%F%`$N;n:n(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol. 23, No. 2, pp. 107-115, 1982.

\bibitem{}
$B;3:j?J(B,$BNkLZGn(B,$BF22<=$;J(B.
Ackermann $B%/%i%9$NItJ,%/%i%9$KBP$9$k=<B-ITG=@-LdBj$H$=$N4XO"LdBj$N7W;;NL(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. J65-D, No.6, pp. 703-710, 1982.

\bibitem{}
$B;3:j?J(B,$B4_CNFs(B,$B@P66L-I'(B,$BF22<=$;J(B.
$B$$$/$D$+$N%/%i%9$K$*$1$k(B Horn $B@a=89g$N=<B-ITG=@-LdBj$N7W;;NL(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. J65-D, No. 6, pp. 711-718, 1982.

\bibitem{}
S.Yamasaki and S.Doshita.
The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic.
Trans. of IECE, No. 7, 1982.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B<+A38@8l2r@O$N$?$a$N%W%m%0%i%_%s%0%7%9%F%`!](BCOMPLAN$B$K$D$$$F(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol. 23, No. 4, pp. 396-405, 1982.

\bibitem{}
$B;3:j?J(B,$B4_CNFs(B,$BF22<=$;J(B.
$BITF0E@0UL#O@$K4p$E$/(B Horn $B@a=89g$N=<B-ITG=@-H=Dj(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. J65-D, No. 11, pp. 1334-1341, 1982.

\bibitem{}
$B4_CNFs(B,$B;3:j?J(B,$BF22<=$;J(B.
$B5"G<E*%W%m%0%i%`$+$i(B Horn $B@a=89g$X$NK]Lu%"%k%4%j%:%`(B.
$BEE;RDL?.3X2qO@J8;o(B(D), Vol. J65-D, No. 11, pp. 1342-1349, 1982.

\bibitem{}
$BKL_7LPNI(B,$BF22<=$;J(B.
$BGKNvIt%9%Z%/%H%k$K$h$kF|K\8lL5@<GKNv;R2;$N<1JL(B.
$BF|K\2;6A3X2q;o(B, Vol.40, No.5, pp.332-339, 1984.

\bibitem{}
$BMLpuL@(B,$BF22<=$;J(B,$B@>EDK-L@(B.
$BCf9q8l2r@O%7%9%F%`$K$*$1$k%R%e!<%j%9%F%#%C%/$JCN<1$NMxMQ(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.25, No.6, pp.1044-1054, 1984.

\bibitem{}
S.Yamasaki, M.Yoshida, S.Doshita and M.Hirata.
A New Combination of Input and Unit Deductions for Horn Sentences.
Information Processing Letters, Vol.18, pp.209-213, 1984.

\bibitem{}
$B@>EDK-L@(B,$B@nB<@5(B,$BF22<=$;J(B.
LSI$B$NF0:n5-=R$+$i$NCN<13MF@$K$D$$$F(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.26, No.6, 1057-1068, 1985.

\bibitem{}
$BMLpuL@(B,$BF22<=$;J(B.
$BCf9q8l$N0UL#J8K!$N9=@.$H$=$N=hM}7O$N:n@.(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.27, No.2, pp.155-164, 1986.

\bibitem{}
$B@P66M&?M(B,$BLp:jJ~IW(B,$B@>EDK-L@(B,$BF22<=$;J(B.
$B?M9)CNG=8~$-%*%V%8%'%/%H;X8~8@8l(BMonad.
$B?M9)CNG=3X2q;o(B, Vol.1, No.1, pp.72-80, 1986.

\bibitem{}
S.Yamasaki and S.Doshita.
Resolution Deduction to Detect Satisfiability for Another Class Including Non-Horn Sentences in Propositional Logic.
Information Processing Letters, Vol.23, pp.201-207, 1986.

\bibitem{}
$B@>EDK-L@(B,$B@nB<@5(B,$BF22<=$;J(B.
$BF0E*0x2L4X782r@OK!$K$h$kEE;R2sO)$NDj@-E*2r@O(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.28, No.2, pp. 177-188, 1987.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B.
$B4JC1$J%Q%k%92sO)$K$*$1$kITO"B3JQ2=$NDj@-E*2r@OK!(B.
$B?M9)CNG=3X2q;o(B, Vol.2, No.4, pp.93-102, 1987.

\bibitem{}
S.Yamasaki, M.Yoshida and S.Doshita,
A fixpoint semantics of Horn sentences based on substitution sets.
Theoretical Computer Science, Vol.51, No.3, pp.309-324, 1987.

\bibitem{}
$B;3EDFF(B,$B@>EDK-L@(B,$BF22<=$;J(B.
2$B<!85J?LL$K$*$1$k%]%F%s%7%c%k%b%G%k$rMQ$$$?0LCV4X78$N?dDj(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.29, No.9, pp.824-834, 1988.

\bibitem{}
$BKL_7LPNI(B,$B;yEg9(L@(B,$BF22<=$;J(B.
$BBPH=JL$K$h$kB?72%Q%?!<%s$NG'<1(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B, Vol.J72-A, No.1, pp.41-48, 1989.

\bibitem{}
$B;01:6VLi(B,$B;3:j?J(B,$BF22<=$;J(B.
$B9b3,@a7A<0O@M}$K$*$1$k%(%k%V%i%s%b%G%k$K$D$$$F(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B, Vol.J72-DI, No.2, pp.83-91, 1989.

\bibitem{}
$BF22<=$;J(B,$B2O86C#Li(B,$B?eC+M[0l(B,$B;yEg9(L@(B,$B@P@n2mO/(B,$BKL_7LPNI(B.
2$B72BPH=JLK!$K$h$kITFCDjOC<TF|K\8l2;@aCf$N;R2;$N<1JL(B.
$BF|K\2;6A3X2q;o(B, Vol.45, No.11, 1989.

\bibitem{}
$B5HED44(B,$B;3:j?J(B,$BF22<=$;J(B.
$B%f%K%U%!%$%"J,N%F3=P$NDj<02=(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,Vol. J72-DI, No.6, pp. 455-464, 1989.

\bibitem{}
$B;01:6VLi(B,$BF22<=$;J(B,$B;3:j?J(B.
$BF10l@-8xM}$rMQ$$$?9b3,@a7A<0$N>ZL@7O$K$D$$$F(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B, Vol.J72-DI, No.12, pp.845-855, 1989.

\bibitem{}
$B;3EDFF(B,$BLVC+>!=S(B,$B@1LnBY0l(B,$B@>EDK-L@(B,$BF22<=$;J(B.
$B<+A38@8l$K$*$1$k6u4VIA<L$N2r@O$H>p7J$N:F9=@.(B.
$B>pJs=hM}(B, Vol. 31, No. 5, pp. 660-672, 1990.

\bibitem{}
$BN-3XIR(B,$B@>EDK-L@(B,$BF22<=$;J(B.
$BE}9g%Q!<%5$K$h$kE}9gE*<+A38@8l2r@O(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.31, No.9, pp.1293-1301, 1990.  

\bibitem{}
$B2O86C#Li(B,$BF22<=$;J(B,$BKL_7LPNI(B.
$BH=JLJ,@O$H(BHMM$B$NE}9g$K$h$kITFCDjOC<T;R2;G'<1(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,  Vol.J73-DII, No.9, pp.1363--1372, 1990.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B. 
2$B<!856hJ,@~7AHyJ,J}Dx<0$N5sF0$NDj@-2r@O(B (1) $B9M$(J}$H(B2$B<!856hJ,@~7AHyJ,J}Dx<0$N5sF0$NFC@-$NJ,@O(B.
$B?M9)CNG=3X2q;o(B, Vol.6, No.4, pp.545--558, 1991. 

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B. 
2$B<!856hJ,@~7AHyJ,J}Dx<0$N5sF0$NDj@-2r@O(B (2) $B6I=j2r@O%"%k%4%j%:%`(B.
$B?M9)CNG=3X2q;o(B, Vol.6, No.4, pp.559--568, 1991. 

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B. 
2$B<!856hJ,@~7AHyJ,J}Dx<0$N5sF0$NDj@-2r@O(B (3) $BBg0h2r@O%"%k%4%j%:%`$HNcBj(B.
$B?M9)CNG=3X2q;o(B, Vol.6, No.4, pp.569--579, 1991. 

\bibitem{}
X.Liu, T.Nishida and S.Doshita. 
Integrated Natural Language Analysis with an Integrated Parsing Engine IPE.
Journal of Information Processing, Vol.15, No.2, pp.252--260, 1992.

\bibitem{}
$B2O86C#Li(B,$BF22<=$;J(B.
$BBPH=JL$K4p$E$/O"B37?(BHMM$B$K$h$k2;@<G'<1(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,  Vol.J75-DII, No.10, pp.1641--1648, 1992.

\bibitem{}
T.Kawahara and S.Doshita.
Comparison of discrete and continuous classifier-based HMM.
J. Acoust. Soc. Japan (E), Vol.13, No.6, pp.361--367, 1992.

\bibitem{}
T.Nishida.
Towards Integration of Heterogeneous Knowledge for Highly Autonomous Analysis of Dynamical Systems --- Preliminary Reports from the PSX Project.
Journal of Information Processing, Vol.15, No.3, pp.350--363, 1992. 

\bibitem{}
$B@>EDK-L@(B.
2$B<!85Aj6u4V$K$*$1$k>oHyJ,J}Dx<0$N5sF0$NJ8K!E*5-=R(B.
$B?M9)CNG=3X2q;o(B, Vol.8, No.4, pp.509-518, 1993.

\bibitem{}
T.Nishida, K.Mizutani and S.Doshita.
Automated Analysis of Qualitative Behaviors of Piecewise Linear Differential Equations.
New Generation Computing, Vol. 11, No.2, pp.159-177, 1993.

\bibitem{$B2O86(B:IEICE94}
$B2O86C#Li(B,$B>>K\??<#(B,$BF22<=$;J(B.
$BC18lBP@)Ls$r%R%e!<%j%9%F%#%C%/$H$9$k(B{A}*$BC5:w$K4p$E$/(B $B2qOC2;@<G'<1(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,  Vol.J77-DII, No.1, pp.1--8, 1994.

\bibitem{araki95a}
M.Araki and S.Doshita.
Cooperative spoken dialogue model using bayesian network and event hierarchy.
Trans. of IEICE, Vol.E78-D, No.6, pp.629--635, 1995.

\bibitem{$B2O86(B:IEICE95}
$B2O86C#Li(B,$B=!B3IRI'(B,$BF22<=$;J(B.
$B%R%e!<%j%9%F%#%C%/$J8@8l%b%G%k$rMQ$$$?2qOC2;@<Cf$NC18l%9%]%C%F%#%s%0(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,  Vol.J78-DII, No.7, pp.1013--1020, 1995.

\bibitem{}
T.Nishida and S.Doshita.
Qualitative analysis of behavior of systems of piecewise linear
differential equation with two state variables.
Artificial Intelligence, Vol.75, No.1, pp.3-29, 1995.

\bibitem{$BA0ED(B:IEICE96}
$BA0EDLPB'(B,$B2,K\??L@(B,$B2O86C#Li(B,$BH~G;F3I'(B,$BCSED9nIW(B,$BF22<=$;J(B.
$B4i2hA|FCD'!$Jb9T2hA|FCD'$*$h$S2;@<FCD'$NE}9g$K$h$k8D?M<1JL(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,  Vol.J79-DII, No.4, pp.600--607, 1996.

\bibitem{$B2O86(B:IEICE96}
$B2O86C#Li(B,$BKL2,651Q(B,$BF22<=$;J(B.
A*$BC5:w$K4p$E$$$?%U%l!<%:%9%]%C%F%#%s%0$K$h$k4h7r$J2;@<M}2r(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B,  Vol.J79-DII, No.7, pp.1187--1194, 1996.

\bibitem{$B2O86(B:IPSJ98}
$B2O86C#Li(B,$BEDCf9nL@(B,$BF22<=$;J(B.
$B2;@<8@8l$rMQ$$$?2>A[6u4V$H$NBPOC$K$h$k;nCe%7%9%F%`(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.39, No.5, pp. 1267--1274, 1998.

\bibitem{taro98}
T.Watanabe, M.Araki, and S.Doshita.
Evaluating dialogue strategies under communication errors using computer-to-computer simulation.
Trans. of IEICE, Vol.E81-D, No.9, pp.1025-1033, 1998.

\bibitem{KAW:IEEE98}
T.Kawahara, C.H.Lee, and B.H.Juang.
Flexible speech understanding based on combined key-phrase detection and verification.
IEEE Trans. Speech \& Audio Process., Vol.6, No.6, pp.558--568, 1998.

\bibitem{$B@/Bm(B:IEICE98}
$B@/Bm9@OB(B,$BFw:dK'E5(B,$B5WLZOBLi(B,$B2O86C#Li(B.
$B:GBg;v8e3NN(?dDj$K$h$k(BN-gram$B8@8l%b%G%k$N%?%9%/E,1~(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B, Vol.J81-DII, No.11, pp.2519--2525, 1998.

\bibitem{$BM{(B:IEICE99}
$BM{98?-(B, $B2O86C#Li(B, $BF22<=$;J(B.
$BC18l%H%l%j%9%$%s%G%C%/%9$rMQ$$$?CJ3,E*C5:w$K$h$k(B $BBg8lWCO"B32;@<G'<1(B.
$BEE;R>pJsDL?.3X2qO@J8;o(B, Vol.J82-DII, No.1, pp.1--9, 1999.

\bibitem{$B2O86(B:ASJ99}
$B2O86C#Li(B, $BM{98?-(B, $B>.NSE/B'(B, $BIpED0l:H(B, $BJw>>?.L@(B, $B0KF#9nOK(B, $B0KF#>4B'(B, $B;3K\44M:(B, $B;3EDFF(B, $B1'DEO$Ip?N(B, $B</Ln@69((B.
$BF|K\8l%G%#%/%F!<%7%g%s4pK\%=%U%H%&%'%"(B (97$BG/EYHG(B).
$BF|K\2;6A3X2q;o(B, Vol.55, No.3, pp.175--180, 1999.

\bibitem{araki99b}
$B9SLZ2m90(B,$B7'C+CR;R(B,$B0KF#IRI'(B,$B@P:j(B $B2m?M(B.
$BH/OCC10L%?%0I8=`2=0F$N:n@.(B.
$B?M9)CNG=3X2qO@J8;o(B, Vol.14, No.2, pp.251-260, 1999.

\bibitem{komatani99}
$B6pC+OBHO(B,$B9SLZ2m90(B,$BF22<=$;J(B.
$BBPOC%3!<%Q%9$K$*$1$kH/OCC10L%?%0$N0l?dDj<jK!(B.
$B?M9)CNG=3X2qO@J8;o(B, Vol.14, No.2, pp.273-281, 1999.

\bibitem{$BM{(B:IPSJ99}
$BM{98?-(B, $B2O86C#Li(B, $BF22<=$;J(B.
$BJ8K!%+%F%4%jBP@)Ls$rMQ$$$?(BA*$BC5:w$K4p$E$/(B $BBg8lWCO"B32;@<G'<1%Q!<%6(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.40, No.4, pp.1374-1382, 1999.

\bibitem{$B2O86(B:IPSJ99}
$B2O86C#Li(B, $B@PDM7rB@O:(B, $BF22<=$;J(B.
$BH/OC8!>Z$K4p$E$/2;@<A`:n%W%m%8%'%/%?$H$=$l$K$h$k9V1i$N<+F0%O%$%Q!<%F%-%9%H2=(B.
$B>pJs=hM}3X2qO@J8;o(B, Vol.40, No.4, pp.1491-1498, 1999.

\bibitem{$B2O86(B:ASJE99}
T.Kawahara, A.Lee, T.Kobayashi, K.Takeda, N.Minematsu, K.Itou, A.Ito, M.Yamamoto, A.Yamada, T.Utsuro, and K.Shikano.
Japanese dictation toolkit -- 1997 version --.
J. Acoust. Soc. Japan (E), Vol.20, No.3, pp.233-239, 1999.

\bibitem{araki99a}
$B9SLZ2m90(B,$BF22<=$;J(B.
$B2;@<BPOC%7%9%F%`$N$?$a$NBPOC$NG'CN%W%m%;%9%b%G%k(B.
$B<+A38@8l=hM}(B, Vol.6, No.4, pp.23-44, 1999.

\end{thebiblist}
