※ 子供の話ばかりじゃアレ(?)だから、「カリー／ハワード（Curry-Howard）対応をうんと一般化するとどうなるか」みたいなネタで。以前紹介したことがあるバエズ＆ステイのロゼッタストーン論文がarXivに入っていました。 題名: Physics, Topology, Logic and…

先週末の話なのだけど、長男がなんかひどくへこんでしまった。「俺は勉強もできないし、運動も苦手だし、ノロマでみんなの足を引っ張るし…」それから、安っぽいドラマみたいなセリフ。「俺なんか生まれてこなかったほうがよかったんだ」とりあえず落ち着くの…