# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1412666792 -32400
# Node ID 243328f8f8572f4704aec56ae6147b8d80bc8aea
# Parent  944b6f2b650e56e9af86d43fadcd92f89a6a2bb4
Add slide for seminar

diff -r 944b6f2b650e -r 243328f8f857 slides/20141007/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20141007/slide.md	Tue Oct 07 16:26:32 2014 +0900
@@ -0,0 +1,27 @@
+title: プログラムのデバッグ支援
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+# 研究目的
+* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
+* しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい
+* ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい
+* これによりリファクタリング支援や後方互換性の支援などを行なう
+
+# 近況報告
+* Agda で証明始めました
+
+# Similar in Agda
+* Similar の定義だけ
+* あとは String と List を使いそうなのでそれも
+* 今のところ (Similar (Similar (Similar A))) のパターン分けが大変そうかな、といったところ(たぶん全部書かないといけない……?)
+* mu . fmap mu = mu . mu : TTT -> TT
+
+# Naming of Similar
+* ネーミングの話
+* これってどこが 'Similar' なの
+* 分岐するので Divergence Monad とかかなー、と考え中
+
+<!-- vim: set filetype=markdown.slide: -->