\title{{\bf  連邦型Lindaによる分散アルゴリズムをデバッグするためのメタプロトコル}}

%\pagenumbering{roman}
\author{ 赤嶺悠太, 小野雅俊, 河野真治 \\[5mm]
e-mail:kono@ie.u-ryukyu.ac.jp\\
Information Engineering, University of the Ryukyus\\
Nishihara-cyo 1, Okinawa, 903-01, Japan}
% \date{}