Mercurial > hg > Papers > 2015 > atton-thesis

changeset 65:4f7137c0ea15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add agda wiki into bibliography
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 17 Feb 2015 12:28:08 +0900
parents 5c6f6d7b5bb5
children f15155ec9bd9
files prepaper/115763K.tex prepaper/reference.bib
diffstat 2 files changed, 9 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/prepaper/115763K.tex	Tue Feb 17 12:23:20 2015 +0900
+++ b/prepaper/115763K.tex	Tue Feb 17 12:28:08 2015 +0900
@@ -3,6 +3,7 @@
 \usepackage{picins}
 \usepackage{fancyhdr}
 \usepackage{listings}
+\usepackage{url}
 \pagestyle{fancy}
 \lhead{\parpic{\includegraphics[height=1zw,keepaspectratio,bb=0 0 251 246]{pic/emblem-bitmap.pdf}}琉球大学主催 工学部情報工学科 卒業研究発表会}
 \rhead{}
@@ -155,7 +156,7 @@
 
 numberCount プログラムに対して 1000 を与えると、1 から 1000 までの中から素数の個数を数えた 168 と、偶数の個数を数えた500が得られる。
 このように Delta Monad によってプログラムの変更を表すことで全てのバージョンを同時に実行することが可能となる。
-なお、 Delta が Monadであることを保証するMonad則を満たすることは証明支援言語Agdaによって証明した。
+なお、 Delta が Monadであることを保証するMonad則を満たすることは証明支援言語Agda~\cite{agdawiki}によって証明した。
 
 \section{他の Monad との組み合せ}
 Delta Monad によりプログラムの変更を表現することができた。
--- a/prepaper/reference.bib	Tue Feb 17 12:23:20 2015 +0900
+++ b/prepaper/reference.bib	Tue Feb 17 12:28:08 2015 +0900
@@ -59,3 +59,10 @@
   ftp         = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
 }
 
+
+@misc{agdawiki,
+    title = {The Agda wiki},
+    howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
+    note = {Accessed: 2015/02/17(Tue)}
+}
+