Mercurial > hg > Papers > 2015 > atton-thesis

comparison delta.tex @ 12:11015b94a5cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add figures category
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 08 Feb 2015 12:19:30 +0900
parents 76ce5bb18092
children 586f3ce1effe
comparison
equal deleted inserted replaced
11:76ce5bb18092 12:11015b94a5cd
30 30
31 31
32 32
33 \section{Haskell における Delta Monad の実装例} 33 \section{Haskell における Delta Monad の実装例}
34 34
35 式\ref{meta_computation_definition}のメタ計算をMonadで実現する。 35 式\ref{exp:meta_computation_definition}のメタ計算をMonadで実現する。
36 36
37 実装例としてプログラミング言語 Haskell を用いる。 37 実装例としてプログラミング言語 Haskell を用いる。
38 38
39 まずは全てのプログラムのバージョンを表わすデータ型 Delta を考える。 39 まずは全てのプログラムのバージョンを表わすデータ型 Delta を考える。
40 Delta の定義は \ref{src:delta_constructor} とする。 40 Delta の定義は \ref{src:delta_constructor} とする。