--- a/Paper/paper.aux	Thu May 05 21:37:07 2022 +0900
+++ b/Paper/paper.aux	Fri May 06 12:41:46 2022 +0900
@@ -14,11 +14,11 @@
 \newlabel{src:cbc}{{1}{2}}
 \@writefile{lol}{\contentsline {lstlisting}{\numberline {1}CbCのプログラム例}{2}{}\protected@file@percent }
 \@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{xv6}
 \citation{xv6component}
 \citation{xv6kernel}
+\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{3}{}\protected@file@percent }
+\newlabel{fig:context}{{2}{3}}
 \@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{Unixのファイルシステム}}{3}{}\protected@file@percent }
@@ -35,7 +35,6 @@
 \newlabel{src:mkdir}{{3}{4}}
 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3}mkdirのCodeGear}{4}{}\protected@file@percent }
 \@writefile{toc}{\contentsline {subsection}{\numberline {5.2}{ls}}{4}{}\protected@file@percent }
-\citation{cfile}
 \@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces mkdirの操作の流れ\relax }}{5}{}\protected@file@percent }
 \newlabel{fig:mkdir}{{6}{5}}
 \newlabel{src:ls}{{4}{5}}
@@ -47,6 +46,7 @@
 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5}cdのCodeGear}{5}{}\protected@file@percent }
 \@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces cdの操作の流れ\relax }}{5}{}\protected@file@percent }
 \newlabel{fig:cd}{{8}{5}}
+\citation{cfile}
 \citation{file}
 \citation{*}
 \bibstyle{ipsjunsrt}

--- a/Paper/paper.log	Thu May 05 21:37:07 2022 +0900
+++ b/Paper/paper.log	Fri May 06 12:41:46 2022 +0900
@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.141592653-p3.9.0-210218-2.6 (utf8.euc) (TeX Live 2021) (preloaded format=platex 2021.11.27)  5 MAY 2022 21:34
+This is e-pTeX, Version 3.141592653-p3.9.0-210218-2.6 (utf8.euc) (TeX Live 2021) (preloaded format=platex 2021.11.27)  6 MAY 2022 12:40
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3149,18 +3149,18 @@
 File: figs/cgdg.pdf Graphic file (type pdf)
 <figs/cgdg.pdf>
  (I search kanjifont definition file: . . ) (I search font definition file: . . . . . . . )
-LaTeX Font Info:    Trying to load font information for OMS+txsy on input line 149.
+LaTeX Font Info:    Trying to load font information for OMS+txsy on input line 139.
  (/usr/local/texlive/2021/texmf-dist/tex/latex/txfonts/omstxsy.fd
 File: omstxsy.fd 2000/12/15 v3.1
 )
-LaTeX Font Info:    Trying to load font information for OT1+txsy on input line 149.
-LaTeX Font Info:    No file OT1txsy.fd. on input line 149.
+LaTeX Font Info:    Trying to load font information for OT1+txsy on input line 139.
+LaTeX Font Info:    No file OT1txsy.fd. on input line 139.
 
 
 LaTeX Font Warning: Font shape `OT1/txsy/m/n' undefined
-(Font)              using `OT1/cmr/m/n' instead on input line 149.
-
-LaTeX Font Info:    Trying to load font information for OT1+ptm on input line 149.
+(Font)              using `OT1/cmr/m/n' instead on input line 139.
+
+LaTeX Font Info:    Trying to load font information for OT1+ptm on input line 139.
 (/usr/local/texlive/2021/texmf-dist/tex/latex/psnfss/ot1ptm.fd
 File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
 ) [1
@@ -3267,6 +3267,6 @@
  22644 multiletter control sequences out of 15000+600000
  434850 words of font info for 166 fonts, out of 8000000 for 9000
  929 hyphenation exceptions out of 8191
- 68i,10n,74p,294b,1699s stack positions out of 5000i,500n,10000p,200000b,80000s
-
-Output written on paper.dvi (7 pages, 57080 bytes).
+ 68i,11n,74p,294b,1693s stack positions out of 5000i,500n,10000p,200000b,80000s
+
+Output written on paper.dvi (7 pages, 57248 bytes).

Binary file Paper/paper.pdf has changed

Binary file Paper/paper.synctex.gz has changed

--- a/Paper/paper.tex	Thu May 05 21:37:07 2022 +0900
+++ b/Paper/paper.tex	Fri May 06 12:41:46 2022 +0900
@@ -66,11 +66,11 @@
 \author{河野 真治}{Kono Shinzi}{IE}[kono@ie.u-ryukyu.ac.jp]
 
 \begin{abstract}
-アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある．
-当研究室では，CbC（Continuation Based C）を用い，定理証明やモデル検査による信頼性の保証を目的としたGearsOSを開発している．
-CbCは当研究室で開発しているノーマルレベル，メタレベルの処理を切り分けることができるC言語の下位言語である．
-GearsOSで未実装の機能であるファイルシステムをinodeの仕組みを用いて実装を行う．
-
+当研究室では，Continuation based C（CbC）を用い，定理証明やモデル検査などで信頼性を保証することを目的としたGearsOSを開発している．
+現在，GearsOSには未実装の機能がいくつかあり，その一つとしてファイルシステムが挙げられる．
+それは，OS上でアプリケーションを動作させるために，特に重要な機能であり，必要不可欠であるため実装したい．
+今回，GearsOSのファイルシステムを実装するにあたり，Unixのinodeの仕組みを参考にした．
+また，ファイルシステムと密接な関係であるメモリマネージメントについて考察した．
 \end{abstract}