--- a/Paper/matac-bib.bib	Mon May 02 12:31:10 2022 +0900
+++ b/Paper/matac-bib.bib	Mon May 02 15:10:17 2022 +0900
@@ -2,14 +2,14 @@
   title        = {GearsOS},
   author       = {並列信頼研究室},
   organization = {琉球大学},
-  howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}}
+  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}
 }
 
 @misc{cbcllvm,
   title        = {CbC},
   author       = {並列信頼研究室},
   organization = {琉球大学},
-  howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}}
+  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}
 }
 
 @article{cbc,

--- a/Paper/paper.tex	Mon May 02 12:31:10 2022 +0900
+++ b/Paper/paper.tex	Mon May 02 15:10:17 2022 +0900
@@ -98,38 +98,32 @@
 
 　アプリケーションの信頼性を保証することは
 情報システムやコンピュータを用いる業務の信頼性の保障につながる重要な課題である．
-アプリケーションの信頼性を保証するために，基盤となるOSの信頼性を高める必要がある．
+したがって，アプリケーションの信頼性を保証するために，基盤となるOSの信頼性を高める必要がある．
 
 当研究室では，信頼性の保証を目的としたGearsOSを開発している．
-OSの信頼性を定理証明やモデル検査を行うことで保証することを目指している\cite{modelcheck}．
-当研究室で開発しているプログラム言語であるCbC(Continuation based C)で記述されており，
+GearsOSは，OSの信頼性を定理証明やモデル検査を行うことで保証することを目指している\cite{modelcheck}．
+同じく，当研究室で開発しているプログラム言語であるCbC(Continuation based C)で記述されており，
 ノーマルレベルとメタレベルを簡単に切り分けることを可能としている．
 CbCでメタレベルの処理を切り出したものに対して，定理証明やモデル検査を行うことで信頼性を保証する．
 
-GearsOSは現在OSとして重要な機能がいくつか未実装であり，言語フレームワークのように動作している状態である．
-未実装の機能の一つとしてファイルシステムが挙げられる．
+GearsOSは現在OSとして重要な機能がいくつか未実装であり，その一つとしてファイルシステムが挙げられる．
 ファイルシステムはファイルやディレクトリといった構造を持ち，データの保存，整理を行う．
-また，OSが管理するデータの操作を人間が行いやすいようにinterfaceを提供する．
+また，OSが管理するデータの操作を人間が行いやすいようにインターフェースを提供する．
 OSの機能の中でも特に重要な機能であるため，GearsOSにも実装を行う必要がある．
 
-今回GearsOSへファイルシステムを実装するにあたり，Unixのファイルシステムを参考にする．
+今回GearsOSへファイルシステムを実装するにあたり，Unixのファイルシステムを参考にした．
 Unixのファイルシステムではファイルのメタデータをinodeの形式で保持している．
-同様にinodeの仕組みを用いてGearsOSのファイルシステムを実装を行いたい．
-interfaceについても，cd，ls，mkdirというようにUnix likeに実装したい．
+同様に，inodeの仕組みを用いてGearsOSのファイルシステムを実装したい．
+また，インターフェースについても，cd，ls，mkdirというようにUnix likeに実装したい．
 当研究室ではxv6のCbCでの書き換えを行なっているが，今回はxv6のルーチンをCbCで書き換えるのではなく
 GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとりたい．
-それはGearsOSとCbCで書き換えたxv6の比較や，
-互いにファイルシステムの機能の移植が行える様にするためである．
+それはGearsOSとCbCで書き換えたxv6の比較や，互いにファイルシステムの機能の移植が行える様にするためである．
 また，当研究室で開発している分散フレームワークChristieの仕組みを用いて，分散ファイルシステムを実装したい．
 
-本論文ではGearsOSのファイルシステムに関する基礎概念と，ファイルシステムの構築について記述する．
-
 \section{Continuation based C}
 
-Continuation based C(CbC)\cite{cbcllvm,cbc}とはCの下位言語である．
+Continuation based C(CbC)\cite{cbcllvm,cbc}は，当研究室で開発しているCの下位言語である．
 function callの代わりにgotoによる継続を用いる．
-CbCのプログラムはCodeGearと呼ばれる処理の単位で記述し，ノーマルレベルとメタレベルの処理を切り分けることが可能である．
-
 CbCでは関数の代わりにCodeGearという単位でプログラミングを行う．
 CodeGearは\emph{\_\_code}という記述で宣言することができる．
 データの単位にはDataGearと呼ばれる変数データを用いる．
@@ -145,6 +139,9 @@
   \caption{CodeGearとDataGearの関係}
   \label{fig:dgcg}
 \end{figure}
+ノーマルレベルとメタレベルの処理を切り分けることが可能である．
+
+
 
 CodeGearから次のCodeGearに遷移していく一連の動作を継続と呼ぶ．
 通常の関数の場合，関数から次の関数へ遷移する時にfunction callが行われる．