Mercurial > hg > Papers > 2021 > ikkun-master

annotate master_paper.aux @ 0:36dcba72eb2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Sat, 13 Feb 2021 22:14:15 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \relax
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 \@writefile{toc}{\contentsline {chapter}{研究関連論文業績}{iii}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 \@writefile{toc}{\contentsline {chapter}{\numberline {第1章} OS の信頼性}{5}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 \@writefile{toc}{\contentsline {chapter}{\numberline {第2章}Gears OSとCbC}{6}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces codeGear と DataGear}}{6}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 \newlabel{fig:code-datagear}{{2.1}{6}}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 \@writefile{toc}{\contentsline {chapter}{\numberline {第3章}既存のモデル検査手法}{10}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 \@writefile{toc}{\contentsline {chapter}{\numberline {第4章}Continuation based C}{11}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 \@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Gears OS のメタ計算}}{12}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 \newlabel{fig:meta_Gear}{{4.1}{12}}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 \@writefile{toc}{\contentsline {chapter}{\numberline {第5章}DPP}{13}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 \newlabel{src:cbc_example}{{5.1}{13}}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}DPP}{13}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 \@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Dining Philosohers Ploblem}}{14}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 \newlabel{DPP_imag}{{5.1}{14}}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 \@writefile{toc}{\contentsline {chapter}{\numberline {第6章}タブロー展開と状態数の抽象化}{15}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 \@writefile{toc}{\contentsline {chapter}{\numberline {第7章}GearsOSを用いたモデル検査}{16}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 \@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces DPP chacking}}{17}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 \newlabel{DPP_chacking}{{7.1}{17}}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 \@writefile{toc}{\contentsline {chapter}{\numberline {第8章}OS自体のモデル検査}{18}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 \@writefile{toc}{\contentsline {chapter}{\numberline {第9章}まとめ}{19}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 \@writefile{toc}{\contentsline {chapter}{\numberline {第10章}まとめ}{20}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 \@writefile{toc}{\contentsline {section}{\numberline {10.1}総括}{20}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 \@writefile{toc}{\contentsline {section}{\numberline {10.2}今後の課題}{20}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 \@writefile{toc}{\contentsline {subsection}{\numberline {10.2.1}hogehoge}{20}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 \@writefile{toc}{\contentsline {chapter}{謝辞}{20}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 \citation{*}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 \bibdata{reference}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 \@writefile{toc}{\contentsline {chapter}{謝辞}{21}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 \bibcite{cbc}{1}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 \bibcite{moggi-monad}{2}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 \bibcite{Yang:2010:SLI:1806596.1806610}{3}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 \bibcite{Klein:2009:SFV:1629575.1629596}{4}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 \bibcite{Sigurbjarnarson:2016:PVF:3026877.3026879}{5}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 \bibstyle{junsrt}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 \@writefile{toc}{\contentsline {chapter}{参考文献}{22}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 \@writefile{toc}{\contentsline {chapter}{付録}{22}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 \@writefile{toc}{\contentsline {chapter}{\numberline {付 録A }研究会業績}{23}\protected@file@percent }
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 \@writefile{lof}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 \@writefile{lot}{\addvspace {10\p@ }}
ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 \@writefile{toc}{\contentsline {section}{\numberline {A-1}研究会発表資料}{23}\protected@file@percent }