--- a/template/slide.md	Tue Jun 24 16:22:43 2014 +0900
+++ b/template/slide.md	Tue Jul 01 16:59:57 2014 +0900
@@ -4,18 +4,21 @@
 lang: Japanese
 
 
+
 # 研究目的(仮)
 
-* プログラムのデバッグは複雑になることがある
-* 例えば、あるif文の条件を満たすには、必要な状態がある
-* そういった状態を自動で導出したい
-* model checking を使えばいける?
+* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
+* 挙動は予想されていた挙動と異なる場合があり、それはバグとなる
+* ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
+* 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する
+
 
 # hoge
 
 * hoge
 * hogehoge
 
+
 # fuga
 
 * fuga