Mercurial > hg > Papers > 2015 > atton-thesis

annotate main.tex @ 3:4cac648eb36e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add table of contents v1
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 03 Feb 2015 17:55:53 +0900
parents 1e28ac702c1e
children cc74def322a8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \documentclass[a4j,12pt]{jreport}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 \usepackage[dvips]{graphicx}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 \usepackage{mythesis}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 \usepackage{multirow}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 \usepackage{here}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 \setlength{\itemsep}{-1zh}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 \title{}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 \icon{
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 \includegraphics[width=80mm,bb=0 0 595 842]{fig/ryukyu.pdf}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 }
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 \year{平成Y年度 卒業論文}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 \belongto{琉球大学工学部情報工学科}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 \author{0957 \\ 指導教員 {} }
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 %%
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 %% プリアンブルに記述
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 %% Figure 環境中で Table 環境の見出しを表示・カウンタの操作に必要
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 %%
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 \makeatletter
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 \newcommand{\figcaption}[1]{\def\@captype{figure}\caption{#1}}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 \newcommand{\tblcaption}[1]{\def\@captype{table}\caption{#1}}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 \makeatother
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 \setlength\abovecaptionskip{0pt}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 \begin{document}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 % タイトル
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 \maketitle
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 \baselineskip 17pt plus 1pt minus 1pt
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 \pagenumbering{roman}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 \setcounter{page}{0}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 \tableofcontents % 目次
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 \listoffigures % 図目次
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 \listoftables % 表目次
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 %以下のように、章ごとに個別の tex ファイルを作成して、
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 % main.tex をコンパイルして確認する。
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 %章分けは個人で違うので下のフォーマットを参考にして下さい。
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
3
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
41 % FIXME: Temporary table of contents
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
42 \chapter{研究背景と目的}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
43
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
44 \chapter{プログラムの変更を表現する Delta Monad}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
45 \section{Delta の データ定義}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
46 \section{Delta の Functor 定義}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
47 \section{Delta の Monad 定義}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
48 \section{Delta を用いたプログラムの変更}
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49
3
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
50 \chapter{Categorical Definitions of Monad}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
51 \section{Category}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
52 \section{Functor}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
53 \section{Natural Transformation}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
54 \section{Monad}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
55 \section{Monads in Functional Programming}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
56
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
57 \chapter{Disposition of Category?}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
58 \section{Product}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
59 \section{CoProduct}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
60 \section{Limit}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
61 \section{CoLimit}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
62 \section{Equalizer ?}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
63 \section{Indexed Category}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
64 \section{Delta との対応}
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
3
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
66 \chapter{Agda による証明手法}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
67 \section{Natural Deduction}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
68 \section{Curry-Howard Isomorphism}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
69 \section{Agda による証明}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
70 \section{Reasoning}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
71 \section{Example?}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
72
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
73 \chapter{Delta が Monad である証明}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
74 \section{Agda における Functor 則}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
75 \section{Agda における Monad 則}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
76 \section{Delta が Functor 則を満たす証明}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
77 \section{Delta が Monad 則を満たす証明}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
78
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
79 \chapter{任意の Monad と Delta の組み合せ}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
80 \section{Monad と組み合せた Delta である DeltaM の定義}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
81 \section{DeltaM が Monad 則を満たす証明}
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82
3
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
83 \chapter{結論}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
84 %
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
85 % % はじめに
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
86 % \input{chapter1.tex}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
87 %
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
88 % % 基礎概念
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
89 % \input{chapter2.tex}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
90 %
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
91 % % 実験
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
92 % \input{chapter3.tex}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
93 %
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
94 % % 他の論文との比較
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
95 % %\input{chapter4.tex}
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
96 %
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
97 % % 今後の課題
4cac648eb36e Add table of contents v1
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
98 % \input{future.tex}
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 % 参考文献
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 \input{bibliography.tex}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 % 謝辞
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 \input{thanks.tex}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 % 付録
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 %\input{appendix.tex}
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 \end{document}