# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1407833778 -32400
# Node ID 803e8685263003f21f689106286ae847a921080c
# Parent  c590e46d848dca18d1f76f3f051dd55e918a4e3a
auto-Update generated slides by script

diff -r c590e46d848d -r 803e86852630 slides/20140812/slide.html
--- a/slides/20140812/slide.html	Tue Aug 12 17:04:51 2014 +0900
+++ b/slides/20140812/slide.html	Tue Aug 12 17:56:18 2014 +0900
@@ -43,7 +43,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.2 (2014-05-08) [x86_64-darwin13.0]
-                on 2014-08-12 17:04:50 +0900 with Markdown engine kramdown (1.3.3)
+                on 2014-08-12 17:56:17 +0900 with Markdown engine kramdown (1.3.3)
                   using options {}
   -->
 
@@ -166,6 +166,58 @@
 <div class="slide" id="7"><div>
 		<section>
 			<header>
+				<h1 id="notions-of-computation-and-monads--">Notions of computation and monads : ながれ</h1>
+			</header>
+			<!-- _S9SLIDE_ -->
+
+<ul>
+  <li>あとは流し読み</li>
+  <li>Many sorted Monadic Equational Language -&gt; The Simple metalanguage
+    <ul>
+      <li>(let とか。) 1Monad を複数回適用可能?</li>
+    </ul>
+  </li>
+  <li>A Simple Programming Language
+    <ul>
+      <li>existential とかが導入されるらしいですが……</li>
+    </ul>
+  </li>
+</ul>
+
+
+
+		</section>
+</div></div>
+
+<div class="slide" id="8"><div>
+		<section>
+			<header>
+				<h1 id="notions-of-computation-and-monads---1">Notions of computation and monads : ながれ</h1>
+			</header>
+			<!-- _S9SLIDE_ -->
+
+<ul>
+  <li>Extending the simple metalanguage
+    <ul>
+      <li>Strong Monad (A x T B) -&gt; T A B</li>
+    </ul>
+  </li>
+  <li>Interpretation and formal system</li>
+  <li>Strong monads over a topos
+    <ul>
+      <li>location, if とかが が入る</li>
+    </ul>
+  </li>
+</ul>
+
+
+
+		</section>
+</div></div>
+
+<div class="slide" id="9"><div>
+		<section>
+			<header>
 				<h1 id="monad-for-cbc">Monad for CbC?</h1>
 			</header>
 			<!-- _S9SLIDE_ -->
diff -r c590e46d848d -r 803e86852630 slides/20140812/slide.md
--- a/slides/20140812/slide.md	Tue Aug 12 17:04:51 2014 +0900
+++ b/slides/20140812/slide.md	Tue Aug 12 17:56:18 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