Mercurial > hg > Members > atton > generated_seminar_slides

changeset 36:c590e46d848d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 12 Aug 2014 17:04:51 +0900
parents 1c06da3b790e
children 803e86852630
files slides/20140812/slide.html slides/20140812/slide.md
diffstat 2 files changed, 42 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20140812/slide.html	Tue Aug 12 16:49:20 2014 +0900
+++ b/slides/20140812/slide.html	Tue Aug 12 17:04:51 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 16:49:19 +0900 with Markdown engine kramdown (1.3.3)
+                on 2014-08-12 17:04:50 +0900 with Markdown engine kramdown (1.3.3)
                   using options {}
   -->
 
@@ -118,9 +118,7 @@
     <ul>
       <li>beta-eta conversion wipes out
         <ul>
-          <li>non-termination</li>
-          <li>non-determinisim</li>
-          <li>side-efects</li>
+          <li>non-termination, non-determinisim, side-effects</li>
         </ul>
       </li>
     </ul>
@@ -130,6 +128,7 @@
       <li>Categorical Semantics of computations based on monads</li>
     </ul>
   </li>
+  <li>T is notion of computation</li>
 </ul>
 
 
@@ -148,7 +147,7 @@
   <li>Kleisli triples との対応
     <ul>
       <li>(T, eta, mu) と (T, eta, _ * )</li>
-      <li>このあたりはソフトウェア工学でやった</li>
+      <li>このあたりはソフトウェア工学でやったところなのでどうにか</li>
     </ul>
   </li>
   <li>Many Sorted Monadic Equational Launguage くらいから謎
@@ -159,6 +158,33 @@
   </li>
 </ul>
 
+
+
+		</section>
+</div></div>
+
+<div class="slide" id="7"><div>
+		<section>
+			<header>
+				<h1 id="monad-for-cbc">Monad for CbC?</h1>
+			</header>
+			<!-- _S9SLIDE_ -->
+
+<ul>
+  <li>Monad は codomain が 2つある
+    <ul>
+      <li>A と T A</li>
+      <li>なので A と T A 間での identitiy はきちんと取る必要がありそう</li>
+    </ul>
+  </li>
+  <li>f : A -&gt; T B
+    <ul>
+      <li>f x     の場合は x : A</li>
+      <li>f =« x の場合は x : T A</li>
+    </ul>
+  </li>
+</ul>
+
 <!-- vim: set filetype=markdown.slide: -->
 <!-- === end markdown block === -->
 
--- a/slides/20140812/slide.md	Tue Aug 12 16:49:20 2014 +0900
+++ b/slides/20140812/slide.md	Tue Aug 12 17:04:51 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: -->