\begin{center}
\vspace*{1cm}
\LARGE \bf
$BF22<=$;J@h@8!&F22<8&5f<<!!H/I=O@J80lMw(B
\\
		$BCx=q(B
\vspace*{1cm}
\end{center}



\begin{thebiblist}{10}

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
$B2;@<<+F0G'<1(B.
$BBg@t=<O:(B($B4F=$(B) $B2;@<2J3X(B, $BElBg=PHG2q(B, pp.365-392, 1972.

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
$B%V!<%kBe?t(B.
$B>pJs=hM}3X2q(B($BJT(B) $B>pJs=hM}%O%s%I%V%C%/(B, $B%*!<%`<R(B, pp.1-17, 1972.

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
$B7ONs%Q%?!<%s$N<1JL(B.
$BHf4k@EM:(B($B4F=$(B) $B2;@<>pJs=hM}(B, $BElBg=PHG2q(B, pp.220-232, 1973.

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
$B>pJs=hM}(B31$BJGJ,(B.
$B%V%j%?%K%+9q:]BgI42J;vE5(BTBS$B%V%j%?%K%+(B, 1975.

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
$B?dO@$H?dO@7O(B.
$BEDCf9,5H(B($BJT(B) $BCN<19)3X(B, $BD+AR=qE9(B, pp.74-87, 1984.

\bibitem{}
$BF22<=$;J(B,$B@>EDK-L@(B($BJ,C4<9I.(B).
$B4X?tE*$J0UL#=hM}$K$h$k1QF|5!3#K]Lu%7%9%F%`(B.
$BEDCf9,5H(B($BJT(B) $BCN<19)3X(B, $BD+AR=qE9(B, pp.282-303, 1984.

\bibitem{}
T.Nishida and S.Doshita.
Machine Translation, Japanese Perspectives.
in Picken,C. (ed.). Translating and the Computer 7, Aslib, The Association for Information Management, pp.152-174, 1986.

\bibitem{}
$B@>EDK-L@(B($BJ,C4<9I.(B).
$BBh(B4$B>O(B $B0UL#$NI=8=$H=hM}(B.
$BEDCf(B,$BDT0f(B($BJT(B) $B<+A38@8lM}2r(B, $B%*!<%`<R(B, pp.101-157, 1988.

\bibitem{}
$BF22<=$;J(B,$B@>EDK-L@(B($BJ,C4<9I.(B).
$B?M9)CNG=5;K!$rMQ$$$?F0E*$J%7%9%F%`$N2r@OK!$K4X$9$k8&5f(B.
$BJ!B<98IW(B($BJT(B) $BB?85CN<1>pJs$NCNE*=hM}$HE}9g2=$K4X$9$k8&5f(B, $B%*!<%`<R(B, pp.229-234, 1988.

\bibitem{}
$B@>EDK-L@(B.
$B<+A38@8l=hM}F~Lg(B --- $B$3$H$P$,$o$+$k%3%s%T%e!<%?$r$a$6$7$F(B.
$B?7(BOHM$BJ88K(B, $B%*!<%`<R(B, 1989.

\bibitem{}
$B@>EDK-L@(B($BJ,C4<9I.(B).
$BDj@-?dO@$N%F%/%K%C%/(B.
$B9B8}(B,$B8E@n(B,$B0B@>(B($BJT(B) $BDj@-?dO@(B, $B6&N)=PHG(B, pp.77-128, 1989.

\bibitem{}
$B@>EDK-L@(B,$BF22<=$;J(B($BJ,C4<9I.(B).
$BEE;R2sO)$NDj@-2r@O(B.
$B9B8}(B,$B8E@n(B,$B0B@>(B($BJT(B) $BDj@-?dO@(B, $B6&N)=PHG(B, pp.175-206, 1989.

\bibitem{}
$BF22<=$;J(B($BJT=8(B).
12$BJT(B $B?M9)CNG=(B.
$B>pJs=hM}3X2q(B($BJT(B) $B>pJs=hM}%O%s%I%V%C%/(B, $B%*!<%`<R(B, pp.1043-1128, 1989.

\bibitem{}
$BDT0f=a0l(B,$B@>EDK-L@(B($BJ,C4<9I.(B).
12$BJT(B6$B>O(B $B<+A38@8lM}2r(B.
$B>pJs=hM}3X2q(B($BJT(B) $B>pJs=hM}%O%s%I%V%C%/(B, $B%*!<%`<R(B, pp.1083-1089, 1989.

\bibitem{}
$B@P66M&?M(B, $B@>EDK-L@(B($BJ,C4<9I.(B).
$BCN<13MF@MQ8l=8$HAm9gJ88%=8(B.
$BCN<13MF@$H3X=,%7%j!<%:Bh(B8$B4,(B, $B6&N)=PHG(B, 1989.

\bibitem{}
$B@P66M&?M(B, $B@>EDK-L@(B $BLu(B($BJ,C4<9I.(B).
$B5,B'@-$NC55f(B: $B;M$D$N2J3XE*H/8+%W%m%0%i%`(B.
$BCN<13MF@$H3X=,%7%j!<%:Bh(B6$B4,(B, $B6&N)=PHG(B, pp.1--54, 1989.

\bibitem{}
T.Nishida and S.Doshita.
Reasoning about Discontinuous Change.
in Weld,D. and de Kleer,J. (eds.). Readings in Qualitative Reasoning about Physical Systems, Morgan-Kaufmann, pp.278-283, 1989.

\bibitem{}
T.Nishida and S.Doshita.
Reasoning with Model Lattices.
in Tokoro,M., Anzai,Y. and Yonezawa,A. (eds.). Concepts and Characteristics of Knowledge-Based Systems, North-Holland, pp.325-348, 1989.

\bibitem{}
$B@>EDK-L@(B($BJ,C4<9I.(B).
I.$B4pACJT(B 3.4 $BDj@-?dO@(B.
$B?M9)CNG=%O%s%I%V%C%/(B, $B%*!<%`<R(B, pp. 57-58, 1990.

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
1$BJT(B4$B>O(B $B<+A32J3X$+$i>pJs2J3X$H$/$KCNG=2J3X$X$NE83+(B.
$B:d0fMxG7(B($BJT(B) $B>pJs2J3X$N4pAC8&5f(B, $B%*!<%`<R(B, pp.49-60, 1990.

\bibitem{}
$B@>EDK-L@(B($BJ,C4<9I.(B).
2$BJT(B3$B>O(B $B9b<!?dO@5!9=$N8&5f(B.
$B:d0fMxG7(B($BJT(B) $B>pJs2J3X$N4pAC8&5f(B, $B%*!<%`<R(B, pp.112-122, 1990.

\bibitem{}
$BF22<=$;J(B($BJ,C4<9I.(B).
5$BJT(B3$B>O(B $B%Q%?!<%s!&8@8l!&35G0$NE}9g$K4p$E$/9b<!%Q%?!<%sG'<1!&M}2r(B.
$B:d0fMxG7(B($BJT(B) $B>pJs2J3X$N4pAC8&5f(B, $B%*!<%`<R(B, pp.234-243, 1990.

\bibitem{}
M.Kanazawa, S.Doshita.
Planning and Implementation of Integrated Information System for Kyoto University.
Operational Research '90 Pergamon Press, pp.141-189, 1991.

\bibitem{}
$BF22<=$;J(B,$B@>EDK-L@(B,$B;3EDFF!J6&Lu!K(B.
$B6u4VG'CN$H8@8lM}2r(B.
$B%*!<%`<R(B, 1991.

\bibitem{}
$B@>EDK-L@(B,$B9SLZ2m90(B($BJ,C4<9I.(B).
6$BJT(B3$B>O(B $B6u4VE*CN<1$NI=8=$HMxMQ(B. 
$BG'CN2J3X2q%O%s%I%V%C%/(B, $B6&N)=PHG(B, pp.293-301, 1991.

\bibitem{}
S.Doshita, K.Furukawa, and T.Nishida (eds.).
Proceedings of the Third Workshop on Algorithmic Learning Theory.
Japanese Society for Artificial Intelligence, 1992.

\bibitem{}
$B@>EDK-L@(B.
$BDj@-?dO@$N=tAj(B.
$BD+AR=qE9(B, 1993.

\bibitem{}
$B@>EDK-L@(B($BJ,C4<9I.(B).
$BCN<1%3%_%e%K%F%#(B.
$BKLLn9(L@(B($BJT(B) $B%0%i%s%I%A%c%l%s%8(B --- $B?M9)CNG=$NBg$$$J$kD)@o(B ---, $B6&N)=PHG(B, pp.176-189, 1993.

\bibitem{$BF22<(B93}
$BF22<=$;J(B.
$BCN<1$H46@-(B.
$BF|K\3X:]2q5D(B($BJT(B) $B46@-$H>pJs=hM}(B, 6$B>O(B, $B6&N)=PHG(B, 1993.

\bibitem{}
$BF22<=$;J(B.
$B?M9)CNG=(B.
$B>pJs=hM}3X2q(B30$BG/$N$"$f$_(B, $BBh(B3$BJT!&(B9$B>O!$(Bpp 220-232, 1996.

\bibitem{araki97a}
M.Araki and S.Doshita.
Automatic evaluation environment for spoken dialogue systems.
In E.Mayer, M.Mast, and S.LuperFoy (eds.). Dialogue Processing in Spoken Language Systems, pages 183--194. Springer, 1997.

\bibitem{$BF22<(B:$B2;@<BPOC(B}
$BF22<=$;J(B,$B?7H~9/1J(B,$BGr0f9nI'(B,$BEDCfJf@Q(B,$B9B8}M}0lO:(B($BJT(B).
$B2;@<$K$h$k?M4V$H5!3#$NBPOC(B.
$B%*!<%`<R(B, 1998.

\bibitem{$BF22<(B:$B>pJs=hM}650i(B}
$BF22<=$;J(B($BJ,C4<9I.(B).
$BFHAOE*8&5f<T$N0i@.(B.
$B>pJs=hM}3X2q(B $B>pJs=hM}650i0Q0w2q(B($BJT(B) $BFs==0l@$5*(B $BK-$+$J>pJs2=<R2q$N<B8=$r4j$C$F(B --$B650i$N;kE@$+$i(B--, pp.215-233, 1999.

\end{thebiblist}
