title: Categorical Formalization of Program Modification
author: Yasutaka Higa
profile:
lang: Japanese


# 研究目的 (Categorical Formalization)
* プログラムの信頼性を向上させるために開発手法に着目する
* プログラムの信頼性が変化するのはプログラムを変更した時である
* 信頼性を保ちながらプログラムを変更にプログラムの変更を形式化する
* Monad によってプログラムの変更を記述する

# 研究目的 (Parallel Debugger)
* 本研究では Monad を用いてプログラムの変更を定義する
* Monad とは meta computation とデータ構造を対応付ける手法である
* プログラムの変更は変更前の動作を保存しつつ変更後の動作を追加することで表現する
* 異なるバージョンのプログラムを同時に実行し、トレースを比較することでデバッグを支援する手法を提案する

# 近況報告
* ウィンターワークショップ連絡きてます
    * なにかはっぴょうするんですかね……?
* DeltaM の Agda ってます

# DeltaM の Agda な話
* Record で Functor, NaturalTransformation, Monad
* DeltaM の Functor 書けました
* DeltaM の Monad で今のへーってしてます
* Monad の constraints をどう書くか……

<!-- vim: set filetype=markdown.slide: -->