--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/text/chapter2.tex	Wed Jan 05 20:09:22 2022 +0900
@@ -0,0 +1,40 @@
+\chapter{Continuation based C}
+\section{CodeGearとDataGear}
+\section{ノーマルレベルとメタレベル}
+\section{継続性}
+
+\chapter{GearsOS}
+\section{信頼性の保証}
+\section{stub}
+\section{context}
+
+\chapter{Christie}
+\section{Gearの概念}
+\section{DataGearManager}
+\section{topology manager}
+
+\chapter{UnixのFileSystem}
+\section{inode}
+
+\chapter{GearsFileSystemのdirectory}
+\section{Treeによるdirectory構造}
+\section{Unix Like な interface}
+\subsection{mkdir}
+\subsection{ls}
+\subsection{cd}
+\section{inodeを用いたdirectory entry}
+\section{非破壊的編集によるBackup}
+
+\chapter{File構造}
+\section{I/O Stream}
+\section{logによるバージョン管理}
+
+\chapter{WordCount}
+\section{API}
+\section{GearBox的な処理}
+
+\chapter{今後の課題}
+\section{分散ファイルシステム}
+\section{GearsAgda}
+\section{shell}
+\section{モデル検査}
\ No newline at end of file