changeset 36:32cbe5f209f1

Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 08 Apr 2014 17:08:56 +0900
parents 196a6a236f41
children c7d57cf16fdb
files slides/20140408/slide.md
diffstat 1 files changed, 32 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140408/slide.md	Tue Apr 08 17:08:56 2014 +0900
@@ -0,0 +1,32 @@
+title: プログラムのデバッグ支援(仮)
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+# 研究目的(仮)
+
+* プログラムのデバッグは複雑になることがある
+* 例えば、あるif文の条件を満たすには、必要な状態がある
+* そういった状態を自動で導出したい
+* model checking を使えばいける?
+
+# 近況報告
+
+* インストール大会
+* Int in Agda
+
+# Int in Agda
+
+* だいたい Church 数な感じ
+
+* Int : X -> (X -> X) -> X
+* O   : Int
+* O   = \x -> \f -> x
+* S   : Int -> Int
+* S t = \x -> \f -> f (t)
+
+* 定義はしたけれど命題はちょっと詰まってます
+
+
+<!-- vim: set filetype=markdown.slide: -->