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ニュース 2025年2月7日 フジクラがMWCバルセロナでミリ波(28GHz,60GHz)モジュールデモ、Qorvo、NXP、AMDらのヘルスケアウェビナー、Samsung Galaxy S25もやはり5Gミリ波AiPは1個、u-bloxがBluetooth LEモジュール4種発表(2025.02.07)
- 高周波・RFニュース 2025年2月6日 3GPPがRel-20(5G Advancedと6G)の計画を公開、SEMCOが産業用MLCC(0805 inch, X6S, 22uF, 25V)と車載MLCC(1005,2.2uF,10V)を発表、KYOCERA AVXのスーパーキャパシタシミュレーションソフト、I向けフォトニックチップ解説(2025.02.06)
- 高周波・RFニュース 2025年2月5日 Mavenirの5G NTNホワイトペーパー、ミニサーキットの1.5mm角QFNパッケージMMIC、Keysigntがスペインに6G研究ラボ設立、アイルランドとスコットランドの大学がRIS(reconfigurable intelligent surfaces)で協力(2025.02.05)
- 高周波・RFニュース 2025年2月4日 Samsung Galaxy S25plus、S25ultra分解、やっぱり5Gミリ波AiPは1個だけ、スマートワイヤレス聴診器にNordicのICが採用、TDKのTMR角度センサ解説(2025.02.04)
「日記・コラム・つぶやき」カテゴリの記事
- 高周波・RFニュース 2025年2月7日 フジクラがMWCバルセロナでミリ波(28GHz,60GHz)モジュールデモ、Qorvo、NXP、AMDらのヘルスケアウェビナー、Samsung Galaxy S25もやはり5Gミリ波AiPは1個、u-bloxがBluetooth LEモジュール4種発表(2025.02.07)
- 高周波・RFニュース 2025年2月6日 3GPPがRel-20(5G Advancedと6G)の計画を公開、SEMCOが産業用MLCC(0805 inch, X6S, 22uF, 25V)と車載MLCC(1005,2.2uF,10V)を発表、KYOCERA AVXのスーパーキャパシタシミュレーションソフト、I向けフォトニックチップ解説(2025.02.06)
- 高周波・RFニュース 2025年2月5日 Mavenirの5G NTNホワイトペーパー、ミニサーキットの1.5mm角QFNパッケージMMIC、Keysigntがスペインに6G研究ラボ設立、アイルランドとスコットランドの大学がRIS(reconfigurable intelligent surfaces)で協力(2025.02.05)
- 高周波・RFニュース 2025年2月4日 Samsung Galaxy S25plus、S25ultra分解、やっぱり5Gミリ波AiPは1個だけ、スマートワイヤレス聴診器にNordicのICが採用、TDKのTMR角度センサ解説(2025.02.04)
「映画・テレビ」カテゴリの記事
- 映画「ショウタイムセブン」を観てきた。最初から最後まで緊迫した展開で面白かった。元人気キャスターが火力発電所を爆破した犯人と生放送のスタジオで対話を続けるが、スタジオでも爆発が起き…犯人役にびっくり。あとPerfumeの曲のエンドクレジットの入り方にもびっくり。(2025.02.08)
- 「野生の島のロズ」をIMAXで観てきた。よかった。命令を待つだけのロボットが、小さくそのままでは生きられなかったはずの雁の子を育てるうちに感情が芽生え…というもので声もだんだん成長していくのうまいと思ったら綾瀬はるかさんだった。動物たちも生き生きと描かれてる。(2025.02.08)
- 映画「アンダーニンジャ」を観てきた。前半のゆるいギャグシーン満載(佐藤二朗さんとムロツヨシさんがとにかく笑わせに来る)なのと後半のシリアスですごいアクションシーンが対比されて面白かった。ただ原作知らなかったのでラストで○○○○のオマージュか!と驚いた。(2025.02.01)
- 機動戦士Gundam GQuuuuuuX(ジークアクス)-Beginning-をIMAXで観てきた。開始数秒で「え!マジか!」「やりやがった!」となる絶対ネタバレだめな映画で早く観に行った方がいいです。予告編の考察も観ない方がいい。とにかくストーリーもガンダムの動きもすごいです。(2025.01.17)
- 映画「ビーキーパー」を観てきた。もう負ける気が一切しない無敵のジェイソン・ステイサムが、お年寄りをだます詐欺集団に恩人を死に追いやられ、復讐のために連中をぼこぼこにする痛快なお話。殺し方がなかなかエグイがPG-12にレイティングされてます。(2025.01.11)
« パンサー尾形さんのNHK笑わない数学 素数のメモ。出てきた双子素数や素数階段をScratchでやってみたり、リーマンゼータ関数を立体的にExcelのLAMBDA関数を使って描いてみたりGIMPSから最大のメルセンヌ素数ダウンロードしたり。フリーマン・ダイソンさんもインタビューに登場。 | トップページ | 松のやでチキン南蛮定食をいただく。たっぷりのたまごタルタルが美味しい。 »
コメント