abc予想証明のは録画予約を今から観るが、
ポアンカレ予想の時は「数学者はキノコ狩りの夢を見る」、あれもいい番組だった。
配信あるんかしらとググってみたらDVDになっており、4月14日午前9時にBSプレミアムで流すってよ！ @harmonix_tm 流しさんも予約だねｗ
https://www.nhk.jp/p/pcafe/ts/LR4X1K4WV7/schedule/te/P2XN71KRWR/

NHKは、岡村の嫁探しになったチコちゃんとかの芸能人ワッショイ民放的バラエティー番組ではなく、こういう番組に予算をもっと割いてほしいな。