# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1407830690 -32400
# Node ID b4bf52190b5a99a8286811a9b83041e030acffff
# Parent  cfb00e108b974b8c497af190849148446f017ad9
Update slides

diff -r cfb00e108b97 -r b4bf52190b5a slides/20140812/slide.md
--- a/slides/20140812/slide.md	Tue Aug 12 16:49:18 2014 +0900
+++ b/slides/20140812/slide.md	Tue Aug 12 17:04:50 2014 +0900
@@ -29,18 +29,25 @@
 # Notions of computation and monads
 * proving Equivalence of programs
     * beta-eta conversion wipes out
-        * non-termination
-        * non-determinisim
-        * side-efects
+        * non-termination, non-determinisim, side-effects
 * follows monads
     * Categorical Semantics of computations based on monads
+* T is notion of computation
 
 # Many Sorted Monadic Equational Language ?
 * Kleisli triples との対応
     * (T, eta, mu) と (T, eta, _ * )
-    * このあたりはソフトウェア工学でやった
+    * このあたりはソフトウェア工学でやったところなのでどうにか
 * Many Sorted Monadic Equational Launguage くらいから謎
     * page6-7 とか
     * 確実に引数を1つ持つ関数どうしの Equation?
 
+# Monad for CbC?
+* Monad は codomain が 2つある
+    * A と T A
+    * なので A と T A 間での identitiy はきちんと取る必要がありそう
+* f : A -> T B
+    * f x     の場合は x : A
+    * f =<< x の場合は x : T A
+
 <!-- vim: set filetype=markdown.slide: -->