やったこと

寝てた

Scala書いたら脳みそが溶けて仕事が終わってから一日中寝てた。なんというか気張り過ぎなだけな気もする。

演習

等式論理による証明は書き換えシステムを用いて自動的に証明できるよねという話だった。TaPL読んでた先輩と僕どちらも答え思いっきり間違えてて笑った。つら。