Mercurial > hg > Papers > 2015 > atton-thesis
changeset 47:d65a84d36eba
Fix appendix
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 15 Feb 2015 12:16:55 +0900 |
| parents | 1b688e70f2a8 |
| children | 422e96fda05a |
| files | appendix.tex delta_with_monad.tex main.tex |
| diffstat | 3 files changed, 6 insertions(+), 8 deletions(-) [+] |
line wrap: on
line diff
--- a/appendix.tex Sun Feb 15 11:17:59 2015 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,6 +0,0 @@ -\appendix - -\input{proof_delta} -% \input{proof_deltaM} -% TODO: 実験環境 -% TODO: Delta と DeltaM の本体
--- a/delta_with_monad.tex Sun Feb 15 11:17:59 2015 +0900 +++ b/delta_with_monad.tex Sun Feb 15 12:16:55 2015 +0900 @@ -1,4 +1,4 @@ \chapter{任意の Monad と Delta の組み合せ} -\section{Monad と組み合せた Delta である DeltaM の定義} +\section{Monad と組み合せた Delta である DeltaM} \section{DeltaM を用いたプログラムの例}
--- a/main.tex Sun Feb 15 11:17:59 2015 +0900 +++ b/main.tex Sun Feb 15 12:16:55 2015 +0900 @@ -77,6 +77,7 @@ \input{category} \input{functional_programming} \input{agda} +\input{proof_delta} \input{delta_with_monad.tex} @@ -90,6 +91,9 @@ \input{thanks.tex} % 付録 -\input{appendix.tex} +\appendix +% \input{proof_deltaM} +% TODO: 実験環境 +% TODO: Delta と DeltaM の本体 \end{document}