comparison paper/atton-master.tex @ 69:bda11534296f

Update pdf
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 04 Feb 2017 16:34:14 +0900
parents 804d4b0b8c6e
children 4b8a75618f36
comparison
equal deleted inserted replaced
68:804d4b0b8c6e 69:bda11534296f
114 114
115 %arabic 115 %arabic
116 \mainmatter 116 \mainmatter
117 117
118 %chapters 118 %chapters
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
125 \chapter{まとめ} 125 \chapter{まとめ}
126 \section{今後の課題} 126 \section{今後の課題}
127 127