# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1393305755 -32400
# Node ID 4d583de693b37e44c717981c67725d26c7199dfb
# Parent  b9aeab8d9362a590b983c8d3347d871a4ff6c3dc
Update template

diff -r b9aeab8d9362 -r 4d583de693b3 template/slide.md
--- a/template/slide.md	Tue Feb 18 16:37:17 2014 +0900
+++ b/template/slide.md	Tue Feb 25 14:22:35 2014 +0900
@@ -1,15 +1,21 @@
-title: title
+title: 証明によるプログラムの信頼性の向上(仮)
 author: Yasutaka Higa
 cover:
 lang: Japanese
 
 
+# 研究目的(仮)
+
+* 証明によるプログラムの信頼性の向上を目指す。
+* 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。
+* 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。
+
 # hoge
 
-* hogee
-* hogeee
+* hoge
+* hogehoge
 
 # fuga
 
-* fugaaa
+* fuga
 * fugafuga