数学者はキノコの夢を見るか? 2010-08