\documentclass[twoside,twocolumn]{jarticle}

\usepackage{moreverb}

\setlength{\textwidth}{14.5cm}
\setlength{\textheight}{22.5cm}
\setlength{\oddsidemargin}{0.75cm}
\setlength{\evensidemargin}{0.75cm}

\newcommand{\Comment}[1]{}

\title{
 DKLIC $B=hM}7O$K$*$1$kJ,;6O@M}JQ?t$N;q8;4IM}(B \\
 Resource Management for Distributed Logic Variables of DKLIC }
\author{
 600P031-4 $B9bLZM42p(B $B>eED8&5f<<(B \\
 TAKAGI Yusuke, Ueda Laboratory }
\date{ \Comment{ 2002$BG/(B2$B7n(B5$BF|Ds=P(B } }
\begin{document}
\twocolumn[
\maketitle

%---------------------------------------------------------------
\begin{abstract}
% $B6qBNE*$K(B!
% DKLIC $B$H$O2?$+(B

$BIa5Z$7$F$$$k<jB3$-7?8@8l$G$O!"(B
$B%W%m%;%972$NJ,;6!"F14|!"DL?.%W%m%H%3%k$N<BAu$H$$$C$?(B
$BJ,;6%W%m%0%i%_%s%0$KIT2D7g$J=hM}$N5-=R$,Hs>o$KLLE]$G$"$k!#(B

$BK\8&5f$G$O!"(B
$BF0E*%W%m%;%9@8@.!"<+F0F14|!"HsF14|%a%C%;!<%8DL?.(B
$B$r@k8@E*$K5-=R$9$k(B KL1 $B8@8l$K4p$E$-!"(B
$B4{B8$N(B KLIC $B=hM}7O$r3HD%$7$F(B
$B@k8@7?%=%1%C%HDL?.$N5!G=$rDs6!$9$k(B DKLIC $B=hM}7O$r<BAu$7$?!#(B
%
$B$3$N$3$H$K$h$C$F!"D>4QE*$G$J$+$C$?J,;6=hM}$N5-=R$r(B
$B@k8@E*$K9T$($k$h$&$K$7$?!#(B

$BJ,;6O@M}JQ?t$ND>7k$dGQ4~$r8!=P$9$k$3$H$K$h$C$F!"(B
$B4{B8$N(B DKLIC $B=hM}7O$G$OIT2DG=$G$"$C$?(B
$BFs=EAw?.$dDL?.$NCf7Q$rGS=|$7!"(B
$BJ,;6O@M}JQ?t$N(B ID $B$rAa4|$K:FMxMQ$9$k$3$H$r2DG=$H$7$?!#(B

$B$^$?!"(BKL1 $B8@8l$KC_@Q$5$l$?9bEY$J@EE*2r@O$N5;=Q$r(B
$BJ,;6%W%m%0%i%_%s%0$KE,MQ$9$k$3$H$r2DG=$H$7$?!#(B
%
$B$=$l$@$1$G$J$/!"4{B8$N@EE*2r@O$N5;=Q$G$"$k(B
$B7?!&%b!<%I!&@~7A@-BN7O$KL@3N$K$O8=$l$J$$(B
$BDL?.O)$N3NN)!JJ,;6O@M}JQ?t$N(B open$B!K$H$$$&35G0$rL@3N$K<($7$?!#(B
%
$BJ,;6%W%m%0%i%_%s%0$K$*$$$F$O!"(B
$BAG@-$NCN$l$J$$DL?.%G!<%?$d%b%P%$%k%3!<%I$KBP$7$F(B
$B@EE*$K8!>Z$r9T$($k$3$H$OHs>o$K=EMW$G$"$k!#(B

$B$^$?!"@EE*0UL#O@$rJQ$($:$KMM!9$JDL?.<jK!$r;n$_$k$3$H$O(B
$B:#8e$N%M%C%H%o!<%/$NIi2Y$r7Z$/$9$k8&5f$KLrN)$D$G$"$m$&!#(B
%
$BDL?.<jK!$K$h$k%M%C%H%o!<%/$NIi2Y$NJQ2=$rDjNLHf3S$9$k$3$H$O!"(B
$BK\8&5f$K$*$$$F$b:#8e$N2]Bj$G$"$k!#(B
\end{abstract}

\section*{ keywords }
KL1 $B8@8l(B, KLIC $B=hM}7O(B, $BJ,;6=hM}7O(B, $B@k8@7?J,;6%W%m%0%i%_%s%0(B.\\
KL1, KLIC, Distributed Implementation,
Declarative Distributed Programming.

\vspace{2em}
%---------------------------------------------------------------
]{ % twocolumn

\section{ $B4{B8$NJ,;65!9=(B }
\begin{enumerate}
\item $B%W%m%;%9(B.
$BJB9T=hM}$KI,MW(B.
ex) OS, GUI, $B%7%_%e%l!<%7%g%s(B.

\item $B%=%1%C%H(B.
$B6&DL$N@hAD$r;}$?$J$$%W%m%;%94V$NDL?.$KI,MW(B.
ex) Wnn, X Window System.

\item RPC.
$B%=%1%C%HDL?.$N>\:Y$r$"$kDxEY1#JC$9$k(B.
ex) NIS, NFS, Java RMI.

\item ORB.
$B%5!<%P$N0LCV$r8!:w$9$k(B.
ex) CORBA, Jini.

\item $B%(!<%8%'%s%H(B.
$B%W%m%;%90\Aw$K$h$C$FDL?.$N>\:Y$r$"$kDxEY1#JC$9$k(B.
ex) Web Robots.
\end{enumerate}

\section{ $BJ,;64D6-$NLdBjNN0h(B }
\begin{enumerate}
\item $BJB9T@-(B.
$B%M%C%H%o!<%/$K@\B3$5$l$?3F%[%9%H$OK\<AE*$KJB9TF0:n$9$k(B.

\item $BDL?.CY1d(B.
$BJ,;64D6-$NDL?.CY1d$OL5;k$G$-$J$$DxEY$KBg$-$$(B.

\item $B%*!<%W%s%3%s%T%e!<%F%#%s%0(B.
$B%*!<%W%s$JDL?.%W%m%H%3%k$K=>$&8B$j(B,
$BDL?.Aj<j$rA*$P$J$$(B.

\item $BNc30=hM}(B.
$B%M%C%H%o!<%/$N0lIt$,8N>c$9$k$3$H$O$7$P$7$P$G$"$k(B.

\item $BJ]0B@-(B.
$B%M%C%H%o!<%/$rDL$8$F8D?M>pJs$rO3$i$7$F$O$$$1$J$$(B.
\end{enumerate}

\section{ KL1 $B8@8l(B }
$B=R8l8F$S=P$7$K$h$C$F(B,
$B%W%m%;%9$NF0E*@8@.$r@k8@E*$K5-=R$9$k$3$H$,$G$-$k(B.

$B%W%m%;%94V$N6&M-JQ?t$rDL?.O)$H$7$F(B,
$B%W%m%;%94VDL?.%W%m%H%3%k$r@k8@E*$K5-=R$9$k$3$H$,$G$-$k(B.
%
$BDL?.%a%C%;!<%8$H$7$FL$Dj5AJQ?t$rM"=PF~$9$k$3$H$K$h$C$F(B,
$BDL?.O)$NF0E*3NN)$r@k8@E*$K5-=R$9$k$3$H$,$G$-$k(B.

$BC_@Q$5$l$?@EE*2r@O$N5;=Q$K$h$C$F(B,
$BDL?.%G!<%?(B/$B%b%P%$%k%3!<%I$N8!>Z(B/$B:GE,2=$,2DG=$G$"$k(B.

\section{ DKLIC $B=hM}7O(B }
% \section{ $B@k8@7?J,;6%W%m%0%i%_%s%0(B }
$B4{B8$N(B KLIC--KL1 $B%=%1%C%H$OL$Dj5AJQ?t$rM"=P$G$-$J$$(B,
$B<jB3$-7?$G$"$k(B.

$BL$Dj5AJQ?t$rM"=PF~$G$-$k(B,
$B@k8@7?%=%1%C%H$r<BAu$9$kI,MW$,$"$k(B.

% \section{ DKLIC $B=hM}7O(B }
$BC1=c$J<BAu$rL\;X$9(B.
KLIC $B=hM}7O$r3HD%$9$k(B.
% eager $B$J(B
$B%W%C%7%e7?$NHsF14|%a%C%;!<%8DL?.$r9T$&(B.

$B<!$N3,AX$KJ,$1$F<BAu$9$k(B.
\begin{enumerate}
\item $B@\B3%5!<%P(B dklicio.
\item $B8!:w%5!<%P(B.
\item $B%f!<%6Dj5A%5!<%P(B.
\item $B%"%W%j%1!<%7%g%s(B.
\end{enumerate}
$BK\8&5f$G$O(B dklicio $B$r<BAu$7$?(B.

\section{ DKLICP }
dklicio $B$,;H$&DL?.%W%m%H%3%k$G$"$k(B.
$BDL?.O)$NM"=PF~!&=q$-9~$_!&D>7k!&GQ4~$r<B8=$9$k(B.
% $BFs<TDL?.!&;0<TDL?.$N%W%m%H%3%k(B.

$BDL?.O)$N%i%$%U%5%$%/%k$O<!$NDL$j$G$"$k(B.
\begin{enumerate}
\item open. ID $B$r3d$jEv$F$FM"=PF~$9$k(B.
\item use. ID $B$rMxMQ$7$FAw<u?.$9$k(B.
\item close. $B=q$-9~$_!&D>7k!&GQ4~$7$F(B ID $B$r2s<}$9$k(B.
\end{enumerate}

DKLICP $B$O=q$-9~$_!&D>7k!&GQ4~$K$h$C$FJQ?t(B
ID $B$rAa4|:FMxMQ$9$k(B.

\section{ dklicio }
$B<!$N3,AX$KJ,$1$F<BAu$7$?(B.
\begin{enumerate}
\item $BJ,;6O@M}JQ?t(B fusesusp.
$B=q$-9~$_!&D>7k!&GQ4~$5$l$?$3$H$r8!=P$7$F(B dklicio $B$KJs9p$9$k(B.
250/C
% (C $B8@8l(B 250 $B9T(B)

\item $BJQ?tI=(B.
fusesusp $B$r4IM}$9$k(B.
ID $B$N3d$jEv$F!&:FMxMQ$r9T$&(B.
400/C, 150/KL1
% (KL1 $B8@8l(B 150 $B9T(B, C $B8@8l(B 400 $B9T(B)

\item dklicio.
$BJQ?t$rM"=PF~$9$k(B.
$BJQ?t$N=q$-9~$_!&D>7k!&GQ4~$rAw<u?.$9$k(B.
350/KL1
% (KL1 $B8@8l(B 350 $B9T(B)
\end{enumerate}

\section{ $B$^$H$a(B }
$B4{B8$N;n:n(B DKLIC $B$KHf3S$7$F(B,
$BDL?.O)$ND>7k!&GQ4~$r8!=P$G$-$k(B.
$BFs=EAw?.!&Cf7Q$rGS=|$7$?(B.
ID $B$rAa4|$K:FMxMQ$9$k(B.

\section{ $B:#8e$N2]Bj(B }
$B2<0L=hM}7O$r8!F$$9$k(B.
$BNc30=hM}$r<BAu$9$k(B.
ID $B3d$jEv$FJ}<0$r8!F$$9$k(B.
$B8!:w%5!<%P!&%(!<%8%'%s%H$r<BAu$9$k(B.
$B$b$C$H7W;;NL$N>.$5$JDL?.%W%m%H%3%k$r@_7W$9$k(B.

} % end twocolumn

\end{document}
