# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1392106525 -32400
# Node ID 34dbfd717009a0556bd16ea99cc3529034e141bb
# Parent  d23e83bd3e70356e7e9af4e5d8ae9000d283c3a5
Update slide for seminar

diff -r d23e83bd3e70 -r 34dbfd717009 slides/20140211/slide.md
--- a/slides/20140211/slide.md	Tue Feb 04 23:25:42 2014 +0900
+++ b/slides/20140211/slide.md	Tue Feb 11 17:15:25 2014 +0900
@@ -1,12 +1,18 @@
-title: 近況報告
+title: 証明によるソフトウェア信頼性の向上(仮)
 author: Yasutaka Higa
 cover:
 lang: Japanese
 
 
+# あじぇんだ
+
+* 近況報告
+* slides on mercurial
+* 研究テーマについて
+
 # 近況報告
 
-* slides on mercurial
+* テスト期間終わりました
 
 # slides on mercurial
 
@@ -16,3 +22,13 @@
 * ということで生成されたものを保存する repository を作りました
 * firefly の /Users/one/hg/Members/atton/generated_seminar_slides
 * スクリプトで自動で同期させてます。(またhook)
+
+# 証明によるソフトウェア信頼性の向上(仮)
+
+* 研究テーマを考えています
+* 何を使って証明をするのか
+    * 証明支援系(Agda?) or 型システム(Haskell?)
+* 何を証明するのか
+    * Data Segment
+    * Open System
+    * 動的型付け言語の静的解析