Mercurial > hg > Members > atton > seminar_slides

changeset 43:d12b4b41c73f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 13 May 2014 16:03:00 +0900
parents a10d98fd143f
children 5691bd96dd45
files slides/20140513/slide.md
diffstat 1 files changed, 34 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140513/slide.md	Tue May 13 16:03:00 2014 +0900
@@ -0,0 +1,34 @@
+title: プログラムのデバッグ支援(仮)
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+# 研究目的(仮)
+
+* プログラムのデバッグは複雑になることがある
+* 例えば、あるif文の条件を満たすには、必要な状態がある
+* そういった状態を自動で導出したい
+* model checking を使えばいける?
+
+
+# やったこと
+
+* Reading : Notion of Computation in Computaion and Monad
+    * With Kono 先生
+* ドモルガンの法則 on System T
+
+
+# Notion of Computation in Computation and Monad
+
+* Moggi 先生のMonadな論文です
+* 1章くらいまで読みました
+
+
+# ドモルガンの法則 on System T
+
+* とりあえず Bool に対して書いてみました
+* パターンマッチに対いてreflを書きまくるだけ
+* 変数に受けるとreflではダメだった
+
+<!-- vim: set filetype=markdown.slide: -->