Mercurial > hg > Papers > 2015 > atton-thesis

comparison delta.tex @ 11:76ce5bb18092

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Category definition
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 08 Feb 2015 11:53:19 +0900
parents c2dda6eeab57
children 11015b94a5cd
comparison
equal deleted inserted replaced
10:c2dda6eeab57 11:76ce5bb18092
1 \chapter{プログラムの変更を表現する Delta Monad} 1 \chapter{プログラムの変更を表現する Delta Monad}
2 \label{chapter:delta}
2 3
3 本研究では Monad によりプログラムの変更を定義する。 4 本研究では Monad によりプログラムの変更を定義する。
4 5
5 そのためにまずはプログラムを定義する。 6 そのためにまずはプログラムを定義する。
6 プログラムは型付けされた値と、値を値へと写像する関数のみで構成されるものとする。 7 プログラムは型付けされた値と、値を値へと写像する関数のみで構成されるものとする。
16 全ての変更単位で変更されたプログラムを保存し、それらを比較することでプログラムの変更を表現しようと考えた。 17 全ての変更単位で変更されたプログラムを保存し、それらを比較することでプログラムの変更を表現しようと考えた。
17 このメタ計算を表す Monad を Delta Monad と呼ぶ。 18 このメタ計算を表す Monad を Delta Monad と呼ぶ。
18 19
19 \section{Delta Monad の定義} 20 \section{Delta Monad の定義}
20 21
21 任意の型Aに対するメタ計算Tを考えた時、プログラムの変更は式\ref{meta_computation_definition}のように定義される。 22 任意の型Aに対するメタ計算Tを考えた時、プログラムの変更は式\ref{exp:meta_computation_definition}のように定義される。
22 23
23 \begin{equation} 24 \begin{equation}
24 T A = V A 25 T A = V A
25 \label{meta_computation_definition} 26 \label{exp:meta_computation_definition}
26 \end{equation} 27 \end{equation}
27 28
28 V はプログラムの全てバージョンの集合であり、V AとすることでAに対応する値の集合を返すものとする。 29 V はプログラムの全てバージョンの集合であり、V AとすることでAに対応する値の集合を返すものとする。
29 30
30 31