# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1414461465 -32400
# Node ID b35785b554a1b125244dd1d39a0ae9c85fc273bf
# Parent  b58c0ab4f5e408bafad9c0a608c2a7b392f11528
Add slide for seminar

diff -r b58c0ab4f5e4 -r b35785b554a1 slides/20141028/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20141028/slide.md	Tue Oct 28 10:57:45 2014 +0900
@@ -0,0 +1,30 @@
+title: モナドによるプログラムの変更
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+
+# 研究目的
+* プログラムを変更するとプログラムの実行結果も変わる
+* しかし、バージョン互換を維持する場合など、ソースコードを変更した後も同じ結果を得たい場合もある
+* プログラムの改変の際にモナドとして改変することで過去のプログラムの保存ながら改変する
+* これによりリファクタリング支援や後方互換性の確保、プログラムの変更による実行結果の変化の検出などを行なう
+* さらにプログラムの改変をモナドとして表すことで、モナドの理論的背景である圏論の視点からプログラムを改変することの意味を探る
+
+
+# Summary
+* Proof Monad-laws in Agda
+* 中間発表の予稿の第一稿書きました
+* Game 班の Wiki にスパムが来ていると指摘がありました
+    * 雑談板
+    * そのページだけを消しました
+
+# 中間発表の予稿
+* [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/texts/)にあります
+* hg/Members/atton/texts/
+
+# Proof Monad-laws in Agda
+* 関数合成を一旦分解したらいけました
+
+<!-- vim: set filetype=markdown.slide: -->