\relax 
\citation{modelcheck}
\citation{cbcllvm}
\citation{cbc}
\newlabel{ipsj@firstpage}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}\hskip 1zw{GearsOSにおけるファイルシステムとDB}}{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 }
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{2}{}\protected@file@percent }
\newlabel{fig:context}{{2}{2}}
\citation{directory}
\@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{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces 非破壊的なTree編集\relax }}{3}{}\protected@file@percent }
\newlabel{fig:TreeEdit}{{4}{3}}
\@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{RedBlackTreeのトランザクション}}{4}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces トランザクショナルなwrite時のルート操作\relax }}{4}{}\protected@file@percent }
\newlabel{fig:Transaction}{{5}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {8}\hskip 1zw{ファイルシステムにおけるスキーマ}}{4}{}\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{directory}{7}
\bibcite{file}{8}
\bibcite{cfile}{9}
\bibcite{xv6kernel}{10}
\bibcite{xv6component}{11}
\bibcite{xv6}{12}
\bibcite{christie}{13}
\@writefile{toc}{\contentsline {section}{\numberline {9}\hskip 1zw{RedBlackTreeによる権限の表現}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {10}\hskip 1zw{まとめと今後の課題}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1}{データクエリ言語}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2}{ログなどの時系列データの保存}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3}{スタンドアロンなDB}}{5}{}\protected@file@percent }
\newlabel{ipsj@lastpage}{{}{5}}
\gdef \@abspage@last{5}