changeset 71:243328f8f857

Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 07 Oct 2014 16:26:32 +0900
parents 944b6f2b650e
children 916d62123b1c
files slides/20141007/slide.md
diffstat 1 files changed, 27 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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: -->