Categorical Formalization for Program Modification
Yasutaka Higa
Categorical Formalization for Program Modification
Yasutaka Higa
研究目的
プログラムの信頼性を向上させたい
プログラムの信頼性が変化するのはプログラムを変更した時である
プログラムの変更を表すデータ構造を定義し、その性質を解析する
その結果から、プログラムの信頼性を向上させる手法を提案する(?)
本研究ではプログラムの変更をMonadとして定義し、Monad によって構成される圏を解析する
近況報告
業務連絡 : プロシン申し込みました
無限の変更を表せる Delta の証明ができました
Category の方の Monad則
業務連絡 : プロシン申し込み
プロシン申し込みました
書類貰ってきました
あってる……?
講座への振込依頼書
なんか怪しい?
Prove monad laws in Category for Delta
とりあえずベタに書きました
record とか使ってない
Functor, Natural Transformation
昨日証明が書けたので解説用資料無いです……