勉強

論理システムの演習をひたすら解いて、講義のPDFもひととおり勉強。ちょこちょこと寝ながらやったので夕寝を含めて７時間ぐらいは寝たかな。気合だー。