プログラムのデバッグ支援(仮)

Yasutaka Higa

プログラムのデバッグ支援(仮)

研究目的(仮)

  • プログラムのデバッグは複雑になることがある
  • 例えば、ある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ではダメだった