# HG changeset patch # User Daichi TOMA # Date 1391395410 -32400 # Node ID 6f4382bb02d6513b91b99c9b272e84218b30f7d9 # Parent 9ac6551820050593e99cf7201700fb68fb583d81 fix diff -r 9ac655182005 -r 6f4382bb02d6 slides/master.html --- a/slides/master.html Mon Feb 03 11:40:24 2014 +0900 +++ b/slides/master.html Mon Feb 03 11:43:30 2014 +0900 @@ -48,23 +48,20 @@

-
+

研究概要

Haskellは純粋関数型プログラミング言語である。 モダンな型システムを持ち、型推論と型安全により簡潔で信頼性の高いプログラムを書くことが可能である。 - また、Haskellは純粋であるため、関数は引数が同じならば必ず同じ値を返すことが保証されている。 - これは、並列処理において並列化に適した部分が分かりやすくなるというメリットがあり、また状態に依存したバグから解放されることも意味する。

本研究では、Haskell を用いて並列に読み書き可能なデータベースの実装を行う。 - 並列にデータへアクセスする手法として、元となる木構造を変更することなく編集できる非破壊的木構造を用いる。 - 非破壊的木構造は、破壊的代入が存在しない Haskell と相性がよい。 + 並列にデータへアクセスする手法として、非破壊的木構造を用いる。 + 非破壊的木構造は、元となる木構造を書き換えることなく編集を可能にする手法である。

- 実装した並列データベースの読み込みと書き込みについて性能を計測し、読み込みに関して 98.96 % という高い並列度が確認できた。 また、簡単な掲示板ウェブアプリケーションを開発し、既存の Java の非破壊的木構造データベースとの比較をおこない、Java のおよそ 2倍の性能を確認することができた。