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

--- a/paper/introduciton.tex	Sat Feb 01 12:36:06 2014 +0900
+++ b/paper/introduciton.tex	Sat Feb 01 12:40:07 2014 +0900
@@ -15,7 +15,7 @@
 データベースの実装には、純粋関数型言語 Haskell を用いる。
 Haskell は、モダンな型システムを持ち、型推論と型安全により簡潔で信頼性の高いプログラムを書くことが可能である。
 また、Haskellは純粋であるため、関数は引数が同じならば必ず同じ値を返すことが保証されている。
-これは、並列処理において並列化に適した部分が分かりやすくなるというメリットをもたらし、状態に依存したバグから解放されることを意味する。
+これは、並列処理において並列化に適した部分が分かりやすくなるというメリットがあり、また状態に依存したバグから解放されることも意味する。
 
 本論文では、Haskellを用いて非破壊的木構造データベースを実装し、スケーラビリティを実現できることを明らかにする。
 \newpage