--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/matac42/note/2022/04/12.md	Wed Apr 13 00:10:04 2022 +0900
@@ -0,0 +1,49 @@
+# 研究目的
+
+## GearsOSにおけるinodeを用いたFileSystemの構築
+
+- アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
+- 当研究室では，信頼性の保証を目的としたGearsOSを開発している
+- GearsOSで未実装の機能である分散ファイルシステムの実装を行う
+
+要件
+
+- モデル検査による信頼性の保証
+  - CbCによるノーマルレベル、メタレベルの切り分け
+
+取り入れたい要素
+
+- transaction
+- backup & logging
+- unix like
+
+## 研究会
+
+タイトル (研究目的のそのまま)
+
+「GearsOSにおけるinodeを用いたFileSystemの構築」
+
+## 研究計画書
+
+4/20までに提出
+
+指導教員と副指導教員のコメントをもらう必要がある。
+
+[研究計画書テンプレ](https://www.tec.u-ryukyu.ac.jp/e-student/student/)
+
+## 履修登録
+
+確認依頼を出したので、確認お願いします。
+
+## ログルーレット
+
+誰か直して欲しい。一緒にやるので。
+
+dragonflyから取り出して、daruに移す。
+
+↓場所
+
+```
++dragonfly+one pwd
+/Users/one/src/Members/anatofuz/logroulette
+```
\ No newline at end of file