Mercurial > hg > Members > atton > seminar_slides

changeset 24:34dbfd717009

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 11 Feb 2014 17:15:25 +0900
parents d23e83bd3e70
children 3fb1e07004fa
files slides/20140211/slide.md
diffstat 1 files changed, 18 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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
+    * 動的型付け言語の静的解析