view final_main/main.aux @ 4:6d00f6c9bb8a

update
author mir3636
date Mon, 13 Feb 2017 16:28:35 +0900
parents 72e058e7e594
children a2e61c11df3c
line wrap: on
line source

\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {第1章}メタ計算の重要性}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:introduction}{{1}{1}}
\@writefile{toc}{\contentsline {chapter}{\numberline {第2章}Continuation based C (CbC)}{2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Continuation based C (CbC)}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces goto による code gear 間の継続}}{2}}
\newlabel{fig:cs}{{2.1}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Code Gear}{2}}
\newlabel{code_simple}{{2.1}{2}}
\@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.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}{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 {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 {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@ }}