Mercurial > hg > Members > atton > seminar_slides

changeset 28:4d583de693b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 25 Feb 2014 14:22:35 +0900
parents b9aeab8d9362
children 2184b4fd34f2
files template/slide.md
diffstat 1 files changed, 10 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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