2007-12-23から1日間の記事一覧

可述的集合論?

(調整中)

まだ湿度は高いが、雨はやみ、時々晴れ間も見える。起床は11時、洗濯をする。15時にCと外出。阪急駅前で遅めの昼食をとり、梅田経由で心斎橋へ、Apple storeに行き、旧式 ipod nano のバッテリーを交換してもらう。 梅田に戻り、某書店へ。「圏論による論理…