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