changeset 83:b71b93d2259f

Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Dec 2014 18:09:00 +0900
parents 485f37d993cc
children faff7abdf14b
files slides/20141202/slide.md
diffstat 1 files changed, 32 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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: -->