\relax 
\citation{modelcheck}
\citation{cbcllvm}
\citation{cbc}
\newlabel{ipsj@firstpage}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}\hskip 1zw{GearsOSにおけるファイルシステム}}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}\hskip 1zw{Continuation based C}}{1}{}\protected@file@percent }
\citation{gears}
\citation{gearsos}
\citation{cr}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces CodeGearと入出力の関係図\relax }}{2}{}\protected@file@percent }
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:dgcg}{{1}{2}}
\newlabel{src:cbc}{{1}{2}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}{\ignorespaces CbCのプログラム例}}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}\hskip 1zw{信頼性の保証を目的としたGearsOS}}{2}{}\protected@file@percent }
\citation{*}
\bibstyle{ipsjunsrt}
\bibdata{matac-bib}
\bibcite{modelcheck}{1}
\bibcite{cbcllvm}{2}
\bibcite{cbc}{3}
\bibcite{gears}{4}
\bibcite{gearsos}{5}
\bibcite{cr}{6}
\bibcite{file}{7}
\bibcite{cfile}{8}
\bibcite{xv6kernel}{9}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{3}{}\protected@file@percent }
\newlabel{fig:context}{{2}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces CodeGearとMetaCodeGearの関係\relax }}{3}{}\protected@file@percent }
\newlabel{fig:meta-cgdg}{{3}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}\hskip 1zw{RedBlackTreeよるファイルシステムの構成}}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}\hskip 1zw{ディスク上とメモリ上のデータ構造}}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}\hskip 1zw{データのロールバック}}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{並行アップデート時の問題}}{3}{}\protected@file@percent }
\bibcite{xv6component}{10}
\bibcite{xv6}{11}
\bibcite{christie}{12}
\newlabel{ipsj@lastpage}{{}{4}}
\gdef \@abspage@last{4}