8/5-7に行われた数学基礎論サマースクール@慶應義塾大学に参加してきました。久々の母校です（学部は慶応でした）。帰ってきたついでに、図書館の入館証の更新もしておきました。パリのソルボンヌ大学やパリ市の図書館、およびフランス国立図書館もすばらし…