○今日やったこと - 弐寺練習 - RFA - バイト - システム検証論の授業を一つ見た - 売る本を箱に詰めた ○明日やること - バイト - システム検証論の授業を見終える - 計算量理論の課題を終わらせる - 本棚を整理する - RFA - 弐寺

- 計算量理論の講義を見終わった - 髪を切った - 耳鼻科に行った - RFAをやった 明日やること - 昼食会に出る - バイトする - RFAをやる - 計算量理論の課題を終わらせる - システム検証論の講義を見終える

- 離散数理特論の講義をきいた - 計算量理論の課題を眺めた なんとか解けそう

○今日やったこと - JavaScript (オライリー), 独習C++, git の本を読みすすめた - 講義を見た - reunion にイージーランプがついた - 友人と譽紫にいった ○明日やること - 離散数理特論の講義にでる - 計算量理論の課題をすすめる - システム検証論の課題で…