# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1421739909 -32400
# Node ID 9de4706401368bc2b82fde01147306f4a49ee89c
# Parent  2ff557390ef8a6675930792c25a43c7deac201e8
Add slide for seminar

diff -r 2ff557390ef8 -r 9de470640136 slides/20150120/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20150120/slide.md	Tue Jan 20 16:45:09 2015 +0900
@@ -0,0 +1,30 @@
+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: -->