Binary file paper/thesis.pdf has changed

--- 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*{謝辞}
 
 本研究を行うにあたりご多忙にも関わらず日頃より多くのご助言、ご指導をいただきました河野真治准教授に心より感謝いたします。