Mercurial > hg > Papers > 2018 > nozomi-master
comparison paper/atton-master.tex @ 76:a9ed6a6dc1f2
Add chapter akasha
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Wed, 08 Feb 2017 13:50:52 +0900 |
| parents | a3a9d56f71ec |
| children | 897fda8e39c5 |
comparison
equal
deleted
inserted
replaced
| 75:a3a9d56f71ec | 76:a9ed6a6dc1f2 |
|---|---|
| 4 % akasha は別 chapter にして | 4 % akasha は別 chapter にして |
| 5 % あと増量させる | 5 % あと増量させる |
| 6 % あと syntax を最新に合わせて動かしてくれ | 6 % あと syntax を最新に合わせて動かしてくれ |
| 7 % type system に名前を付ける? | 7 % type system に名前を付ける? |
| 8 % 先の展望を書くべきだな | 8 % 先の展望を書くべきだな |
| 9 % gears and monad | |
| 10 % delta monad | 9 % delta monad |
| 11 % 副査名修正 | 10 % 副査名修正 |
| 12 % csComp, push-pop, exec-comp の解説 | 11 % csComp, push-pop, exec-comp の解説 |
| 13 % 型システムの説明は付録に | 12 % 型システムの説明は付録に |
| 14 % というか説明が良くない | 13 % というか説明が良くない |
| 15 % ポンチ絵を増やして良い(meta とかの上書き) | 14 % ポンチ絵を増やして良い(meta とかの上書き) |
| 16 % stub を生成するスクリプトを作ってるって書いて良い | 15 % stub を生成するスクリプトを作ってるって書いて良い |
| 17 % スローガンを書きたい | 16 % スローガンを書きたい |
| 17 % ソースで省略しているところはそう書く | |
| 18 | 18 |
| 19 | 19 |
| 20 \documentclass[a4j,12pt]{jreport} | 20 \documentclass[a4j,12pt]{jreport} |
| 21 \usepackage{master_paper} | 21 \usepackage{master_paper} |
| 22 \usepackage{ascmac} | 22 \usepackage{ascmac} |
| 119 | 119 |
| 120 %arabic | 120 %arabic |
| 121 \mainmatter | 121 \mainmatter |
| 122 | 122 |
| 123 %chapters | 123 %chapters |
| 124 \input{introduction.tex} | 124 %\input{introduction.tex} |
| 125 \input{cbc.tex} | 125 \input{cbc.tex} |
| 126 \input{type.tex} | 126 \input{akasha.tex} |
| 127 \input{agda.tex} | 127 %\input{type.tex} |
| 128 \input{cbc-type.tex} | 128 %\input{agda.tex} |
| 129 \input{summary.tex} | 129 %\input{cbc-type.tex} |
| 130 %\input{summary.tex} | |
| 130 | 131 |
| 131 %謝辞 | 132 %謝辞 |
| 132 \addcontentsline{toc}{chapter}{謝辞} | 133 \addcontentsline{toc}{chapter}{謝辞} |
| 133 \input{thanks.tex} | 134 \input{thanks.tex} |
| 134 | 135 |