--- a/paper/text/Eabstract.tex	Fri Jan 28 02:34:11 2022 +0900
+++ b/paper/text/Eabstract.tex	Fri Jan 28 02:43:51 2022 +0900
@@ -2,6 +2,6 @@
 
 In our laboratory, we are developing GearsOS to guarantee the reliability by theorem proving and model checking. GearsOS is capable of separating normal-level and meta-level processing. GearsOS is written in Continuation Based C (CbC) and has a programming concept called Gear. By performing theorem proving and model checking on the meta-level processing extracted by CbC\cite{modelcheck}.
 
-There are currently unimplemented features in GearsOS, one of which is the file system. The Unix file system stores file metadata in the form of inodes. We would like to implement a file system for GearsOS using the same inode mechanism.
+There are currently unimplemented features in GearsOS, one of which is the file system. The Unix file system stores file metadata in the form of inodes. We would like to implement a file system for GearsOS using the same inode mechanism. In addition, we would like to implement a distributed file system using the distributed framework Christie, which is being developed in our laboratory.
 
 In this paper, we first introduce the basic concept of the GearsOS file system construction. This paper first introduces the basic concept of the file system construction of GearsOS, and then describes the concrete construction method of the file system of GearsOS.
\ No newline at end of file

--- a/paper/text/Jabstract.tex	Fri Jan 28 02:34:11 2022 +0900
+++ b/paper/text/Jabstract.tex	Fri Jan 28 02:43:51 2022 +0900
@@ -12,6 +12,7 @@
 GearsOSには現在未実装の機能があり，その一つにファイルシステムが挙げられる．
 Unixのファイルシステムではファイルのメタデータをinodeの形式で保持している．
 同様にinodeの仕組みを用いてGearsOSのファイルシステムを実装したい．
+また，当研究室で開発している分散フレームワークChristieの仕組みを用いて，分散ファイルシステムを実装したい．
 
 本論文では，まずGearsOSのファイルシステム構築に関する基礎概念の紹介をし，
 その後GearsOSのファイルシステムの具体的な構築方法について述べる．
\ No newline at end of file

Binary file paper/thesis.pdf has changed