--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/itsuki/2021/6-15.md	Wed Jun 16 00:10:04 2021 +0900
@@ -0,0 +1,30 @@
+# 進捗報告 
+## 研究目的
+- 当研究室ではOSの信頼性の検証に重きを置いた、GearsOSを開発している。
+    - GearsOSはノーマルレベルとメタレベルを分離して記述が行えるCの拡張言語CbC(Continuation based C)で構成されている。
+- GearsOSは現在開発途上であり、OSとして実際に機能するために開発しなくてはならない機能が残っている。
+- 未実装の機能の一つとしてファイルシステムが挙げられる。
+    - 当研究室では、CbCとは異なるGearという概念を用いて分散処理を記述することができる分散フレームワークChristieを開発している。
+    - GearsOSのファイルシステムをChristieと同様の仕組みを用いて実装したい。
+    - そのためにjavaで構成されているChristieをCbCで構成し直していく。 
+
+> - コンピュータの核となるOSには高い信頼性に加え、拡張性が必要となる。
+>     - OSの信頼性を検証するために定理支援証明(agda)やモデル検査を利用したい。
+>     - プログラムの整合性を検査をメタレベルの計算で行いたい。
+>     - そのためにはノーマルレベルとメタレベルを分離した記述が行える仕組みが必要である。
+> - 当研究室ではノーマルとメタレベルを分離して記述が行えるCの拡張言語CbCを開発している。
+
+
+## 進捗内容
+- 内定は相変わらずでてない。
+    - 筆記で一社転んだので再勉強してました
+    - SPI問題集では拾えてない問題で死亡
+        - 嘘つき問題、多面体の頂点
+
+- GearsOSをそろそろ進めようと
+    - OS研究会の時に書いたwcを動くようにする？
+    - 論文を読みながら
+
+## その他の報告
+- リングフィット買いました。
+    - 鬱気味なのが治ったりなんだり。
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/matac42/note/2021/06/15.md	Wed Jun 16 00:10:04 2021 +0900
@@ -0,0 +1,30 @@
+# 研究目的
+
+アプリケーションの信頼性を保証するために、アプリケーションが動作するOSの信頼性を高める必要がある。
+
+本研究室では、信頼性に重きを置いたGearsOSを開発している。
+
+GearsOSはノーマルレベル、メタレベルの処理を切り分けることができるCbC(Continuation Based C)で記述されている。
+
+信頼性とは
+
+- どのユーザーがどのようなファイル操作をしたかわかること
+- logが残ること
+- item 操作の辻褄があっていること
+
+を指す。
+
+また、GearsOSには現在未実装の機能があり、その一つにファイルシステムが挙げられる。信頼性を確保するため、ファイルシステムは
+
+- ファイルシステム全体のトランザクション化
+- ファイルシステム全体のバックアップ\&ロギング
+
+を取り入れたい。
+
+本卒業研究では、GearsOSへファイルシステムの実装を目指す。
+
+# シス管
+
+
+
+# その他
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/pine/note/2021/06/15.md	Wed Jun 16 00:10:04 2021 +0900
@@ -0,0 +1,18 @@
+# 研究目的
+- アプリケーションの信頼性を保証するために、アプリケーションが動作するOSの信頼性を高める必要がある。
+
+- 本研究室では、Continuation Based C(CbC)を用いて、信頼性と拡張性を両立するOSであるGearsOSを開発している。
+
+- ソフトウェア開発においてエラー・バグは付き物であり、その発見が重要である。現在GearsOSにはデバッガーが未実装であるため、円滑なOS開発を行うために、GearsOSのデバッガーを作成する。
+
+## やったこと
+- 今週は何もやってない。。。
+
+## やること
+- mcDPPを動かしてみる
+- 論文読み
+
+## その他
+- 今週内定者懇親会がある
+- セキュキャン落ちた。。。
+

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/riono210/seminar/202106/0615.md	Wed Jun 16 00:10:04 2021 +0900
@@ -0,0 +1,24 @@
+## 0615
+
+## 研究目的
+* ゲームの通信方式にはクライアントサーバ方式とp2p方式がある
+* データの安全性やチート対策などでクライアントサーバ方式が主流
+* サーバに接続してマルチプレイなどのデータ同期を実現させているため、低速
+* 高速かつ安全に通信を行たい
+    * 並列分散フレームワークChristieがある
+    * Christieを利用してp2pで通信を行う
+* ゲーム開発で主に使用されているUnityに対応するためにChristieをC#へ書き換えを行う
+
+## 近況報告
+* やっと本腰を入れて就活を始めました
+	* 6月は研究進められなさそう
+	* GitHub汚いので色々整理中
+	* 先輩方の話を聞いた(みつきさんとか、だいきさんとか)
+		* いくつかのサービスに登録して色々やってます
+	* やはりエントリーシートは苦痛
+	* 1社面談終わって選考中(VR系)
+	* ~~アルコールの量は増えました~~
+
+
+* 7月頭にGameJamを開催することにしました
+	* 今年はIGDAゆったり目
\ No newline at end of file