# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1417511340 -32400
# Node ID b71b93d2259fac4b1ea20e9327d2e1adb82d8216
# Parent  485f37d993cc2a1d04c0e1e85e670dd3b6c29608
Add slide for seminar

diff -r 485f37d993cc -r b71b93d2259f slides/20141202/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20141202/slide.md	Tue Dec 02 18:09:00 2014 +0900
@@ -0,0 +1,32 @@
+title: Categorical Formalization for Program Modification
+author: Yasutaka Higa
+profile:
+lang: Japanese
+
+
+# 研究目的
+* プログラムの信頼性を向上させたい
+* プログラムの信頼性が変化するのはプログラムを変更した時である
+* プログラムの変更を表すデータ構造を定義し、その性質を解析する
+* その結果から、プログラムの信頼性を向上させる手法を提案する(?)
+* 本研究ではプログラムの変更をMonadとして定義し、Monad によって構成される圏を解析する
+
+# 近況報告
+* 業務連絡 : プロシン申し込みました
+* 無限の変更を表せる Delta の証明ができました
+    * Category の方の Monad則
+
+# 業務連絡 : プロシン申し込み
+* プロシン申し込みました
+* 書類貰ってきました
+    * あってる……?
+    * 講座への振込依頼書
+    * なんか怪しい?
+
+# Prove monad laws in Category for Delta
+* とりあえずベタに書きました
+    * record とか使ってない
+    * Functor, Natural Transformation
+* 昨日証明が書けたので解説用資料無いです……
+
+<!-- vim: set filetype=markdown.slide: -->