Mercurial > hg > Papers > 2017 > atton-master
comparison paper/atton-master.tex @ 66:40ae32725e55
Add push/pop description
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 04 Feb 2017 12:23:25 +0900 |
parents | c0693ad89f04 |
children | 804d4b0b8c6e |
comparison
equal
deleted
inserted
replaced
65:c0693ad89f04 | 66:40ae32725e55 |
---|---|
6 % type system に名前を付ける? | 6 % type system に名前を付ける? |
7 % 先の展望を書くべきだな | 7 % 先の展望を書くべきだな |
8 % gears and monad | 8 % gears and monad |
9 % delta monad | 9 % delta monad |
10 % 副査名修正 | 10 % 副査名修正 |
11 % csComp の解説 | |
11 | 12 |
12 | 13 |
13 \documentclass[a4j,12pt]{jreport} | 14 \documentclass[a4j,12pt]{jreport} |
14 \usepackage{master_paper} | 15 \usepackage{master_paper} |
15 \usepackage{ascmac} | 16 \usepackage{ascmac} |