# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1418353132 -32400
# Node ID 4fe3d1a80017a96c353db4751940de530249c3dc
# Parent  c46e19c44d575a3aa054ee80f4dfaf112b3744fe
Add slide for seminar

diff -r c46e19c44d57 -r 4fe3d1a80017 slides/20141212/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20141212/slide.md	Fri Dec 12 11:58:52 2014 +0900
@@ -0,0 +1,30 @@
+title: Categorical Formalization of Program Modification
+author: Yasutaka Higa
+profile:
+lang: Japanese
+
+
+# 研究目的 (Categorical Formalization)
+* プログラムの信頼性を向上させるために開発手法を見直す
+* プログラムの信頼性が変化するのはプログラムを変更した時である
+* 信頼性を保ちながらプログラムを変更する手法を確立させたい
+* プログラムとその変更を表すモデルとして、 Category を用いる
+* Kleisli Category の Kleisli Triple と対応のある Monad によってプログラムの変更を記述する
+
+# 研究目的 (Parallel Debugger)
+* 本研究ではプログラムの変更を Monad として定義する
+* Monad とは meta computation とデータ構造を対応付ける手法である
+* Monad として異なるバージョンのプログラムを同時に実行するデータ構造 Delta を定義する
+* 異なるバージョン間のプログラムのトレースを比較することでデバッグを支援する手法を提案する
+
+# 近況報告
+* ウィンターワークショップ用ポジションペーパを書きました
+* あとB3ズのメール作りました
+
+# TODO
+* (P) Monad-laws in Haskell
+* (P) MonadTransform
+* (C) Universal Mapping Problem
+* (C) Functor with Save Limit
+
+<!-- vim: set filetype=markdown.slide: -->