１１／１１（Wed）：Victoria Rd.

今日の報告会では先週見つけた証明について発表した。ノートの証明は式変形などがあって少し複雑だったので、論理の道筋をちょっと変えて分かり易い形にPowerPointにまとめて発表した。報告会の後で新しい証明の手順についてクリスから質問をもらって議論した。彼との議論で今まで気付かなかった性質が見えて来て、この量についての新しい理解を得る事が出来た。
夜は荷物の一部をホテルから新しく住む家に運び込んだ。ホテルと新しい家との最短の道をトランクケースを引きずりながら歩いたのだが、行きでは対向してくる自転車に突然唾をかけられ、帰りにはホームレスに金をくれと話かけられた。いつも自転車で移動しているので気付かなかったが、夜のビクトリアロードはかなり危険な場所だということがわかった。