NHKの番組、数学に関するものをちょくちょく観る。abc予想の「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」、ポアンカレ予想の「数学者はキノコ狩りの夢を見るか~ポアンカレ予想」 笑わない数学の「素数」、「無限」、「四色問題」、「Ｐ対Ｎ…