_ （8/30記：数学基礎論サマースクール最終日。今回のテーマは非古典論理（様相論理）という全然馴染みのないテーマだったので、ある程度の雰囲気は掴めたものの技術的な部分まで理解するのはやはり厳しいと感じた。ただ、今回のサマースクールは講義録のようなものを出版予定ということなので、今から期待している。）
最近のツッコミ↓