Mercurial > hg > Members > atton > seminar_slides
view slides/20140513/slide.md @ 43:d12b4b41c73f
Add slide for seminar
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 13 May 2014 16:03:00 +0900 |
parents | |
children |
line wrap: on
line source
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: -->