--- a/Paper/paper.log	Sun Apr 16 20:47:50 2023 +0900
+++ b/Paper/paper.log	Sun Apr 16 20:58:40 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)  16 APR 2023 20:47
+This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9)  16 APR 2023 20:51
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3233,10 +3233,10 @@
 Here is how much of TeX's memory you used:
  5097 strings out of 478724
  81242 string characters out of 5858393
- 627481 words of memory out of 5000000
+ 628481 words of memory out of 5000000
  23499 multiletter control sequences out of 15000+600000
  499135 words of font info for 160 fonts, out of 8000000 for 9000
  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 (4 pages, 34788 bytes).
+Output written on paper.dvi (4 pages, 35628 bytes).

Binary file Paper/paper.pdf has changed

Binary file Paper/paper.synctex.gz has changed

--- a/Paper/paper.tex	Sun Apr 16 20:47:50 2023 +0900
+++ b/Paper/paper.tex	Sun Apr 16 20:58:40 2023 +0900
@@ -164,6 +164,12 @@
 
 GearsOSには現在3つの種類がある．
 1つ目が型式手法による信頼性の向上を目的とした，GearsAgdaと呼ばれるGearsOSである．
+これは，Agdaによって実装されている．
+2つ目がユーザーレベルタスクマネジメントの実装を目的としたGearsOSがある．
+これは，CbCによって実装されている．
+3つ目はスタンドアロンOSの開発を目的とした，CbC\_xv6と呼ばれるGearsOSがある．
+これは，教育用に開発されたx.v6 OSをCbCで書き換える形で実装している．
+今回，ファイルシステムを実装する対象は3つ目のCbC\_xv6である．
 
 ContextはGearsOS上全てのCodeGear，DataGearの参照を持ち，CodeGearとDataGearの接続に用いられる．
 OS上の処理の実行単位で，従来のOSにおけるプロセスに相当する機能であるといえる．