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