プログラムのデバッグ支援(仮)
Yasutaka Higa - profile not found -
研究目的(仮)
プログラムのデバッグは複雑になることがある
例えば、ある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ではダメだった
