\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{xv6}
\citation{xv6component}
\citation{xv6kernel}
\@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{Unixのファイルシステム}}{3}{}\protected@file@percent }
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces inodeでのファイル属性情報\relax }}{3}{}\protected@file@percent }
\newlabel{table:inode}{{1}{3}}
\newlabel{src:ftree}{{2}{3}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}{\ignorespaces FTreeのinterface}}{3}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces index treeを用いたinodeの検索の流れ\relax }}{4}{}\protected@file@percent }
\newlabel{fig:inode}{{4}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces 非破壊的なTree編集\relax }}{4}{}\protected@file@percent }
\newlabel{fig:TreeEdit}{{5}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {5}\hskip 1zw{GearsFileSystemにおけるインターフェース}}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}{mkdir}}{4}{}\protected@file@percent }
\newlabel{src:mkdir}{{3}{4}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}{\ignorespaces mkdirのCodeGear}}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}{ls}}{4}{}\protected@file@percent }
\citation{cfile}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces mkdirの操作の流れ\relax }}{5}{}\protected@file@percent }
\newlabel{fig:mkdir}{{6}{5}}
\newlabel{src:ls}{{4}{5}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}{\ignorespaces lsのCodeGear}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}{cd}}{5}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces lsの操作の流れ\relax }}{5}{}\protected@file@percent }
\newlabel{fig:ls}{{7}{5}}
\newlabel{src:cd}{{5}{5}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5}{\ignorespaces cdのCodeGear}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}\hskip 1zw{GearsFileSystemにおけるファイルの構成}}{5}{}\protected@file@percent }
\citation{file}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces cdの操作の流れ\relax }}{6}{}\protected@file@percent }
\newlabel{fig:cd}{{8}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces WordCount with CbC\relax }}{6}{}\protected@file@percent }
\newlabel{fig:WCStates}{{9}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{GearsOSのメモリマネージメントシステムの考察}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {8}\hskip 1zw{今後の課題}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}{GearsShell}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}{GearsDirectory filename}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}{GearsDirectory path}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}{ファイルのバックアップ}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5}{GearsDirectory on disk}}{6}{}\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{xv6}{7}
\bibcite{xv6component}{8}
\bibcite{xv6kernel}{9}
\bibcite{cfile}{10}
\bibcite{file}{11}
\bibcite{christie}{12}
\@writefile{toc}{\contentsline {section}{\numberline {9}\hskip 1zw{まとめ}}{7}{}\protected@file@percent }
\newlabel{ipsj@lastpage}{{}{7}}
\gdef \@abspage@last{7}