Mercurial > hg > Papers > 2018 > nozomi-master

annotate paper/atton-master.tex @ 78:897fda8e39c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reconstruct paper
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Wed, 08 Feb 2017 14:49:51 +0900
parents a9ed6a6dc1f2
children c0199291c58e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
35
26c89a10de3c Update TODO
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
1 % TODO lists
29
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
2 % 比較対象
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
3 % agda の stack?
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
4 % akasha は別 chapter にして
75
a3a9d56f71ec First review
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
5 % あと増量させる
29
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
6 % あと syntax を最新に合わせて動かしてくれ
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
7 % type system に名前を付ける?
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
8 % 先の展望を書くべきだな
35
26c89a10de3c Update TODO
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
9 % delta monad
26c89a10de3c Update TODO
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
10 % 副査名修正
68
804d4b0b8c6e Update TODO
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 66
diff changeset
11 % csComp, push-pop, exec-comp の解説
75
a3a9d56f71ec First review
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
12 % 型システムの説明は付録に
a3a9d56f71ec First review
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
13 % というか説明が良くない
a3a9d56f71ec First review
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
14 % ポンチ絵を増やして良い(meta とかの上書き)
a3a9d56f71ec First review
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
15 % stub を生成するスクリプトを作ってるって書いて良い
a3a9d56f71ec First review
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
16 % スローガンを書きたい
76
a9ed6a6dc1f2 Add chapter akasha
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 75
diff changeset
17 % ソースで省略しているところはそう書く
35
26c89a10de3c Update TODO
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
18
29
6271235aa6a3 Add comments on seminar
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
19
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 \documentclass[a4j,12pt]{jreport}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 \usepackage{master_paper}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 \usepackage{ascmac}
34
9800586284e1 Writing expression ...
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
23 \usepackage{bussproofs}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 \usepackage[dvipdfmx]{graphicx}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 \usepackage{here}
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
26 \usepackage{listings}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 \usepackage{comment}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 \usepackage[deluxe, multi]{otf}
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
29 \usepackage{url}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
30 \usepackage{cite}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
31 \usepackage{listings}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
32 \usepackage{bussproofs}
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
33 \usepackage{amssymb}
10
2f944ab2f5f6 Mini fixes
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
34 \usepackage{amsmath}
52
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 49
diff changeset
35 \usepackage{colonequals}
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
36 \usepackage[utf8]{inputenc}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 %\input{dummy.tex} %% font
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
4
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
40 \jtitle{メタ計算を用いた Continuation based C の検証手法}
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
41 \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
42 \year{2017年 3月}
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
43 \eyear{March 2017}
4
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
44 \author{比嘉 健太}
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
45 \eauthor{Yasutaka HIGA}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 \chife{指導教員：教授　和田 知久}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 \echife{Supervisor: Prof. Tomohisa WADA}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 \marklefthead{% 左上に挿入
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 \begin{minipage}[b]{.4\textwidth}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 琉球大学大学院学位論文(修士)
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 \end{minipage}}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 \markleftfoot{% 左下に挿入
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 \begin{minipage}{.8\textwidth}
4
33105f1f5d24 Fix title
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
56 メタ計算を用いた Continuation based C の検証手法
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 \end{minipage}}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 \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
60 \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
61
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 \lstset{
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 frame=single,
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
64 keepspaces=true,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
65 stringstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
66 commentstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
67 identifierstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
68 keywordstyle={\ttfamily},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
69 basicstyle={\ttfamily},
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 breaklines=true,
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
71 xleftmargin=0zw,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
72 xrightmargin=0zw,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
73 framerule=.2pt,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
74 columns=[l]{fullflexible},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
75 numbers=left,
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 stepnumber=1,
5
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
77 numberstyle={\scriptsize},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
78 numbersep=1em,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
79 language={},
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
80 tabsize=4,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
81 lineskip=-0.5zw,
cb4bf01e9ad9 Add packages from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
82 escapechar={@},
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 }
14
6bf2e0196a1e Add goto.cbc and goto.pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
84 \def\lstlistingname{リスト}
6bf2e0196a1e Add goto.cbc and goto.pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
85 \def\lstlistlistingname{リスト目次}
41
d14c3fa5f3ea Wrote simple-type
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 35
diff changeset
86 \newtheorem{theorem}{定理}[section]
d14c3fa5f3ea Wrote simple-type
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 35
diff changeset
87 \newtheorem{lemma}{補題}[section]
34
9800586284e1 Writing expression ...
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
88
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 %%% 索引のために以下の2行を追加
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 \usepackage{makeidx,multicol}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 \makeindex
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 \begin{document}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 %rome
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 \frontmatter
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 \maketitle
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 \newpage
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 \makecommission
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 %要旨
10
2f944ab2f5f6 Mini fixes
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
104 \input{abstract.tex}
2f944ab2f5f6 Mini fixes
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
105 \input{abstract_eng.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 %目次
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 \tableofcontents
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 \listoffigures
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112
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 \listoftables
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115
14
6bf2e0196a1e Add goto.cbc and goto.pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
116 %リスト目次
6bf2e0196a1e Add goto.cbc and goto.pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
117 \lstlistoflistings
6bf2e0196a1e Add goto.cbc and goto.pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
118
6bf2e0196a1e Add goto.cbc and goto.pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 12
diff changeset
119
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 %arabic
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 \mainmatter
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 %chapters
78
897fda8e39c5 Reconstruct paper
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
124 \input{introduction.tex}
69
bda11534296f Update pdf
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 68
diff changeset
125 \input{cbc.tex}
76
a9ed6a6dc1f2 Add chapter akasha
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 75
diff changeset
126 \input{akasha.tex}
78
897fda8e39c5 Reconstruct paper
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
127 \input{agda.tex}
897fda8e39c5 Reconstruct paper
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
128 \input{cbc-type.tex}
897fda8e39c5 Reconstruct paper
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
129 \input{summary.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
130
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 %謝辞
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 \addcontentsline{toc}{chapter}{謝辞}
7
d96616ca051a Add thanks.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
133 \input{thanks.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
134
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 %参考文献
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 \nocite{*}
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 \bibliographystyle{junsrt}
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
138 \bibliography{reference}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
139
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 %発表履歴
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 \addcontentsline{toc}{chapter}{発表履歴}
8
debfed0aa2e4 Add history.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
142 \input{history.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
143
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 %付録
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 \addcontentsline{toc}{chapter}{付録}
71
b0cfef1cd89f Add sample source
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 70
diff changeset
146 \appendix
b0cfef1cd89f Add sample source
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 70
diff changeset
147 \input{sources.tex}
2
a8d3cbdebb3e Import main tex file from kkb-master
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 \end{document}