--- a/finalSlide/finalSlide.md	Tue Feb 15 01:08:09 2022 +0900
+++ b/finalSlide/finalSlide.md	Wed Feb 16 01:12:38 2022 +0900
@@ -8,7 +8,7 @@
 
 ## 継続を導入したGearsOS
 - 継続を導入した、信頼性の保証を目指したOS開発プロジェクトである
-- 関数遷移を用いず、**CodeGear**と言う単位で記述を行う
+- 関数遷移を用いず、**CodeGear**と**DataGear**と言う単位で記述を行う
   - 複数のCodeGearをgoto(jump命令)で遷移することで処理が実行される  
 - OS自体の検証はプログラムが膨大な量となるため、テストコードを用いるのは難しい
 - GearsOSではメタレベルの処理からユーザープログラムの検証をする構成となる
@@ -17,36 +17,35 @@
   - 信頼性の検証には定理支援証明系やモデル検査を用いる
 
 ## GearsOSのファイルシステム開発
-- GearsOSは現段階でファイルシステムを持っていない
-- 開発にあたりGearsOSファイルシステムの要件定義を行った
-  - ファイルシステムも同様にGear単位で操作する
-  - 煩雑な分散処理記述やノードの接続を簡潔に行いたい
-  - 従来ではアプリケーションが持つ機能の一部を取り入れたい
-    - Transaction
-    - バックアップなど
-- 分散フレームワークChrisiteの仕組みでGearsFSの要件を満たしたい
-
+- GearsOSファイルシステムの開発にあたり要件定義を行った
+- ファイルシステムも同様にGear単位で操作を行う
+- 従来ではアプリケーションが持つ機能の一部を取り入れたい
+  - Transaction
+    - データ操作の整合性保護が施された処理
+  - バックアップ
+- 分散フレームワークChristieの仕組みを用いたい
 
 ## 分散フレームワークChristie
 - 当研究室が開発する、Javaで書かれた分散フレームワークである
-  - GearsOSと似たGearと言うプログラミング概念を持つ
-  - 規格が決められたプロトコルを持たず、ノード間の通信はデータの書き込みで送受信で行う  
-  - 通信されるデータを意識しながら分散処理の記述が行える  
-  - これらの構成は自立分散を目指した設計となっている
+- GearsOSと似たGearと言うプログラミング概念を持つ
+- ノード間の通信はDataGearの送り合いで構成される
+  - Threadは任意のDataGearが揃ったら実行される
+- 通信されるデータを意識しながら分散処理の記述が行える
+- これらの構成は自律分散を目指した設計となっている
 
 ## Christie likeな通信の分散ファイルシステムの提案
-- Christieの仕組みを分散ファイルシステムに応用/検証を行いたい
-  - GearsOSのファイルは複数のstreamを持ち、通信自体も行う
-  - APIは通信部分を含め3種類で構成される
-- 簡潔な記述による分散処理の構成を目指す
-- Christieの通信の仕組みにより、分散ネットワーク内の通信の見通しを確保する
+- Christieの仕組みを用いた分散ファイルシステムを設計/検証したい
+  - ファイルデータとなるDataGearを追いながらプロセスが記述できる
+  - データのみの送受信による通信でネットワークの見通しを確保する
+  - 自律分散なファイルシステムを目指す
 - APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される
 
+
 ## GearsOSが持つOSレベルなTransactionの実装検証
 - GearsOSはAPIレベルでTransactionな記述が行える
   - 従来のアプリケーションでは、ユーザーレベルで実装される
-  - GearsOSのAPIレベルで実装されるTransactionの実装検証を兼ねる
-- OS自体のTransactionが保証されていれば、アプリケーションの信頼性が高まる
+- API自体のTransactionが保証されていれば、アプリケーションの信頼性保証が容易になる
+- GearsOSのAPIレベルで実装されるTransactionの実装と検証を行う
 
 ## ポスター発表
 - GearsOSのChristie likeなファイルシステムの設計と実装