日: 2018年6月2日

今日は昼過ぎに起きてニコ動見たりアルゴリズムの勉強をしたりした．

明日は数理論理学の勉強もしたい．

 

今日の数理論理学も難しかった．∀と∃がある場合の証明図がややこしい．

土日のテスト勉強を頑張ろうと思った．