Mercurial > hg > Members > atton > seminar_slides
view slides/20140408/slide.md @ 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 | |
children |
line wrap: on
line source
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: -->