春休みの予定

3/23-2/25 で、コンパイラのオンラインの授業をやる予定です。
LLVM/Haskell/Agda です(三日で?!)

他にはシス管と、集合論(強制法のところをAgdaで)をやってるんじゃないかな。

去年は Topos と Internal language やってたらしい。

東京に顔出すかどうかは未定。