Mercurial > hg > Papers > 2015 > atton-thesis

comparison main.tex @ 6:3b861ecdec9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add description meta computation
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sat, 07 Feb 2015 11:18:37 +0900
parents cc74def322a8
children c4da3e667aad
comparison
equal deleted inserted replaced
5:bafd7d4af924 6:3b861ecdec9b
35 \tableofcontents % 目次 35 \tableofcontents % 目次
36 \listoffigures % 図目次 36 \listoffigures % 図目次
37 \listoftables % 表目次 37 \listoftables % 表目次
38 38
39 \input{introduction} 39 \input{introduction}
40 40 \input{delta}
41 \chapter{プログラムの変更を表現する Delta Monad}
42 \section{Delta の定義}
43 \section{Haskell における Delta Monad の実装例}
44 \section{Delta を用いたプログラムの変更の記述}
45 41
46 \chapter{Categorical Definitions of Monad} 42 \chapter{Categorical Definitions of Monad}
47 \section{Category} 43 \section{Category}
48 \section{Functor} 44 \section{Functor}
49 \section{Natural Transformation} 45 \section{Natural Transformation}