0
|
1 \relax
|
|
2 \@writefile{toc}{\contentsline {chapter}{\numberline {第1章}メタ計算の重要性}{1}}
|
|
3 \@writefile{lof}{\addvspace {10\p@ }}
|
|
4 \@writefile{lot}{\addvspace {10\p@ }}
|
|
5 \newlabel{chap:introduction}{{1}{1}}
|
|
6 \@writefile{toc}{\contentsline {chapter}{\numberline {第2章}Continuation based C (CbC)}{2}}
|
|
7 \@writefile{lof}{\addvspace {10\p@ }}
|
|
8 \@writefile{lot}{\addvspace {10\p@ }}
|
|
9 \@writefile{toc}{\contentsline {section}{\numberline {2.1}Continuation based C (CbC)}{2}}
|
|
10 \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces goto による code gear 間の継続}}{2}}
|
|
11 \newlabel{fig:cs}{{2.1}{2}}
|
|
12 \@writefile{toc}{\contentsline {section}{\numberline {2.2}Code Gear}{2}}
|
|
13 \newlabel{code_simple}{{2.1}{2}}
|
|
14 \@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}}
|
|
15 \@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces code segment の軽量継続}}{3}}
|
|
16 \newlabel{fig:code_simple}{{2.2}{3}}
|
4
|
17 \newlabel{factorial}{{2.2}{3}}
|
|
18 \@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}}
|
0
|
19 \@writefile{toc}{\contentsline {section}{\numberline {2.3}環境付き継続}{3}}
|
4
|
20 \newlabel{gotoWithTheEnv}{{2.3}{4}}
|
|
21 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.3}環境付き継続}{4}}
|
0
|
22 \@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces 環境付き継続}}{4}}
|
|
23 \newlabel{fig:gotoWithTheEnv}{{2.3}{4}}
|
4
|
24 \@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Gears OS}{6}}
|
|
25 \@writefile{lof}{\addvspace {10\p@ }}
|
|
26 \@writefile{lot}{\addvspace {10\p@ }}
|
|
27 \@writefile{toc}{\contentsline {section}{\numberline {3.1}Gears OS}{6}}
|
|
28 \@writefile{toc}{\contentsline {section}{\numberline {3.2}Context}{6}}
|
|
29 \@writefile{toc}{\contentsline {section}{\numberline {3.3}Meta Code Gear}{6}}
|
|
30 \@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces meta computation}}{7}}
|
|
31 \newlabel{fig:metaCS}{{3.1}{7}}
|
|
32 \@writefile{toc}{\contentsline {section}{\numberline {3.4}stub Code Gear}{7}}
|
5
|
33 \@writefile{toc}{\contentsline {section}{\numberline {3.5}interface の記述}{7}}
|
4
|
34 \newlabel{interface}{{3.1}{7}}
|
|
35 \@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}stack の interface}{7}}
|
|
36 \@writefile{toc}{\contentsline {chapter}{\numberline {第4章}LLVM/clang による CbC の実装}{8}}
|
0
|
37 \@writefile{lof}{\addvspace {10\p@ }}
|
|
38 \@writefile{lot}{\addvspace {10\p@ }}
|
4
|
39 \@writefile{toc}{\contentsline {section}{\numberline {4.1}LLVM clang}{8}}
|
|
40 \@writefile{toc}{\contentsline {section}{\numberline {4.2}clang の基本構造}{8}}
|
|
41 \newlabel{sec:clang}{{4.2}{8}}
|
|
42 \@writefile{toc}{\contentsline {section}{\numberline {4.3}LLVM の基本構造}{9}}
|
|
43 \@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces LLVM の 処理過程}}{10}}
|
|
44 \newlabel{fig:llvmProcess}{{4.1}{10}}
|
|
45 \@writefile{toc}{\contentsline {section}{\numberline {4.4}LLVM/clang のデバッグ}{10}}
|
|
46 \newlabel{ir_a}{{4.1}{10}}
|
|
47 \@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}}
|
|
48 \newlabel{ir_b}{{4.2}{11}}
|
|
49 \@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}}
|
5
|
50 \@writefile{toc}{\contentsline {chapter}{\numberline {第5章}Context、stub Code Segment の自動生成}{12}}
|
0
|
51 \@writefile{lof}{\addvspace {10\p@ }}
|
|
52 \@writefile{lot}{\addvspace {10\p@ }}
|
5
|
53 \@writefile{toc}{\contentsline {section}{\numberline {5.1}stub Code Segment の生成}{12}}
|
|
54 \newlabel{stack_cbc}{{5.1}{12}}
|
|
55 \@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 SingleLinkedStack.cbc}{12}}
|
|
56 \newlabel{stack_c}{{5.2}{13}}
|
|
57 \@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 SingleLinkedStack.c}{13}}
|
|
58 \@writefile{toc}{\contentsline {section}{\numberline {5.2}Context の生成}{15}}
|
|
59 \newlabel{context}{{5.3}{15}}
|
|
60 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\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 の定義}{15}}
|
|
61 \newlabel{init_context}{{5.4}{17}}
|
|
62 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\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}{17}}
|
|
63 \@writefile{toc}{\contentsline {chapter}{\numberline {第6章}今後の課題}{18}}
|
0
|
64 \@writefile{lof}{\addvspace {10\p@ }}
|
|
65 \@writefile{lot}{\addvspace {10\p@ }}
|