近況みたいなのを書こうかなと思った回です。 主に2月半ばからの仕事の話。

第５章型無しラムダ計算、３節形式的議論。 この節苦手なんですよね。形式的議論シリーズ。 この節、いつも「お前何言ってんだ」感が強い。（暴言）