2007-07-25 その後 六本木の「光麺」で昼食、ネットカフェに行きメールチェック。 それから地下鉄-京王線を乗り継いで南大沢へ、会にお邪魔する。O先生と包括原理の集合論について話をし、またTさんらとお会いする。帰宅は24時半。晩酌をして26時半に寝る。