よんだはしかたないやつだ!(それは「やんだ」である。。)(よつばとネタ) callccによる排中律の証明 - sumiiの日記 これ面白かったw寸劇の話はcallccというワードがヒントになって、わかったw おもしろい。 callccがカリーハワード同型で二重否定に当たる、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。