少しよみがえってきた

なんか3月は頭が廻らなくて... 2月の無理で体調崩すパターンだな。3.11の時にも寝込んでたはず。

なんですが、だいぶ良くなってきて、11時から起きて4時まで Agda で証明とかできるようになったみたい。

11月に降ってきた課題も片付けたし。今は Graph から CCC を直接導くのをやってます。そろそろできそう。

なんか、そういう時間がはかどるんだよな。