--- a/presentation/slide.html	Mon Feb 13 17:15:10 2017 +0900
+++ b/presentation/slide.html	Mon Feb 13 17:31:45 2017 +0900
@@ -86,7 +86,7 @@
 <!-- === begin markdown block ===
 
       generated by markdown/1.2.0 on Ruby 2.3.3 (2016-11-21) [x86_64-darwin16]
-                on 2017-02-13 17:14:46 +0900 with Markdown engine kramdown (1.13.0)
+                on 2017-02-13 17:31:01 +0900 with Markdown engine kramdown (1.13.0)
                   using options {}
   -->
 
@@ -167,7 +167,7 @@
   <li>CodeSegment どうしを接続することによりプログラム全体を作る</li>
 </ul>
 
-<p><img src="./images/goto.svg" alt="goto" width="50%" /></p>
+<p><img src="./images/cs.svg" alt="cs" width="50%" /></p>
 
 
 </div>
@@ -184,7 +184,7 @@
   </li>
 </ul>
 
-<p><img src="./images/csds.svg" alt="csds" width="50%" /></p>
+<p><img src="./images/ds.svg" alt="ds" width="50%" /></p>
 
 
 </div>
@@ -212,9 +212,10 @@
 <ul>
   <li>メタ計算を行なう CodeSegment</li>
   <li>通常の CodeSegment どうしの接続の間に入る</li>
-  <li>TODO: 図</li>
 </ul>
 
+<p><img src="./images/mcs.svg" alt="mcs" width="50%" /></p>
+
 
 </div>
 <div class='slide '>
@@ -223,9 +224,10 @@
 <ul>
   <li>メタ計算用の DataSegment</li>
   <li>通常の DataSegment を含むような DataSegment</li>
-  <li>TODO: 図</li>
 </ul>
 
+<p><img src="./images/mds.svg" alt="mds" width="50%" /></p>
+
 
 </div>
 <div class='slide '>
@@ -252,9 +254,10 @@
       <li>ルートから最下位ノードへの経路に含まれる黒ノードの数はどの最下位ノードでも一定</li>
     </ul>
   </li>
-  <li>TODO: 図</li>
 </ul>
 
+<p><img src="./images/rbtree.svg" alt="rbtree" width="50%" /></p>
+
 
 </div>
 <div class='slide '>
@@ -444,7 +447,10 @@
   goto cs1(a+b);
 }
 </code></pre>
-<pre><code>cs0 : CodeSegment ds0 ds1
+<pre><code>data CodeSegment (A B : Set) : Set where
+  cs : (A -&gt; B) -&gt; CodeSegment A B
+
+cs0 : CodeSegment ds0 ds1
 cs0 = cs (\d -&gt; goto cs1 (record {c = (ds0.a d) + (ds0.b d)}))
 </code></pre>