NHKのドキュメンタリー「数学者はキノコ狩りの夢を見る〜ポアンカレ予想・100年の格闘」(これ、NHKにしては凄くキャッチーなタイトルだけど、番組を見てみるとポアンカレ予想とキノコ狩りとの間には論理的な関連は全くないし、ペレルマンの数学的業績や資質…