2005-06-25から1日間の記事一覧

web広告会社のぼやき

こちら。くくく。笑えるのなんの。私も無料サービスはけっこう使ってるけど、adblockやflashblockとかでほとんどの広告はカットしていて、その存在すら気づいていないことが多い。まあこういうのはIE使ってる人が被ってくれてればいいのですよ。しかしこの広…

ラッセル

またしても全然進まない。フレーゲに対するラッセルの批判点を読み解くのに精一杯。ラッセルによるフレーゲの捉え方が何か変なのは、一つにはラッセルが証明という概念についてほとんど何も考えていないことにあるとの示唆。そういえば、この本は数学につい…

カリー・ハワード対応 (4)

productとsumを加えて前と同様の補題を証明する。のんびりやるには適度の復習にもなってよいかもしれない。一般的な議論をしているので旨味がよく分からない箇所が続く。

異動

Shaun Nichols (ethics, philosophy of mind and cognitive science) @ University of Utah → University of Arizona.