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: -->