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

% \input{dummy.tex} %% Font 

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


\begin{document}

% 和文表題
\title{Remote Editing Protocol の実装と検証}
% 英文表題
\etitle{Implementation and verification of Remote Editing Protocol}

% 所属ラベルの定義
\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{1}\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}
本研究室が提案するRemoteEditingProtocol(REP)は、異なるホスト
にあるアプリケーション同士による協調したデータ編集を可能にす
るプロトコルである。しかしREPは複雑なプロトコルを用いている
ため、その検証による動作の保証が不可欠となる。
本研究ではREPの主要なプロトコル部を抜き出し、JavaPathFinder
を用いてその検証を行う。
\end{abstract}
% 英文概要
\begin{eabstract}
Remote Editing Protocol what we have suggested makes applications
possible to concertedly edit any data with one another.  Because this
protocol is very difficult, verification of the progoram is important.
So in this paper, we extracted the core program of the protocol and
verified it using JavaPathFinder.
\end{eabstract}

% 表題などの出力
\maketitle

% 本文はここから始まる

\input{0}

\bibliography{ref}


\end{document}