# HG changeset patch
# User suruga
# Date 1492780525 -32400
# Node ID c7d6641b9d62f3d7b6266f02723c2ca1fb912735
# Parent  6caa52eb6bb82e3fad4027c0b6803181fc18109d
sigos_ver14

diff -r 6caa52eb6bb8 -r c7d6641b9d62 paper/sigos.dvi
Binary file paper/sigos.dvi has changed
diff -r 6caa52eb6bb8 -r c7d6641b9d62 paper/sigos.log
--- a/paper/sigos.log	Fri Apr 21 22:04:41 2017 +0900
+++ b/paper/sigos.log	Fri Apr 21 22:15:25 2017 +0900
@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.10)  21 APR 2017 22:04
+This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.10)  21 APR 2017 22:15
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
diff -r 6caa52eb6bb8 -r c7d6641b9d62 paper/sigos.pdf
Binary file paper/sigos.pdf has changed
diff -r 6caa52eb6bb8 -r c7d6641b9d62 paper/sigos.tex
--- a/paper/sigos.tex	Fri Apr 21 22:04:41 2017 +0900
+++ b/paper/sigos.tex	Fri Apr 21 22:15:25 2017 +0900
@@ -191,7 +191,7 @@
 Jungleの木はTreeContext というオブジェクトに自身の木の情報を保持している。Differential Jungle Tree では、現在の版の木構造の末尾ノードを保持することが可能な Differential Tree Context を作成した。
  
  \paragraph* {Differential Jungle Tree の作成}
-  Differential Jungle Tree を作成するためにJungle に、新しいAPIを実装した。(表\ref{table:Differential API})
+  Differential Jungle Tree を作成するためにJungle に、新しいAPIを実装した(表\ref{table:Differential API})。
 
 \begin{table}[htb]
   \begin{center}
@@ -207,7 +207,7 @@
 
 \paragraph* {末尾ノードを使用した木の編集}
 Differential Jungle Tree の木の編集は、Differential Jungle Tree Editor を使用して行う。 Differential Jungle Tree Editor は、Default Jungle Tree Editor と違い、生成時に新しい木構造(Sub Tree)を自身の中に構築する。そして、木の編集は、Editor が保持している木構造に対して行う。編集後、Commit を行う際に構築した木構造を、 Differential Jungle Tree の末尾ノードにAppend する。その際木の複製は行わない。
-　また、Differential Tree は自身が保持している木構造に対する変更しか行えないため、一度Commit した木に対して変更は行えない。(図\ref{fig:EditDifferencialTree})
+　また、Differential Tree は自身が保持している木構造に対する変更しか行えないため、一度Commit した木に対して変更は行えない(図\ref{fig:EditDifferencialTree})。
  
 \begin{figure}[ht]
     \begin{center}
@@ -280,7 +280,7 @@
 そこで、木の状態が確定する。
 一つのルートノードではなく、複数のノードに対して、多数決Commitなどの方法を用いることも考えられるが、
 今回は単一のルートノードを用いる。
-この方法は、読み込みに対して書き込みが少ない場合、あるいは書き込みが単一ノードのみからくる場合に有効であると考えられる。(表\ref{fig:WriteTime})
+この方法は、読み込みに対して書き込みが少ない場合、あるいは書き込みが単一ノードのみからくる場合に有効であると考えられる。(図\ref{fig:WriteTime})
 
 従来のJungleDBの分散機能の測定はJetty Webサーバー込みで行なっており、DBに対する負荷は直接的には大きくなかった。
 JungleDBに対して十分な負荷をかけるhttpリクエストを生成するのは困難であった。