2022/01/26
- 計算量理論の講義を見終わった
- 髪を切った
- 耳鼻科に行った
- RFAをやった
明日やること
- 昼食会に出る
- バイトする
- RFAをやる
- 計算量理論の課題を終わらせる
- システム検証論の講義を見終える
2022/1/25
- 離散数理特論の講義をきいた
- 計算量理論の課題を眺めた なんとか解けそう
1/3
計算理論の基礎: Cook–Levin theoremのとこ
Writing an OS in Rust: A Freestanding Rust Binaryの章