# HG changeset patch
# User matac42 <matac@cr.ie.u-ryukyu.ac.jp>
# Date 1643363801 -32400
# Node ID aec9ff16d13d44ffd8527d9fc7ddb1a263b393c8
# Parent  cfa8ec274ffbcf50debd74e34f78acf646faeb4d
...

diff -r cfa8ec274ffb -r aec9ff16d13d paper/thesis.pdf
Binary file paper/thesis.pdf has changed
diff -r cfa8ec274ffb -r aec9ff16d13d paper/thesis.tex
--- a/paper/thesis.tex	Fri Jan 28 18:36:08 2022 +0900
+++ b/paper/thesis.tex	Fri Jan 28 18:56:41 2022 +0900
@@ -69,6 +69,14 @@
 
 \chapter{まとめ}
 
+本研究では主としてgearsFileSystemの構築に必要なgearsDirectoryの実装について説明した．
+いくつか課題はあるが，RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた．
+また，RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，
+Unix Likeに構築することが出来た．
+
+信頼性については，定理証明やモデル検査を用いて保証を行うがファイルシステムの仕組みとして，
+非破壊的なTree編集により
+
 \chapter*{謝辞}
 
 本研究を行うにあたりご多忙にも関わらず日頃より多くのご助言、ご指導をいただきました河野真治准教授に心より感謝いたします。