view user/pine/note/2021/06/15.md @ 72:1986100619b2

backup 2021-06-16
author autobackup
date Wed, 16 Jun 2021 00:10:04 +0900
parents
children
line wrap: on
line source

# 研究目的
- アプリケーションの信頼性を保証するために、アプリケーションが動作するOSの信頼性を高める必要がある。

- 本研究室では、Continuation Based C(CbC)を用いて、信頼性と拡張性を両立するOSであるGearsOSを開発している。

- ソフトウェア開発においてエラー・バグは付き物であり、その発見が重要である。現在GearsOSにはデバッガーが未実装であるため、円滑なOS開発を行うために、GearsOSのデバッガーを作成する。

## やったこと
- 今週は何もやってない。。。

## やること
- mcDPPを動かしてみる
- 論文読み

## その他
- 今週内定者懇親会がある
- セキュキャン落ちた。。。