Mercurial > hg > Papers > 2023 > soto-master
comparison Paper/master_paper.tex @ 8:d4f3d9d283a2
...
| author | soto <soto@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 23 Jan 2023 13:18:37 +0900 |
| parents | c821e707a5ee |
| children | 1a8a9fa534a2 |
comparison
equal
deleted
inserted
replaced
| 7:c821e707a5ee | 8:d4f3d9d283a2 |
|---|---|
| 118 \input{tex/cbc.tex} | 118 \input{tex/cbc.tex} |
| 119 \input{tex/agda.tex} | 119 \input{tex/agda.tex} |
| 120 | 120 |
| 121 \input{tex/cbc_agda.tex} | 121 \input{tex/cbc_agda.tex} |
| 122 | 122 |
| 123 | |
| 123 \chapter{Gears Agda による定理証明} | 124 \chapter{Gears Agda による定理証明} |
| 124 \input{tex/hoare.tex} | 125 \input{tex/hoare.tex} |
| 125 \input{tex/while_loop.tex} % while loop の実装と検証(簡単に) | 126 \input{tex/while_loop.tex} % while loop の実装と検証(簡単に) |
| 126 \input{tex/tree_desc.tex}% Gears Agda における木構造の設計 | 127 \input{tex/tree_desc.tex}% Gears Agda における木構造の設計 |
| 127 | 128 |