MarriageTheoremのこと

_ （10/8記：基礎論サマースクール二日目。この日から本格的に強制法の話が始まった。挙げられていく命題自体は、まだ自分でも証明が再現できるぐらいの範囲だったのだけど、所々に解説される「視点」が、これはやはりプロの話だなぁ、独学だとこうはいかないなぁとありがたい限りだった。講義以外に印象に残った点としては、会場の神戸大はキャンパス内外の坂道が恐ろしいレベルであった*1。大学行きのバスの途中で「登山愚痴登山口」という停留所を通ったときには驚愕した。）