Mercurial > hg > Papers > 2015 > atton-thesis

changeset 90:b29ab7ecf509

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix presentation
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 20 Feb 2015 22:14:01 +0900
parents dc01e38c4fc1
children 6a12eb22be8c
files english_presentation/slide.html english_presentation/slide.md
diffstat 2 files changed, 9 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/english_presentation/slide.html	Thu Feb 19 22:22:46 2015 +0900
+++ b/english_presentation/slide.html	Fri Feb 20 22:14:01 2015 +0900
@@ -36,7 +36,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.2.0 (2014-12-25) [x86_64-darwin13]
-                on 2015-02-19 22:22:37 +0900 with Markdown engine kramdown (1.4.2)
+                on 2015-02-20 22:13:54 +0900 with Markdown engine kramdown (1.4.2)
                   using options {}
   -->
 
@@ -63,7 +63,7 @@
 
 <ul>
   <li>Monad is a notion of Category theory</li>
-  <li>Monad represents meta computations in functional programming languages</li>
+  <li>Monad represents meta computations in functional program</li>
   <li>We proposed Delta Monad representation of program modifications</li>
   <li>We give definitions and the proof</li>
   <li>Delta Monad can be used with other monads</li>
@@ -106,8 +106,8 @@
   <li>lambda term
     <ul>
       <li>variables : x,y</li>
+      <li>lambda : \x -&gt; f x</li>
       <li>function applications : f x</li>
-      <li>lambda : \x -&gt; f x</li>
     </ul>
   </li>
   <li>type
@@ -295,7 +295,7 @@
 <div class="slide" id="14"><div>
 		<section>
 			<header>
-				<h1 id="execution-program-includes-two-version">Execution Program includes two version</h1>
+				<h1 id="execute-program-includes-two-version">Execute Program includes two version</h1>
 			</header>
 			<!-- _S9SLIDE_ -->
 
@@ -328,7 +328,7 @@
   <li>Delta Monad can be used with other monads</li>
   <li>Meta computations can be added function to Delta
     <ul>
-      <li>Exception, Logging , I/O</li>
+      <li>Exception, Logging , I/O, etc…</li>
     </ul>
   </li>
 </ul>
--- a/english_presentation/slide.md	Thu Feb 19 22:22:46 2015 +0900
+++ b/english_presentation/slide.md	Fri Feb 20 22:14:01 2015 +0900
@@ -11,7 +11,7 @@
 
 # Formalization using Monad
 * Monad is a notion of Category theory
-* Monad represents meta computations in functional programming languages
+* Monad represents meta computations in functional program
 * We proposed Delta Monad representation of program modifications
 * We give definitions and the proof
 * Delta Monad can be used with other monads
@@ -27,8 +27,8 @@
 * A program is a typed lambda calculus
 * lambda term
     * variables : x,y
+    * lambda : \x -> f x
     * function applications : f x
-    * lambda : \x -> f x
 * type
     * type variable   : A, B
     * functional type : A -> B
@@ -110,7 +110,7 @@
 numberCount x = count =<< numberFilter =<< generator x
 ```
 
-# Execution Program includes two version
+# Execute Program includes two version
 * result
     * Version 1 : 168
     * Version 2 : 500
@@ -123,7 +123,7 @@
 # Combine Delta Monad with other Monads
 * Delta Monad can be used with other monads
 * Meta computations can be added function to Delta
-    * Exception, Logging , I/O
+    * Exception, Logging , I/O, etc...
 
 # An Example Delta Monad with Traces
 ```