Mercurial > hg > Papers > 2017 > atton-master

annotate paper/atton-master.tex @ 6:5c0e43b1b559

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Import reference from atton-thesis
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:32:57 +0900
parents cb4bf01e9ad9
children d96616ca051a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \documentclass[a4j,12pt]{jreport}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 \usepackage{master_paper}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 \usepackage{ascmac}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 \usepackage[dvipdfmx]{graphicx}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 \usepackage{here}
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
6 \usepackage{listings}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 \usepackage{comment}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 \usepackage[deluxe, multi]{otf}
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
9 \usepackage{url}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
10 \usepackage{cite}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
11 \usepackage{listings}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
12 \usepackage{bussproofs}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
13 \usepackage{amssymb}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
14 \usepackage[utf8]{inputenc}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 %\input{dummy.tex} %% font
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
4
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
18 \jtitle{メタ計算を用いた Continuation based C の検証手法}
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
19 \etitle{Verification Methods of Continuation based C using Meta Computations}
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
20 \year{2017年 3月}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
21 \eyear{March 2017}
4
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
22 \author{比嘉 健太}
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
23 \eauthor{Yasutaka HIGA}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 \chife{指導教員：教授　和田 知久}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 \echife{Supervisor: Prof. Tomohisa WADA}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 \marklefthead{% 左上に挿入
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 \begin{minipage}[b]{.4\textwidth}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 琉球大学大学院学位論文(修士)
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 \end{minipage}}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 \markleftfoot{% 左下に挿入
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 \begin{minipage}{.8\textwidth}
4
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
34 メタ計算を用いた Continuation based C の検証手法
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 \end{minipage}}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 \newcommand\figref[1]{図 \ref{fig:#1}}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 \newcommand\tabref[1]{表 \ref{tab:#1}}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 \lstset{
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 frame=single,
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
42 keepspaces=true,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
43 stringstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
44 commentstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
45 identifierstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
46 keywordstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
47 basicstyle={\ttfamily},
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 breaklines=true,
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
49 xleftmargin=0zw,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
50 xrightmargin=0zw,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
51 framerule=.2pt,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
52 columns=[l]{fullflexible},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
53 numbers=left,
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 stepnumber=1,
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
55 numberstyle={\scriptsize},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
56 numbersep=1em,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
57 language={},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
58 tabsize=4,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
59 lineskip=-0.5zw,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
60 escapechar={@},
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 }
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 %%% 索引のために以下の2行を追加
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 \usepackage{makeidx,multicol}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 \makeindex
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 \begin{document}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 %rome
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 \frontmatter
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 \maketitle
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 \newpage
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 \makecommission
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 %要旨
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
77 % \input{abstract.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
78 % \input{abstract_eng.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 %目次
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 \tableofcontents
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 %図目次
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 \listoffigures
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 %表目次
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 \listoftables
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 %arabic
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 \mainmatter
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 %chapters
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
93 % \input{intro.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
94 % \input{cerium.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
95 % \input{cbc.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
96 % \input{gearsos.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
97 % \input{comparison.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
98 % \input{evaluation.tex}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
99 % \input{conclusion.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 %謝辞
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 \addcontentsline{toc}{chapter}{謝辞}
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
103 % \input{thx.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 %参考文献
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 \nocite{*}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 \bibliographystyle{junsrt}
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
108 \bibliography{reference}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 %発表履歴
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 \addcontentsline{toc}{chapter}{発表履歴}
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
112 % \input{history.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 %付録
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 \addcontentsline{toc}{chapter}{付録}
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
116 % \input{appendix.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 \end{document}