今日発表するプログラム検証論のテキスト読み終わらない…。しょうがないからアウトラインだけさらって、よしとする。後はなんとかなるべ。 午前中は爆睡してしまう。午後出勤。ボスに渡すデータ作成。授業で発表。ボス。KTN さん、傘のこと忘れてた。ざんぬ…