いろいろ紹介します。 白川晋太郎『ブランダム 推論主義の哲学』 以前にも読んだのだが再読。ブランダムの推論主義の解説書。ヒース『ルールに従う』を読んだおかげで、前よりもよくわかるようになったと思う。 cut-elimination.hatenablog.com 規範という概…

とある論文を読んでいて余帰納法の知識が必要になったので調べた。その論文ではJacobs & Rutten "A tutorial on (co)algebras and (co)induction"で入門するとよいとあったのだが、同論文のような圏と関手を使った議論はそんなに必要そうではなかった。 で、…