--- a/Paper/paper.aux	Mon Apr 17 10:08:21 2023 +0900
+++ b/Paper/paper.aux	Mon Apr 17 10:27:01 2023 +0900
@@ -16,6 +16,7 @@
 \@writefile{toc}{\contentsline {section}{\numberline {3}\hskip 1zw{信頼性の保証を目的としたGearsOS}}{2}{}\protected@file@percent }
 \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{2}{}\protected@file@percent }
 \newlabel{fig:context}{{2}{2}}
+\citation{directory}
 \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces CodeGearとMetaCodeGearの関係\relax }}{3}{}\protected@file@percent }
 \newlabel{fig:meta-cgdg}{{3}{3}}
 \@writefile{toc}{\contentsline {section}{\numberline {4}\hskip 1zw{RedBlackTreeよるファイルシステムの構成}}{3}{}\protected@file@percent }
@@ -36,13 +37,13 @@
 \bibcite{gears}{4}
 \bibcite{gearsos}{5}
 \bibcite{cr}{6}
-\bibcite{file}{7}
-\bibcite{cfile}{8}
-\bibcite{xv6kernel}{9}
-\bibcite{xv6component}{10}
-\bibcite{xv6}{11}
-\bibcite{christie}{12}
-\bibcite{directory}{13}
+\bibcite{directory}{7}
+\bibcite{file}{8}
+\bibcite{cfile}{9}
+\bibcite{xv6kernel}{10}
+\bibcite{xv6component}{11}
+\bibcite{xv6}{12}
+\bibcite{christie}{13}
 \@writefile{toc}{\contentsline {subsection}{\numberline {10.1}{データクエリ言語}}{5}{}\protected@file@percent }
 \@writefile{toc}{\contentsline {subsection}{\numberline {10.2}{ログなどの時系列データの保存}}{5}{}\protected@file@percent }
 \@writefile{toc}{\contentsline {subsection}{\numberline {10.3}{スタンドアロンなDB}}{5}{}\protected@file@percent }

--- a/Paper/paper.bbl	Mon Apr 17 10:08:21 2023 +0900
+++ b/Paper/paper.bbl	Mon Apr 17 10:27:01 2023 +0900
@@ -20,6 +20,9 @@
 \bibitem{cr}
 伊波立樹\：GearsOSの並列処理，修士 (工学) 学位論文 (2018).
 
+\bibitem{directory}
+又吉雄斗，河野真治(琉球大学)\：GearsOSにおけるinodeを用いたファイルシステムの構築 (2022).
+
 \bibitem{file}
 河野~真治(琉球大学)一木~貴裕\：GearsOSの分散ファイルシステムの設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
   (2021).
@@ -45,7 +48,4 @@
 {河野 真治}\：分散フレームワーク Christie と分散木構造データベースJungle
   (2018).
 
-\bibitem{directory}
-又吉雄斗，河野真治(琉球大学)\：GearsOSにおけるinodeを用いたファイルシステムの構築 (2022).
-
 \end{thebibliography}

--- a/Paper/paper.log	Mon Apr 17 10:08:21 2023 +0900
+++ b/Paper/paper.log	Mon Apr 17 10:27:01 2023 +0900
@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9)  17 APR 2023 10:07
+This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9)  17 APR 2023 10:21
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3200,12 +3200,12 @@
  [2]
 File: figs/nonDestroyTreeEdit.pdf Graphic file (type pdf)
 <figs/nonDestroyTreeEdit.pdf>
- [3]
+ [3] [4]
 LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <9.61035> not available
-(Font)              Font shape `JT1/gt/m/n' tried instead on input line 372.
+(Font)              Font shape `JT1/gt/m/n' tried instead on input line 373.
 LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <9.61035> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 372.
- [4] (./paper.bbl
+(Font)              Font shape `JY1/gt/m/n' tried instead on input line 373.
+ (./paper.bbl
 LaTeX Font Info:    Calculating math sizes for size <8.8711> on input line 1.
 
 Underfull \hbox (badness 10000) in paragraph at lines 9--10
@@ -3218,18 +3218,16 @@
  []
 
 
-Underfull \hbox (badness 10000) in paragraph at lines 41--43
+Underfull \hbox (badness 10000) in paragraph at lines 44--46
 \OT1/cmr/m/n/8.8711 a sim-ple, Unix-like teach-ing op-er-at-ing sys-tem,
  []
 
 
-Underfull \hbox (badness 10000) in paragraph at lines 41--43
+Underfull \hbox (badness 10000) in paragraph at lines 44--46
 \OT1/cmr/m/n/8.8711 https://pdos.csail.mit.edu/6.828/2018/xv6/book-
  []
 
-) [5
-
-] (./paper.aux)
+) [5] (./paper.aux)
 
 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 
@@ -3243,4 +3241,4 @@
  929 hyphenation exceptions out of 8191
  55i,10n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s
 
-Output written on paper.dvi (5 pages, 41540 bytes).
+Output written on paper.dvi (5 pages, 41704 bytes).

Binary file Paper/paper.pdf has changed

Binary file Paper/paper.synctex.gz has changed

--- a/Paper/paper.tex	Mon Apr 17 10:08:21 2023 +0900
+++ b/Paper/paper.tex	Mon Apr 17 10:27:01 2023 +0900
@@ -212,9 +212,10 @@
 1つ目が型式手法による信頼性の向上を目的とした，GearsAgdaと呼ばれるGearsOSである．
 これは，Agdaによって実装されている．
 2つ目がユーザーレベルタスクマネジメントの実装を目的としたGearsOSがある．
-これは，CbCによって実装されている．
+これは，CbCによって実装されており，
+RedBlackTreeでのディレクトリシステムの構築するなどの取り組みもされている\cite{directory}．
 3つ目はスタンドアロンOSの開発を目的とした，CbC\_xv6と呼ばれるGearsOSがある．
-これは，教育用に開発されたx.v6 OSをCbCで書き換える形で実装している．
+これは，教育用に開発されたx.v6 OSをCbCで書き換える形で実装する．
 今回，ファイルシステムを実装する対象は3つ目のCbC\_xv6である．
 
 \section{RedBlackTreeよるファイルシステムの構成}
@@ -274,7 +275,7 @@
 
 DBの重要な機能の一つにロールバックがある．
 RDBのロールバックは，
-コミットするまではトランザクションの開始時点に戻ることができる機能である．
+コミットするまではトランザクションの開始時点に戻ることができる機能を持つ．
 コミットが完了するとそれ以前の状態に戻すことはできないが，
 データのバックアップをとっておくことで復元を行う．
 このような，ロールバックとバックアップの仕組みをファイルシステムに実装したい．