# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1396944536 -32400
# Node ID 32cbe5f209f19a4b5838b3add42582e9bcc2157a
# Parent  196a6a236f41ae67bdd3630b818f6873b9591fcc
Add slide for seminar

diff -r 196a6a236f41 -r 32cbe5f209f1 slides/20140408/slide.md
--- /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: -->