|
0
|
1 \documentclass[techrep]{ipsjpapers}
|
|
|
2 \usepackage[dvipdfm]{graphicx}
|
|
|
3 \usepackage{url}
|
|
|
4
|
|
|
5 % \input{dummy.tex} %% Font
|
|
|
6
|
|
|
7 % ユーザが定義したマクロなど．
|
|
|
8 \makeatletter
|
|
4
|
9 \bibliographystyle{jplain} % for bibliography
|
|
|
10
|
|
0
|
11
|
|
|
12 \begin{document}
|
|
|
13
|
|
|
14 % 和文表題
|
|
4
|
15 \title{Remote Editing Protocol の実装と検証}
|
|
0
|
16 % 英文表題
|
|
4
|
17 \etitle{Implementation and verification of Remote Editing Protocol}
|
|
0
|
18
|
|
|
19 % 所属ラベルの定義
|
|
|
20 \affilabel{1}{琉球大学理工学研究科情報工学専攻 \\Interdisciplinary Infomation Engineering, Graduate School of Engineering and Science, University of the Ryukyus.}
|
|
|
21 \affilabel{2}{琉球大学工学部情報工学科\\Infomation Engineering, University of the Ryukyus.}
|
|
|
22
|
|
|
23 % 和文著者名
|
|
|
24 \author{
|
|
4
|
25 与儀健人\affiref{1}\and
|
|
|
26 宮城健太\affiref{1}\and
|
|
|
27 河野 真治\affiref{2}
|
|
0
|
28 }
|
|
|
29
|
|
|
30 % 英文著者名
|
|
|
31 \eauthor{
|
|
4
|
32 Kento YOGI\affiref{1}\and
|
|
|
33 Kenta MIYAGI\affiref{1}\and
|
|
|
34 Shinji KONO\affiref{2}
|
|
0
|
35 }
|
|
|
36
|
|
|
37 % 連絡先（投稿時に必要．製版用では無視される．）
|
|
|
38 \contact{多賀野 海人\\
|
|
|
39 〒903-0213 沖縄県西原町千原1番地\\
|
|
|
40 琉球大学工学部情報工学科\\
|
|
|
41 TEL: (098)895-2221\qquad FAX: (098)895-8727\\
|
|
4
|
42 email: kono@ie.u-ryukyu.ac.jp}
|
|
0
|
43
|
|
|
44 % 和文概要
|
|
|
45 \begin{abstract}
|
|
4
|
46 本研究室が提案するRemoteEditingProtocol(REP)は、異なるホスト
|
|
|
47 にあるアプリケーション同士による協調したデータ編集を可能にす
|
|
|
48 るプロトコルである。しかしREPは複雑なプロトコルを用いている
|
|
|
49 ため、その検証による動作の保証が不可欠となる。
|
|
|
50 本研究ではREPの主要なプロトコル部を抜き出し、JavaPathFinder
|
|
|
51 を用いてその検証を行う。
|
|
0
|
52 \end{abstract}
|
|
|
53 % 英文概要
|
|
|
54 \begin{eabstract}
|
|
4
|
55 Remote Editing Protocol what we have suggested makes applications
|
|
|
56 possible to concertedly edit any data with one another. Because this
|
|
|
57 protocol is very difficult, verification of the progoram is important.
|
|
|
58 So in this paper, we extracted the core program of the protocol and
|
|
|
59 verified it using JavaPathFinder.
|
|
0
|
60 \end{eabstract}
|
|
|
61
|
|
|
62 % 表題などの出力
|
|
|
63 \maketitle
|
|
|
64
|
|
|
65 % 本文はここから始まる
|
|
|
66
|
|
4
|
67 \input{0}
|
|
0
|
68
|
|
4
|
69 \bibliography{ref}
|
|
0
|
70
|
|
|
71
|
|
|
72 \end{document}
|
