--- a/paper/abstract.tex	Sun Feb 02 21:53:26 2014 +0900
+++ b/paper/abstract.tex	Mon Feb 03 08:56:24 2014 +0900
@@ -3,7 +3,7 @@
 Haskellは純粋関数型プログラミング言語である。
 モダンな型システムを持ち、型推論と型安全により簡潔で信頼性の高いプログラムを書くことが可能である。
 また、Haskellは純粋であるため、関数は引数が同じならば必ず同じ値を返すことが保証されている。
-これにより、並列処理において並列化に適した部分が分かりやすくなるというメリットがあり、また状態に依存したバグから解放されることも意味する。
+これは、並列処理において並列化に適した部分が分かりやすくなるというメリットがあり、また状態に依存したバグから解放されることも意味する。
 
 本研究では、Haskell を用いて並列に読み書き可能なデータベースの実装を行う。
 並列にデータへアクセスする手法として、元となる木構造を変更することなく編集できる非破壊的木構造を用いる。

--- a/paper/chapter1.tex	Sun Feb 02 21:53:26 2014 +0900
+++ b/paper/chapter1.tex	Mon Feb 03 08:56:24 2014 +0900
@@ -82,6 +82,7 @@
 \end{center}
 \end{table}
 
+\newpage
 \subsubsection{リスト型}
 リストは同じ型の要素の並びである。角括弧で包み、各要素はコンマで区切る。
 リストの長さに制限はない。空リストは[]で表す。

Binary file paper/master_paper.pdf has changed