@techreport{oai:ipsj.ixsq.nii.ac.jp:00218154,
 author = {又吉, 雄斗 and 河野, 真治},
 issue = {12},
 month = {May},
 note = {当研究室では，Continuation based C（CbC）を用い，定理証明やモデル検査などで信頼性を保証することを目的とした GearsOS を開発している．現在，GearsOS には未実装の機能がいくつかあり，その一つとしてファイルシステムが挙げられる．それは，OS 上でアプリケーションを動作させるために，特に重要な機能であり，必要不可欠であるため実装したい．今回，GearsOS のファイルシステムを実装するにあたり，Unixのinode の仕組みを参考にした．また，ファイルシステムと密接な関係であるメモリマネージメントについて考察した．},
 title = {GearsOSにおけるinodeを用いたファイルシステムの構築},
 year = {2022}
}