# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1404201597 -32400
# Node ID 0ca8c6a6d0dd8f6c33e3a76896a7d84cbc719ac6
# Parent  6de640a3ede90386173b9f0b6147e5407482a263
Update template

diff -r 6de640a3ede9 -r 0ca8c6a6d0dd template/slide.md
--- 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