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

diff -r b4bf52190b5a -r af2d176a4f2c slides/20140812/slide.md
--- a/slides/20140812/slide.md	Tue Aug 12 17:04:50 2014 +0900
+++ b/slides/20140812/slide.md	Tue Aug 12 17:56:16 2014 +0900
@@ -42,6 +42,20 @@
     * page6-7 とか
     * 確実に引数を1つ持つ関数どうしの Equation?
 
+# Notions of computation and monads : ながれ
+* あとは流し読み
+* Many sorted Monadic Equational Language -> The Simple metalanguage
+    * (let とか。) 1Monad を複数回適用可能?
+* A Simple Programming Language
+    * existential とかが導入されるらしいですが……
+
+# Notions of computation and monads : ながれ
+* Extending the simple metalanguage
+    * Strong Monad (A x T B) -> T A B
+* Interpretation and formal system
+* Strong monads over a topos
+    * location, if とかが が入る
+
 # Monad for CbC?
 * Monad は codomain が 2つある
     * A と T A