金曜授業があった

今日は7時に一旦目を覚ましたがまた寝てしまい,8時47分に起きてしまった.

昨日は23時過ぎに寝たのに目覚められないのヤバい.

 

今日の数理論理学は導出原理の続きとSATらへんをやった.ようやくここまできたって感じだ.演習課題ではSATソルバーを使う問題があるので早く使ってみたい.

 

放課後はバイトのミーティングとインターンの面談(2回目)があった.面談後,しばらくして通ったとの通知があったので一安心だ.

ただ,まだインターンの日程が決まってないので(来週決めるらしい),帰省の日程をどうしようか迷っている.

投稿者:

mkt

徳島の高専から名古屋の大学にやってきた.趣味は将棋で,石田流が好きな振り飛車党.スパコンを使ってやべーシミュレーションをしたいと思ってる.

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です