今日は7時に一旦目を覚ましたがまた寝てしまい，8時47分に起きてしまった．
昨日は23時過ぎに寝たのに目覚められないのヤバい．
今日の数理論理学は導出原理の続きとSATらへんをやった．ようやくここまできたって感じだ．演習課題ではSATソルバーを使う問題があるので早く使ってみたい．
放課後はバイトのミーティングとインターンの面談(2回目)があった．面談後，しばらくして通ったとの通知があったので一安心だ．
ただ，まだインターンの日程が決まってないので(来週決めるらしい)，帰省の日程をどうしようか迷っている．
