課題を消化してた

今日は昼過ぎに起きて今池での用事を済ませてから図書館に行った.

アルゴリズムの演習課題と睨めっこしてから(分からなくて進んでない),数理論理学の課題をやってた.

SATソルバーに与えるデータを生成するためのプログラムを書いてた.疲れた.

 

投稿者:

mkt

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

コメントを残す

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