NHK笑わない数学でバーチ・スウィンナートン=ダイアー予想（BSD予想）をやっていたので当時EDSACIIで計算したことをPython+SymPy+Numbaで計算。番組で取り上げられていた4つの楕円曲線がランクごとに傾きが予想通りになった！
先週、笑わない数学のBSD予想の回を見ていた。
で、その番組の数学ノートも見た。
https://www.nhk.jp/p/ts/Y5R676NK92/blog/bl/pmg0p5PX8L/bp/pMW6Wb5vak/
おお、あのグラフ、表計算ソフトで一晩計算させて出していたのか。
じゃあPython使うともっと簡単にできるな、と思ってやってみた。素数はSymPyで簡単にリストが作れるが、Python素のままだとめちゃくちゃ遅い。ということでNumbaで高速化する。
リストはこんな感じ。10000までの素数で、解の個数を求めるには1つの楕円曲線につき1分半程度で計算できる。
番組でやっていた4つの方程式を計算してみた。
結果はこちら。おお、ランクごとに確かに傾きが違ってる！よくこんな予想をEDSACIIの時代に計算したなあ。今なら10分もかからないが当時は大変だっただろう。
面白そうなのでいろんなランクの楕円曲線を計算してみよう（続く）
« パンサー尾形さんのNHK笑わない数学 素数のメモ。出てきた双子素数や素数階段をScratchでやってみたり、リーマンゼータ関数を立体的にExcelのLAMBDA関数を使って描いてみたりGIMPSから最大のメルセンヌ素数ダウンロードしたり。フリーマン・ダイソンさんもインタビューに登場。 | トップページ | 松のやでチキン南蛮定食をいただく。たっぷりのたまごタルタルが美味しい。 »
「パソコン・インターネット」カテゴリの記事
- RF Weekly Digest (Gemini 3.1 Pro・Google AI Studio BuildによるAIで高周波・RF情報の週刊まとめアプリ）2026/5/3-5/10(2026.05.10)
- Codex(GPT-5.5)でサザエさんじゃんけんの次の手を予測するアプリを作る。時系列予測はまず標準ライブラリのみで実施、一次マルコフがいい結果になったので次はscikit-learn,Keras,Prophetなどを実行。勾配ブースティングが一番よく精度は59.86%に達した。次回はチョキだそうだ。(2026.05.06)
- RF Weekly Digest (Gemini 3.1 Pro・Google AI Studio BuildによるAIで高周波・RF情報の週刊まとめアプリ）2026/4/26-5/3(2026.05.03)
「学問・資格」カテゴリの記事
- RF Weekly Digest (Gemini 3.1 Pro・Google AI Studio BuildによるAIで高周波・RF情報の週刊まとめアプリ）2026/5/3-5/10(2026.05.10)
- 高周波・RFニュース 2026年5月8日 QualcommがSnapdragon 6 Gen5と4 Gen5発表、Pythonの高周波ライブラリscikit-rfがv1.12.0でKlopfensteinテーパ導入、Mini-CircuitsがGNSSを車載複数システムに使うアプリケーションノート発行、GSAがミッドバンドスペクトラムのレポート発行(2026.05.08)
- RF Weekly Digest (Gemini 3.1 Pro・Google AI Studio BuildによるAIで高周波・RF情報の週刊まとめアプリ）2026/4/26-5/3(2026.05.03)
「日記・コラム・つぶやき」カテゴリの記事
- RF Weekly Digest (Gemini 3.1 Pro・Google AI Studio BuildによるAIで高周波・RF情報の週刊まとめアプリ）2026/5/3-5/10(2026.05.10)
- 高周波・RFニュース 2026年5月8日 QualcommがSnapdragon 6 Gen5と4 Gen5発表、Pythonの高周波ライブラリscikit-rfがv1.12.0でKlopfensteinテーパ導入、Mini-CircuitsがGNSSを車載複数システムに使うアプリケーションノート発行、GSAがミッドバンドスペクトラムのレポート発行(2026.05.08)
- Codex(GPT-5.5)でサザエさんじゃんけんの次の手を予測するアプリを作る。時系列予測はまず標準ライブラリのみで実施、一次マルコフがいい結果になったので次はscikit-learn,Keras,Prophetなどを実行。勾配ブースティングが一番よく精度は59.86%に達した。次回はチョキだそうだ。(2026.05.06)
「映画・テレビ」カテゴリの記事
- 「サンキュー、チャック」を観てきた。大災害が続き世界が終ろうとしている中、ありがとうチャック、という広告が世の中に溢れる。一体どういうこと…と最初から不思議でだんだん謎が解けていく。キング原作なのでホラーと思いきやダンスと数学とカール・セーガンだった。(2026.05.09)
- 「アギト-超能力戦争-」を観てきた。大入り満員でかなり面白かった。意外なところにいた要潤さん（氷川）のG7はかっこいいし、笑える場面がたくさん。ラストバトルは燃える展開で最後も笑えたり。ゆうちゃみが出てたのはびっくりした。カメオ的な出演も結構あったり。(2026.04.29)
- ザ・スーパーマリオギャラクシー・ムービーをimaxで観てきた。面白かった！ピーチ姫がジェイソン・ステイサムだった（ヒロインはこれも武闘派のロゼッタ姫）。とても意外な人？が出てきてスターウォーズになりおおっ！と思った。最後の最後に出てきたのは…？(2026.04.25)
- ゴールデンカムイ 網走監獄襲撃編を観てきた。面白かった。火薬の量とアクション（山崎賢人さんの身体能力がすごいし、舘ひろしさんと北村一輝さんの戦いがいい）がいいのはもちろん、タイトルのシーンで騒然としたり、プロジェクト・ヘイル・メアリーのロッキーのあれも。(2026.03.28)
- 「プロジェクト・ヘイル・メアリー」をIMAXで観てきた。原作読んで最高に面白かったが映画も最高だった！映像がまずすごすぎるのと、話を知っているのにピンチの連続にハラハラ。泣けるバディものでもあり、笑いもふんだん。エンジニアはダクトテープでなんでも解決の話も。(2026.03.21)
« パンサー尾形さんのNHK笑わない数学 素数のメモ。出てきた双子素数や素数階段をScratchでやってみたり、リーマンゼータ関数を立体的にExcelのLAMBDA関数を使って描いてみたりGIMPSから最大のメルセンヌ素数ダウンロードしたり。フリーマン・ダイソンさんもインタビューに登場。 | トップページ | 松のやでチキン南蛮定食をいただく。たっぷりのたまごタルタルが美味しい。 »
コメント