Mercurial > hg > Papers > 2020 > tobaru-master
comparison paper/master_paper.aux @ 4:a4a1a68d8811
Paging, Context
author | tobaru |
---|---|
date | Tue, 28 Jan 2020 16:00:07 +0900 |
parents | db8087751680 |
children | 73697739a74d |
comparison
equal
deleted
inserted
replaced
3:db8087751680 | 4:a4a1a68d8811 |
---|---|
7 \@writefile{lot}{\addvspace {10\p@ }} | 7 \@writefile{lot}{\addvspace {10\p@ }} |
8 \@writefile{toc}{\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}\protected@file@percent } | 8 \@writefile{toc}{\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}\protected@file@percent } |
9 \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{3}\protected@file@percent } | 9 \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{3}\protected@file@percent } |
10 \newlabel{fig:codegear}{{2.1}{3}} | 10 \newlabel{fig:codegear}{{2.1}{3}} |
11 \@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}\protected@file@percent } | 11 \@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}\protected@file@percent } |
12 \@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{5}\protected@file@percent } | 12 \@writefile{toc}{\contentsline {section}{\numberline {2.3}Context}{4}\protected@file@percent } |
13 \newlabel{fig:meta_cg_dg}{{2.2}{5}} | 13 \newlabel{contexth}{{2.1}{4}} |
14 \@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Gears OS での Paging}{6}\protected@file@percent } | 14 \@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}Context}{4}\protected@file@percent } |
15 \@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{6}\protected@file@percent } | |
16 \newlabel{fig:meta_cg_dg}{{2.2}{6}} | |
17 \@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6 から Gears OS への書き換え}{7}\protected@file@percent } | |
15 \@writefile{lof}{\addvspace {10\p@ }} | 18 \@writefile{lof}{\addvspace {10\p@ }} |
16 \@writefile{lot}{\addvspace {10\p@ }} | 19 \@writefile{lot}{\addvspace {10\p@ }} |
17 \@writefile{toc}{\contentsline {chapter}{付録}{6}\protected@file@percent } | 20 \@writefile{toc}{\contentsline {chapter}{\numberline {第4章}Gears OS での Paging}{8}\protected@file@percent } |
21 \@writefile{lof}{\addvspace {10\p@ }} | |
22 \@writefile{lot}{\addvspace {10\p@ }} | |
23 \@writefile{toc}{\contentsline {section}{\numberline {4.1}Paging}{8}\protected@file@percent } | |
24 \@writefile{toc}{\contentsline {section}{\numberline {4.2}Gears OS での Paging}{8}\protected@file@percent } | |
25 \@writefile{toc}{\contentsline {section}{\numberline {4.3}Paging の書き換え}{8}\protected@file@percent } | |
26 \@writefile{toc}{\contentsline {chapter}{付録}{8}\protected@file@percent } |