\chapter*{ $B<U<-(B }

$BK\8&5f$NMM!9$J%"%$%G%"$O!"(B
$B>eED8&5f<<8@8lHI$N$_$J$5$s$H$N5DO@$NCf$G@8$^$l$F$-$?$b$N$G$9!#(B

$B$=$NCf$G$b!"FC$K>eEDOB5*@h@8$H2CF#5*IW$5$s$O(B
$B8@8lHI$N0l0w$H$7$F5DO@$NAj<j$H$J$C$F$/$l$?$P$+$j$G$J$/!"(B
$BO@J8$N=q$-J}$K$D$$$FCzG+$K;XF3$7$F2<$5$$$^$7$?!#(B
$B?<$/$*Ni?=$7>e$2$^$9!#(B


\def\thebibliography#1
{\chapter*{ $B;29MJ88%(B } \list{[\arabic{enumi}]}
 {\settowidth\labelwidth{[#1]}\leftmargin\labelwidth
  \advance\leftmargin\labelsep \usecounter{enumi} }
 \def\newblock{\hskip .11em plus .33em minus .07em}  % \sloppy
 \sfcode`\.=1000\relax }

\begin{thebibliography}{99}
\addcontentsline{toc}{chapter}{$B;29MJ88%(B}

\newcommand{\home}{\%7E}
\newcommand{\URL}[1]{{\tt http://#1}}
\newcommand{\Bib}[1]{{\sl #1}}

\bibitem{KL1}
Ueda, K. and Chikayama, T.,
Design of the Kernel Language for the Parallel Inference Machine.
\Bib{The Computer Journal}, Vol.~33, No.~6 (1990), pp.~494--500.

\bibitem{transit}
Hiroshi Nakashima and Yu Inamura,
An Efficient Message Transfer Mechanism Bypassing Transit Processors.
In \Bib{Proc. Joint Symposium on Parallel Processing},
pp.~123--130, June 1992.

\bibitem{PIMOS}
$BBmOBCK(B $BJT(B, $BBh8^@$Be%3%s%T%e!<%?$NJBNs=hM}(B.
bit$BJL:}(B, $B6&N)=PHG(B, 1993.

\bibitem{KLIC}
Chikayama, T., Fujise, T. and Sekita, D.,
A Portable and Efficient Implementation of KL1.
In \Bib{Proc. 6th Int. Symp. on
Programming Language Implementation and Logic Programming (PLILP'94)},
LNCS 844, Springer-Verlag, Berlin, 1994, pp.~25--39.

\Comment
{\bibitem{text}
 KLIC$B9V=,2q%F%-%9%H(B ``KLIC$B%7%9%F%`JT(B'', ``KL1$B8@8lJT(B'',
 $B?7@$Be%3%s%T%e!<%?5;=Q3+H/5!9=!JJ?@.(B5$BG/!K(B,
 $BF|K\>pJs=hM}3+H/6(2q3+H/8&5f<<!JJ?@.(B7$BG/!K(B.}

\bibitem{inside}
$B4XEDBg8c(B, Inside KLIC Version 1.0.
KLIC Task Group / AITEC / JIPDEC, 1998.
\URL{www.klic.org/software/klic/inside/master.html}

\bibitem{patch}
\URL{www.klic.org/}
\\\URL{www.ueda.info.waseda.ac.jp/{\home}takagi/kl1/klic-3.003/fix.html}
\\\URL{www.ueda.info.waseda.ac.jp/{\home}takagi/kl1/klic-3.003/rewriting.html}

\bibitem{linearity}
Ueda, K., Linearity Analysis of Concurrent Logic Programs.  
In \Bib{Proc.\ Int.\ Workshop on Parallel and Distributed
 Computing for Symbolic and Irregular Applications}, 
Ito, T. and Yuasa, T. (eds.), World Scientific, 2000, pp.~253--270.

\bibitem{strict-linearity}
Ueda, K., STRICT LINEARITY

\bibitem{Kima}
$BLVBe0iBg(B, $B>eEDOB5*(B,
Kima: $BJB9TO@M}%W%m%0%i%`<+F0=$@57O(B.
$B%3%s%T%e!<%?%=%U%H%&%'%"JL:}(B $B%=%U%H%&%'%"H/E8(B,
Vol.~18, No.~0 (2001), pp.~122--137.

\bibitem{kato}
$B2CF#5*IW(B, $B>eEDOB5*(B,
$BJB9TO@M}%W%m%0%i%`$K$*$1$kC`<!<B9TItJ,$NCj=PJ}K!O@(B.
In \Bib{Proc. JSSST Workshop
 on Programming and Programming Languages (PPL2001)}, 2001.

\bibitem{satoshi}
$BAR;}Ao(B, KLIJava: KL1$B$+$i(BJava$B$X$N%3%s%Q%$%i$*$h$S<B9T4D6-(B.
$BAa0pEDBg3XM}9)3X8&5f2J>pJs3X=$;NO@J8(B, 1999.
\\\URL{www.ueda.info.waseda.ac.jp/{\home}satoshi/klijava/}

\bibitem{KL1/J}
$B8^==Mr9((B, $BJ,;6(BKL1$B8@8l=hM}7O$N@_7W$H<BAu(B.
$BAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B, 1999.

\bibitem{treecode}
$B8^==Mr9((B, $B%a%?%$%s%?%W%j%?$K4p$E$/J,;6JB9TO@M}7?8@8l=hM}7O(B.
$BAa0pEDBg3XBg3X1!M}9)3X8&5f2J=$;NO@J8(B, 2001.

\bibitem{DKLIC}
$B9bLZM42p(B, KL1$B$K$h$kJ,;6(BKL1$B8@8l=hM}7O$N<BAu(B.
$BAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B, 2000.
\URL{www.ueda.info.waseda.ac.jp/{\home}takagi/}

\bibitem{SPA2001}
$B9bLZM42p(B, $B>eEDOB5*(B,
dklic: KL1$B$K$h$kJ,;6(BKL1$B8@8l=hM}7O$N<BAu(B.
In \Bib{Proc. JSSST Workshop
 on Systems for Programming and Applications (SPA2001)}, 2001.
\URL{www.dcl.info.waseda.ac.jp/SPA2001/}

\bibitem{takayama}
$B9b;37<(B, $BJB9TO@M}7?8@8l(BKL1$B$K$h$kJ,;6(BKL1$B8@8l=hM}7O$N<BAu(B.
2000 $BG/EYAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B, 2001.

\bibitem{ryo}
$B>>B<NL(B, $BJB9TO@M}7?8@8l(BKL1$B$NJ,;63HD%$N$?$a$N1s3V%N!<%I4IM}$N<BAu(B.
2000 $BG/EYAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B, 2001.

\bibitem{kaneki}
$B6bLZM$2p(B, $BJB9TO@M}7?8@8l(BKL1$B$K$*$1$kNc30=hM}$N<BAu(B.
2001 $BG/EYAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B, 2002.

\bibitem{kokawa}
$BJ4@nM'9((B, DKLIC$B=hM}7O$K$*$1$kJ,;6;q8;$N0LCV4IM}(B.
2001 $BG/EYAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B, 2002.

\bibitem{Prolog}
P.~Deransart, A.~Ed-Dbali, L.~Cervoni,
Prolog: The Standard Reference Manual.
Springer-Verlag, 1996.

\bibitem{CProlog}
Ehud Shapiro, A subset of Concurrent Prolog and its interpreter.
ICOT Technical Report TR-003, ICOT, 1983.

\bibitem{Janus}
Vijay A. Saraswat, Ken Kahn, and Jacob Levy,
Janus: A Step towards Distributed Constraint Programming.
In \Bib{North American Conference on Logic Programming}, pp.~431--446, 1990.

\bibitem{DRL}
Diaz, M., Rubio, B. and Troya, J.~M.,
DRL: A Distributed Real-Time Logic Language.
In \Bib{Comput.\ Lang.}, Vol.~23, No.~2--4 (1997), pp.~87--120.

\bibitem{mobj}
Van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M. and Scheidhauer, R., 
Mobile Objects in Distributed Oz.
In \Bib{ACM Transactions on Programming Languages and Systems},
Vol.~19, No.~5, September 1997, pp.~804--851.

\bibitem{Oz}
Haridi, S., Van Roy, P., Brand, P. and Schulte, C.,
Programming Languages for Distributed Applications.
In \Bib{New Generation Computing}, Vol.~16, No.~3 (1998), pp.~223--261.

\bibitem{DLV}
Haridi,~S., Van~Roy,~P., Brand,~P., Mehl,~M., Scheidhauer,~R. and Smolka,~G.,
Efficient Logic Variables for Distributed Computing.
In \Bib{ACM Transactions on Programming Languages and Systems},
Vol.~21, No.~3, May 1999, pp.~569--626.

\bibitem{OS}
J. L. $B%T!<%?!<%=%s(B, A. $B%7%k%P!<%7%c%C%D(B $B6&Cx(B, $B1'DE5\9'0l(B, $BJ!ED98(B $B6&Lu(B,
$B%*%Z%l!<%F%#%s%0%7%9%F%`$N35G0(B. $BG]Iw4[(B, 1987.

\bibitem{Unix}
$B;38}OB5*(B $B4F=$(B, The UNIX Super Text. $B5;=QI>O@<R(B, 1992.

\bibitem{C}
$B%5%_%e%(%k(B P. $B%O!<%S%=%s(B, $B%,%$(B L. $B%9%F%#!<%k(B $B6&Cx(B, $B:XF#?.CK(B $B4FLu(B,
$B?7!&>\@b(B C $B8@8l(B. $B%=%U%H%P%s%/(B, 1994.

\bibitem{Turing}
R.C. $B%[%k%H(B $BB>(B, $BEr@uB@0l(B $B4FLu(B, $B>>ED85I'(B, $B;09%GnG7(B, $BC]2,>0;0(B $BLu(B,
$B%W%m%0%i%_%s%08@8l(B Turing --- $B8@8l;EMM$N4pACM}O@$H@_7W5;K!(B.
$B7<3X=PHG(B, 1990.
\\ DKLICP $B8@8l$N7A<0J8K!$r3,5iJ,N`$9$k;29M$K$7$?(B

\bibitem{Java}
James Gosling, Bill Joy, Guy Steele $BCx(B, $BB<>e2m>O(B $BLu(B,
The Java $B8@8l;EMM(B. $B%"%8%=%s!&%&%'%9%l%$(B, 1997.

\bibitem{Sun}
Samuel C. Kendall, Jim Waldo, Ann Wollrath, Geoff Wyant,
A Note on Distributed Computing.
Sun Microsystems Research Technical Report TR-94-29, 1994.
\URL{www.sun.com/research/techrep/1994/abstract-29.html}
$BJ,;67O$K$O!"C`<!7O$K$J$$DL?.CY1d!"%a%b%j%b%G%k!"JB9T@-!"(B
$BItJ,E*$J8N>c$,$"$k$?$a!"J,;6%*%V%8%'%/%H$rC`<!%*%V%8%'%/%H$H(B
$BF1MM$K07$&$3$H$O$G$-$J$$$H<gD%$7$F$$$k(B

\end{thebibliography}

% end
