# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1410247584 -32400
# Node ID 8d98d8d5b471d6b2bb56e9d7dcb62f4c4e4a1532
# Parent  309850f23a679232bfd20043dbe9c2f5bb1a24c7
Update template

diff -r 309850f23a67 -r 8d98d8d5b471 template/slide.md
--- a/template/slide.md	Tue Sep 02 18:03:18 2014 +0900
+++ b/template/slide.md	Tue Sep 09 16:26:24 2014 +0900
@@ -1,16 +1,15 @@
-title: プログラムのデバッグ支援(仮)
+title: プログラムのデバッグ支援
 author: Yasutaka Higa
 cover:
 lang: Japanese
 
 
 
-# 研究目的(仮)
-
+# 研究目的
 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
-* 挙動は予想されていた挙動と異なる場合があり、それはバグとなる
-* ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
-* 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する
+* しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい
+* ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい
+* これによりリファクタリング支援や後方互換性の支援などを行なう
 
 
 # hoge