comparison paper/atton-master.tex @ 70:4b8a75618f36

Add summary
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sun, 05 Feb 2017 16:53:16 +0900
parents bda11534296f
children b0cfef1cd89f
comparison
equal deleted inserted replaced
69:bda11534296f 70:4b8a75618f36
119 \input{introduction.tex} 119 \input{introduction.tex}
120 \input{cbc.tex} 120 \input{cbc.tex}
121 \input{type.tex} 121 \input{type.tex}
122 \input{agda.tex} 122 \input{agda.tex}
123 \input{cbc-type.tex} 123 \input{cbc-type.tex}
124 124 \input{summary.tex}
125 \chapter{まとめ}
126 \section{今後の課題}
127 125
128 %謝辞 126 %謝辞
129 \addcontentsline{toc}{chapter}{謝辞} 127 \addcontentsline{toc}{chapter}{謝辞}
130 \input{thanks.tex} 128 \input{thanks.tex}
131 129