Mercurial > hg > Members > atton > seminar_slides

changeset 42:a10d98fd143f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add slides for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 06 May 2014 17:59:11 +0900
parents 15aba4b4c11f
children d12b4b41c73f
files slides/20140506/slide.md
diffstat 1 files changed, 21 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140506/slide.md	Tue May 06 17:59:11 2014 +0900
@@ -0,0 +1,21 @@
+title: プログラムのデバッグ支援(仮)
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+# 研究目的(仮)
+
+* プログラムのデバッグを楽にしたい
+* 例えば、あるif文が実行される時、条件において変数の具体的な値を自動で導出したい
+* if文などの構文に対して model checking を行なって値を導出する
+
+# やったこと
+
+* 進捗無いです……
+* 形式的モデルと意味論
+    * 「第15章 プログラム証明のための手法と論理」
+    * 7節くらいまで
+    * 完全に斜め読み
+
+<!-- vim: set filetype=markdown.slide: -->