--- a/finalSlide/finalSlide.html	Sun Feb 13 23:04:26 2022 +0900
+++ b/finalSlide/finalSlide.html	Mon Feb 14 16:46:02 2022 +0900
@@ -134,7 +134,7 @@
       </li>
     </ul>
   </li>
-  <li>分散フレームワークChrisiteの仕組みを用いることで</li>
+  <li>分散フレームワークChrisiteの仕組みで問題の一部を解決をはかる</li>
 </ul>
 
 
@@ -147,9 +147,9 @@
 <ul>
   <li>Javaで書かれた分散フレームワークである
     <ul>
-      <li>GearsOSと近い, Gearと言うプログラミング概念を持つ</li>
+      <li>GearsOSと似たGearと言うプログラミング概念を持つ</li>
+      <li>規格が決められたプロトコルを持たず、データのみの送受信で通信する</li>
       <li>自立分散を目指した設計となっている</li>
-      <li>規格が決められたプロトコルを持たず、データのみの送信で通信する</li>
     </ul>
   </li>
   <li>通信されるデータを意識しながら分散処理の記述が行える</li>
@@ -161,17 +161,34 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="christieを用いたファイルシステム開発">Christieを用いたファイルシステム開発</h2>
+<h2 id="christie-likeな通信の分散ファイルシステムの提案">Christie likeな通信の分散ファイルシステムの提案</h2>
 <ul>
-  <li>Christieの通信構成をファイルシステムへの適用を行う</li>
-  <li>ファイルは複数のstreamで構成され、データの通信も行う
+  <li>Christieの仕組みを分散ファイルシステムに応用/検証を行いたい
     <ul>
-      <li>これによりファイルのデータ操作をDataGearの単位で行える</li>
+      <li>複数のstreamを持ち、通信を行うファイル構造</li>
+      <li>APIは通信部分を含め3種類で構成される</li>
     </ul>
   </li>
-  <li>CodeGear単位の記述によりAPIはTransactionで提供される</li>
-  <li>将来的に定理支援証明系agdaで信頼性検証を行う</li>
-  <li>Christie baseなファイル通信の評価を行いたい</li>
+  <li>プロトコルを用いないことで、分散ネットワーク内の通信の見通しを確保する</li>
+  <li>簡潔な記述による分散処理構成</li>
+  <li>APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される</li>
+</ul>
+
+
+
+</div>
+
+<div class='slide'>
+  <!-- _S9SLIDE_ -->
+<h2 id="gearsosが持つosレベルなtransactionの検証">GearsOSが持つOSレベルなTransactionの検証</h2>
+<ul>
+  <li>GearsOSはAPIレベルでTransactionな記述が行える
+    <ul>
+      <li>従来のアプリケーションでは、ユーザーレベルで実装される</li>
+      <li>GearsOSのOSレベルで実装されるTransactionの実装検証を行いたい</li>
+    </ul>
+  </li>
+  <li>OSのTransactionが保証されていれば、アプリケーションの信頼性の保証となる</li>
 </ul>
 
 
@@ -182,7 +199,7 @@
   <!-- _S9SLIDE_ -->
 <h2 id="ポスター発表">ポスター発表</h2>
 <ul>
-  <li>GearsOSのファイルシステムの設計と実装
+  <li>GearsOSのChristie likeなファイルシステムの設計と実装
     <ul>
       <li>ファイル構造
         <ul>