2005-12-08 ■ 久しぶりに出勤。午前中はSTと集合論における内包的アプローチについて議論。ついでに科哲で聞いた集合論の発表についてお話(STはメールを送りつけてやると息巻いていたが、彼にそんな暇はあるのだろうか)。午後は出張帰りの雑用。