--- a/paper/abstract.tex	Sat Dec 28 11:59:35 2013 +0900
+++ b/paper/abstract.tex	Sun Jan 19 09:35:05 2014 +0900
@@ -1,4 +1,21 @@
 \begin{abstract}
+  ブロードバンド環境やモバイル端末の普及により、ウェブサービスの利用者数は急激に伸びている。
+  リクエスト数の増加を予想することは困難であり、負荷が増大した場合に容易に拡張できるスケーラビリティが求められる。
+  ここでいうスケーラビリティとは、利用者や負荷の増大に対し、単なるリソースの追加のみでサービスの質を維持することのできる性質のことである。
+
+  ウェブサービスにおけるスケーラビリティを実現するためには、並列にデータにアクセスできる設計が必要となる。
+  本研究では、並列にデータへアクセスする手法として、非破壊的木構造を利用する。
+  非破壊的木構造では、排他制御をせずにデータを読むことが可能でありスケーラビリティを確保できる。
 
-アブストラクト
+  非破壊的木構造を用いたデータベースとして、オブジェクト指向プログラミング言語 Java を用いた Jungle\texttrademark が存在する。
+  しかしながら、非破壊的木構造は破壊的代入がないためオブジェクト指向プログラミング言語よりも純粋関数型言語との相性が良いと考えられる。
+  実際に、Java による実装でも Functional Java 用いて関数型プログラミングスタイルで記述されている。
+  本研究では、純粋関数型言語 Haskell による Jungle の再実装を行った。
+
+  Haskell を用いることで、表現力や純粋性のメリットを享受することができた。
+  Haskell では、高度な型を一からつくり上げることができ、型情報を利用してコンパイル時に多くのエラーを捕捉できる。
+  また、並列処理において副作用に依存する問題から解放され処理が簡潔になった。 
+  そのうえ、Haskell による実装では、Java による実装と比較して開発期間およびコード行数が非常に短くなるといったメリットもあった。
+
+  性能比較のために Haskell で書かれた HTTP サーバ Warp を用いて簡易掲示板システムを開発し、既存の Java の実装と同程度の性能を達成できた。
 \end{abstract}