よんだはしかたないやつだ！(それは「やんだ」である。。)(よつばとネタ) callccによる排中律の証明 - sumiiの日記 これ面白かったw寸劇の話はcallccというワードがヒントになって、わかったw おもしろい。 callccがカリーハワード同型で二重否定に当たる、…