changeset 62:af2d176a4f2c

Update slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 12 Aug 2014 17:56:16 +0900
parents b4bf52190b5a
children 34f398a5f52a
files slides/20140812/slide.md
diffstat 1 files changed, 14 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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