changeset 74:b35785b554a1

Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 28 Oct 2014 10:57:45 +0900
parents b58c0ab4f5e4
children 36da64ee66cf
files slides/20141028/slide.md
diffstat 1 files changed, 30 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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: -->