• プログラムの動作を保証することによって信頼性を高めることができる。
• 信頼性を高める方法としてモデル検査がある。
• GearsOS

# CbC_gccのコンパイルが終わっていない。

• なぜか32bitでコンパイルされるてしまう問題、
• 呼び出すリンカーも間違ってはないはずだけど、、、
• 参考にしたサイトと、アナグラくんの丁寧なまとめ
  https://solarianprogrammer.com/2019/10/12/compiling-gcc-macos
  https://growi.cr.ie.u-ryukyu.ac.jp/user/anatofuz/note/2020/04/28

# memo

• web スライドだと端っこ少し見えるみたいなことが起きる
• 自分のものとして考え
• 理論的な話がない（どこを切り取るのか、可能なのか）->この場合はできましたみたいなのがほしい
• スケジューラー部分を自身で検証する。（論文だとユーザープロセスとして動かすだった）
• ユーザープロセスとして動くの見せて？
• ωオートマトンは止まらない問題で、DPPはそれ
• 要するに実装してくる