--- a/presen/index.html	Tue May 26 03:46:51 2015 +0900
+++ b/presen/index.html	Thu Feb 04 17:28:04 2016 +0900
@@ -35,7 +35,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.0.0 (2013-02-24) [x86_64-darwin12.3.0]
-                on 2015-05-26 03:46:41 +0900 with Markdown engine kramdown (1.4.0)
+                on 2015-05-26 17:03:53 +0900 with Markdown engine kramdown (1.4.0)
                   using options {}
   -->
 
@@ -293,6 +293,7 @@
 			</header>
 			<!-- _S9SLIDE_ -->
 
+<img src="pictures/GearsOS_arch.svg" alt="arch" width="50%" align="right"/>
 <p>実行に必要な情報をまとめた Context を生成</p>
 
 <p>　OS の Process, Thread に相当</p>
@@ -307,7 +308,6 @@
 
 <p>Data Gear に格納される Data Type の情報</p>
 
-<p><img src="pictures/GearsOS_arch.svg" alt="arch" style="width: 50%" /></p>
 
 
 
@@ -514,7 +514,7 @@
 
 <pre><code>// Code Gear
 __code code1(Allocate allocate) {
-    allocate.size = sizeof(long);
+    allocate.size = sizeof(struct Node);
     allocate.next = Code2;
     goto Allocate(allocate); // goes through meta
 }
@@ -566,6 +566,11 @@
 			</header>
 			<!-- _S9SLIDE_ -->
 
+                        <p>必要な機能の実装</p>
+
+                        <p>　Synchronized Queue</p>
+
+
 <p>Cerium と同様の例題を動かし比較・評価</p>
 
 <p>　Sort</p>
@@ -594,7 +599,6 @@
 
 <p>Meta Code/Data Gear を用いて Meta Computation を実現する</p>
 
-<p>Meta Computation の一つとして Model Checking を行う</p>
 <!-- === end markdown block === -->
 
 		</section>