Mercurial > hg > Papers > 2015 > atton-thesis
comparison main.tex @ 46:1b688e70f2a8
Move proofs to appendix
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 15 Feb 2015 11:17:59 +0900 |
| parents | 470d99799398 |
| children | d65a84d36eba |
comparison
equal
deleted
inserted
replaced
| 45:12c5e455fe55 | 46:1b688e70f2a8 |
|---|---|
| 68 \tableofcontents % 目次 | 68 \tableofcontents % 目次 |
| 69 \listoffigures % 図目次 | 69 \listoffigures % 図目次 |
| 70 \listoftables % 表目次 | 70 \listoftables % 表目次 |
| 71 \lstlistoflistings % ソースコード目次 | 71 \lstlistoflistings % ソースコード目次 |
| 72 | 72 |
| 73 | 73 % 本文 |
| 74 \input{introduction} | 74 \input{introduction} |
| 75 \pagenumbering{arabic} | 75 \pagenumbering{arabic} |
| 76 \input{delta} | 76 \input{delta} |
| 77 \input{category} | 77 \input{category} |
| 78 \input{functional_programming} | 78 \input{functional_programming} |
| 79 \input{agda} | 79 \input{agda} |
| 80 \input{proof_delta} | 80 \input{delta_with_monad.tex} |
| 81 | 81 |
| 82 \chapter{任意の Monad と Delta の組み合せ} | |
| 83 \section{Monad と組み合せた Delta である DeltaM の定義} | |
| 84 \section{DeltaM が Monad 則を満たす証明} | |
| 85 | 82 |
| 86 % 今後の課題 | 83 % 今後の課題 |
| 87 \input{future.tex} | 84 \input{future.tex} |
| 88 | 85 |
| 89 % 参考文献 | 86 % 参考文献 |