[追記]このエントリー、間違って消してしまったから、再現。[/追記]長男から電話がかかってきて、質問をされた。 防衛相退任が決まった一川保夫氏と、俳優の蟹江敬三さんは似てると思うか？ 元画像：http://img.blogs.yahoo.co.jp/ybi/1/f3/c6/yoshimizushri…

うううう、今日も寒い。昨日、シーケント計算の話をしました。ここ最近、プログラムの解析にシーケント計算が使えるんじゃないかと思っているんですよ。シーケント計算の背景には、単なる圏よりはむしろ複圏／多圏（multicategory/polycateogry）があるので…