2009-09-09から1日間の記事一覧

イギリスの

鉄道の始発、バース駅発ブリストル駅行きは、平日は6時半ごろだが、日曜朝は8時半だそうだ…日曜の朝は教会に行け、ということなんだろう、多分。

「co-inductionについて知りたければ」

「とにかくまずコレを読め」(by P先生)。「すばらしかった」そうです。 参考:檜山さんのところの資料編

7時半起床、朝食はベーコンエッグとクラッカー、大学へ行って原稿書き。他にP先生に話を聞く。19時半に帰宅、夕食はタイカレー。食後はいろいろ雑用。