\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {第1章}メモリ管理による信頼性の保証}{2}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{3}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{3}\protected@file@percent }
\newlabel{fig:codegear}{{2.1}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Context}{4}\protected@file@percent }
\newlabel{contexth、 caption}{{2.3}{4}}
\@writefile{lol}{\contentsline {lstlisting}{./src/context.h}{4}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{7}\protected@file@percent }
\newlabel{fig:meta_cg_dg}{{2.2}{7}}
\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6}{8}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{8}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3.2}system call}{8}\protected@file@percent }
\newlabel{syscall_list}{{3.1}{8}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}\footnotesize  xv6 のシステムコールのリスト}{8}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{10}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Paging}{10}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{10}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{11}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}インターフェースの定義}{11}\protected@file@percent }
\newlabel{interface}{{5.1}{11}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\footnotesize  vm のインターフェース}{11}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5.2}インターフェースの実装}{12}\protected@file@percent }
\newlabel{impl_vm}{{5.2}{12}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\footnotesize  vm インターフェースの実装}{12}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{15}\protected@file@percent }
\newlabel{impl_vm_privateh}{{5.3}{15}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\footnotesize  vm private のヘッダーファイル}{15}\protected@file@percent }
\newlabel{impl_vm_private}{{5.4}{17}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\footnotesize  vm private の実装}{17}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5.4}dummy による実行}{20}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{付録}{20}\protected@file@percent }