_ （8/9記：実は前日から数学基礎論サマースクールに参加していた。恐ろしいほどの人口密度で何事かと思ったのだが、どうやら数学とか哲学とか計算機科学とかその他諸々の分野から参加者が集まったということらしい。分野が交わる分野なのだなぁ。）
最近のツッコミ↓