--- a/final_main/main.aux	Sun Feb 12 19:03:28 2017 +0900
+++ b/final_main/main.aux	Mon Feb 13 16:28:35 2017 +0900
@@ -14,39 +14,49 @@
 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip code segment の軽量継続}{2}}
 \@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces code segment の軽量継続}}{3}}
 \newlabel{fig:code_simple}{{2.2}{3}}
+\newlabel{factorial}{{2.2}{3}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {2.2}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip 階乗を求める CbC プログラムの例}{3}}
 \@writefile{toc}{\contentsline {section}{\numberline {2.3}環境付き継続}{3}}
-\newlabel{gotoWithTheEnv}{{2.2}{3}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {2.2}環境付き継続}{3}}
+\newlabel{gotoWithTheEnv}{{2.3}{4}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {2.3}環境付き継続}{4}}
 \@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces 環境付き継続}}{4}}
 \newlabel{fig:gotoWithTheEnv}{{2.3}{4}}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Gears OS}{5}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Gears OS}{6}}
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\@writefile{toc}{\contentsline {section}{\numberline {3.1}Gears OS}{6}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.2}Context}{6}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.3}Meta Code Gear}{6}}
+\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces meta computation}}{7}}
+\newlabel{fig:metaCS}{{3.1}{7}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.4}stub Code Gear}{7}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.5}CbC による Gears OS の構文サポート}{7}}
+\@writefile{toc}{\contentsline {section}{\numberline {3.6}interface の記述}{7}}
+\newlabel{interface}{{3.1}{7}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}stack の interface}{7}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}LLVM/clang による CbC の実装}{8}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {3.1}Gears OS}{5}}
-\@writefile{toc}{\contentsline {section}{\numberline {3.2}CbC による Gears OS の構文サポート}{5}}
-\@writefile{toc}{\contentsline {section}{\numberline {3.3}Meta Code Gear}{5}}
-\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces meta computation}}{6}}
-\newlabel{fig:metaCS}{{3.1}{6}}
-\@writefile{toc}{\contentsline {section}{\numberline {3.4}stub Code Gear}{6}}
-\@writefile{toc}{\contentsline {section}{\numberline {3.5}interface の記述}{6}}
-\newlabel{gotoWithTheEnv}{{3.1}{6}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}stack の interface}{6}}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}LLVM/clang による CbC の実装}{7}}
+\@writefile{toc}{\contentsline {section}{\numberline {4.1}LLVM clang}{8}}
+\@writefile{toc}{\contentsline {section}{\numberline {4.2}clang の基本構造}{8}}
+\newlabel{sec:clang}{{4.2}{8}}
+\@writefile{toc}{\contentsline {section}{\numberline {4.3}LLVM の基本構造}{9}}
+\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces LLVM の 処理過程}}{10}}
+\newlabel{fig:llvmProcess}{{4.1}{10}}
+\@writefile{toc}{\contentsline {section}{\numberline {4.4}LLVM/clang のデバッグ}{10}}
+\newlabel{ir_a}{{4.1}{10}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.1}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip LLVM IR コード 修正前}{10}}
+\newlabel{ir_b}{{4.2}{11}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.2}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip LLVM IR コード 修正後}{11}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}Context、stub の自動生成}{12}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {4.1}LLVM clang}{7}}
-\@writefile{toc}{\contentsline {section}{\numberline {4.2}LLVM の基本構造}{7}}
-\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces LLVM の 処理過程}}{8}}
-\newlabel{fig:llvmProcess}{{4.1}{8}}
-\@writefile{toc}{\contentsline {section}{\numberline {4.3}LLVM/clang のデバッグ}{8}}
-\newlabel{ir_a}{{4.1}{8}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.1}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip LLVM IR コード 修正前}{8}}
-\newlabel{ir_b}{{4.2}{9}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.2}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip LLVM IR コード 修正後}{9}}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}Context、stub の自動生成}{10}}
+\@writefile{toc}{\contentsline {section}{\numberline {5.1}stub の生成}{12}}
+\@writefile{toc}{\contentsline {section}{\numberline {5.2}Context の生成}{12}}
+\newlabel{context}{{5.1}{12}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip context の定義}{12}}
+\newlabel{init_context}{{5.2}{14}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\relax \fontsize  {10}{12}\selectfont  \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 5\p@ plus2.5\p@ minus\p@ \topsep 10\p@ plus4\p@ minus6\p@ \itemsep 5\p@ plus2.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip 生成された context}{14}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {第6章}今後の課題}{16}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {5.1}Context の生成}{10}}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第6章}今後の課題}{11}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}