昨日は休んでいたら寝落ちしたので今日記を書いています。
やはり飯食ったらすぐシャワーを浴びるべきだった。
10進数の加減乗除の方法を示すやつが結構めんどくさくて、関数の構築もさながらそれが合っていることを示すのが、なんというかどうしても自明みたいな書き方(Hilbertのイプシロン記法と一階述語論理の言葉を使って証明をすすめて来ているので場合によってはほぼ自明みたい)になる。
それでとばして有限集合に関する性質を見始めた。
あと勉強会みたいなのに参加したら結構時間が過ぎて、あとは緑3問解いたくらいである。
こんなんで講義始まったら死にそう。
