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