Mercurial > hg > Members > atton > generated_seminar_slides

changeset 68:ae20b978b159

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 Thu, 29 Jan 2015 16:59:59 +0900
parents 5c2f8763b6d1
children a2ea330dd9d4
files slides/20150129/slide.html slides/20150129/slide.md
diffstat 2 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20150129/slide.html	Thu Jan 29 16:57:38 2015 +0900
+++ b/slides/20150129/slide.html	Thu Jan 29 16:59:59 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-01-29 16:57:36 +0900 with Markdown engine kramdown (1.4.2)
+                on 2015-01-29 16:59:58 +0900 with Markdown engine kramdown (1.4.2)
                   using options {}
   -->
 
@@ -86,6 +86,8 @@
       <li>が、もう片方が無理です</li>
     </ul>
   </li>
+  <li>できた方     : mu . eta == id</li>
+  <li>できてない方 : mu . (fmap eta) == id</li>
 </ul>
 
 
--- a/slides/20150129/slide.md	Thu Jan 29 16:57:38 2015 +0900
+++ b/slides/20150129/slide.md	Thu Jan 29 16:59:59 2015 +0900
@@ -19,6 +19,8 @@
 * 長さ制限付きの無限長 Delta の証明ができました
 * そのおかげで DeltaM の unity-law の1つはできました
     * が、もう片方が無理です
+* できた方     : mu . eta == id
+* できてない方 : mu . (fmap eta) == id
 
 # つまってるところ
 ```