# 進捗報告 
## 研究目的
- 当研究室ではOSの信頼性の検証に重きを置いた、GearsOSを開発している。
    - GearsOSはノーマルレベルとメタレベルを分離して記述が行えるCの拡張言語CbC(Continuation based C)で構成されている。
- GearsOSは現在開発途上であり、OSとして実際に機能するために開発しなくてはならない機能が残っている。
- 未実装の機能の一つとしてファイルシステムが挙げられる。
    - 当研究室では、CbCとは異なるGearという概念を用いて分散処理を記述することができる分散フレームワークChristieを開発している。
    - GearsOSのファイルシステムをChristieと同様の仕組みを用いて実装したい。
    - そのためにjavaで構成されているChristieをCbCで構成し直していく。 

> - コンピュータの核となるOSには高い信頼性に加え、拡張性が必要となる。
>     - OSの信頼性を検証するために定理支援証明(agda)やモデル検査を利用したい。
>     - プログラムの整合性を検査をメタレベルの計算で行いたい。
>     - そのためにはノーマルレベルとメタレベルを分離した記述が行える仕組みが必要である。
> - 当研究室ではノーマルとメタレベルを分離して記述が行えるCの拡張言語CbCを開発している。


## 進捗内容
- またゆーくんとGearsの基本操作の確認してました。
    - 自分も結構忘れてたので思い出しつつ、論文読みつつ
    - とりあえずHelloWorldを書いてみた
        - いずれhgから消す予定
    - 木曜の18時と土曜朝9時にzoomで一緒にやるように
    - 次回はwcあたりを記述していきたい
        - もう少しHelloWorldをこねてみてもいいかも
    
- 筆記で落ちたと思ってた企業が面接に進んだ
    - 一次面接がだいぶ先なので他にもエントリーする予定
    - 

## 雑談
- 自宅のエアコンが壊れた
    - 室外機がぼろくなってガス管を傷つけたのが原因
    - 買い替えが決定
        - 費用は大家さんもちなので助かった
    - 「業者は今忙しいからだいぶ先になるよ」と死亡宣告された