Mercurial > hg > Papers > 2018 > nozomi-master
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 |