最近アニメ『あしたのジョー2』を見ている。それで気になったことを書いとく。 第6話のサブタイトルが「吠えろ…、かませ犬」。ジョーは自らのパンチで力石を死なせてしまったトラウマで、相手のテンプルが打てなくなってしまう。日本バンタム級1位原島戦でや…

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