--- a/paper/chapter3.tex	Thu Jan 30 20:22:22 2014 +0900
+++ b/paper/chapter3.tex	Fri Jan 31 05:38:58 2014 +0900
@@ -236,22 +236,36 @@
 送受信が可能である.
 
 
-\section{Aliceを用いたJungleの分散実装}
-ここまでAliceを用いたプログラミングの方法について述べた.
+\section{ログのシリアライズ}
+Jungleの具体的な分散実装について述べる.
+Jungleの分散実装はデータ編集のログを他のサーバに送ることで行うことを第3章で説明した.
+実装にあたり, 解決しなければならない問題はまず, ログをDataSegmentで扱える形にすることである.
+そのためには, @Messageアノテーションを付けたログのクラスの作成を行わなければならない.
+
+
+\subsection{TreeOperationLogの実体}
+TreeOperationの仕様は次の通りである.
+\begin{lstlisting}[frame=lrbt,label=src:treeoperationlog,aption=TreeOperationLogの仕様,numbers=left]
+public interface TreeOperationLog extends Iterable<TreeOperation>
+{
+  public TreeOperationLog add(NodePath _p,NodeOperation _op);
+  public TreeOperationLog append(TreeOperationLog _log);
+  public int length();
+}
+\end{lstlisting}
 
 
 
-\subsection{ログのシリアライズ}
-ここでログのシリアライズについて述べる.
+% TreeOperationLog に木の名前の情報がない
+% そのため木の名前を追加して持たせた
+% 木がなければそのばでつくるようにした
 
-
-シリアライズとは, データをネットワーク上に流しても良い形式に変換することである.
+\subsection{local専用の編集の用意}
 
 
 \subsection{}
-% TreeOperationLog に木の名前の情報がない
-% そのため木の名前を追加して持たせた
-% 木がなければそのばでつくるようにした
+
+
 
 \section{掲示板プログラムにおけるマージの実装}
 Jungle に分散実装を行った後の問題としてデータ衝突がある.