\documentclass[techrep]{ipsjpapers}
\usepackage[dvipdfm]{graphicx}
\usepackage{url}

% \input{dummy.tex} %% Font 

% ユーザが定義したマクロなど．
\makeatletter
\bibliographystyle{jplain} % for bibliography


\begin{document}

% 和文表題
\title{連邦型Lindaによる分散アルゴリズムをデバッグするためのメタプロトコル}
% 英文表題
\etitle{Meta Protocol for Debugging of Distributed Algorithm by Federated Linda}


% 所属ラベルの定義
\affilabel{1}{琉球大学理工学研究科情報工学専攻 \\Interdisciplinary Infomation Engineering, Graduate School of Engineering and Science, University of the Ryukyus.}
\affilabel{2}{琉球大学工学部情報工学科\\Infomation Engineering, University of the Ryukyus.}

% 和文著者名
\author{
  赤嶺悠太\affiref{1}\and
  小野雅俊\affiref{2}\and
  河野 真治\affiref{2}
}

% 英文著者名
\eauthor{
  Kento YOGI\affiref{1}\and
  Kenta MIYAGI\affiref{1}\and
  Shinji KONO\affiref{2}
}

% 連絡先（投稿時に必要．製版用では無視される．）
\contact{多賀野 海人\\
        〒903-0213 沖縄県西原町千原1番地\\
	琉球大学工学部情報工学科\\
        TEL: (098)895-2221\qquad FAX: (098)895-8727\\
        email: kono@ie.u-ryukyu.ac.jp} 

% 和文概要
\begin{abstract}
連邦型Lindaとは、複数のLida Serverを接続して分散アルゴリズムを実装する
フレームワークである。
今回は、分散アルゴリズムをデバッグするために、通常のタプル通信の他にメ
タな通信を行なうプロトコルエンジンの設計と実装を行なった。
メタ通信は、タプル通信と相似な形式を持っているが、Linda サーバ内部に直
接アクセスすることが出来る。
これにより、デバッグプロトコル自体をスケーラブルな分散プロトコルとして
実装することが出来る。

\end{abstract}
% 英文概要
\begin{eabstract}

\end{eabstract}

% 表題などの出力
\maketitle

% 本文はここから始まる

\input{0}

\bibliography{ref}


\end{document}