2限から出席。朝のんびりできて良い。乗り換え駅でトイレ行ってたら電車逃して5分遅刻した。闇との噂を聞く計算と論理を受けた。かなり大変そうだった。coqすごい。 上回履修してた後輩と会った。昼休みは300円の弁当を買ってボックスで食べた。2回生の実験…