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

diff -r ed40fd13dc27 -r 944b6f2b650e slides/20140923/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140923/slide.md	Tue Sep 23 17:29:17 2014 +0900
@@ -0,0 +1,20 @@
+title: プログラムのデバッグ支援
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+
+# 研究目的
+* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
+* しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい
+* ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい
+* これによりリファクタリング支援や後方互換性の支援などを行なう
+
+
+# 近況報告
+* Kernel/VM 探検隊に行ってきました
+* 今週の金曜日に卒研中間インタビューがあります
+* Similar の定義またやってきました
+
+<!-- vim: set filetype=markdown.slide: -->