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年6月19日 QorvoがSバンドレーダ用のBAW switched filter bank発表、Ericssonがミッションクリティカル用途のアンテナ発表、SEMCOが125℃保証の0201インチX7T 1.0㎌ 6.3V MLCC発表、iFixitがトルクスプラスねじについて解説(2025.06.19)
- 高周波・RFニュース 2025年6月18日 Qorvoが5Gインフラ向けBAWフィルタとプリドライバアンプ発表、KeysightとNTTらが300GHz帯で280Gbpsを達成する信号発生システム発表、TDKが自動車用パワー・オーバー・コアクス・インダクター発表、NordicがNeuton AI買収(2025.06.18)
- 高周波・RFニュース2025年6月17日 everythingRF magazineはIMS2025特別号、MITの6Gに向け光でディープラーニングを行うチップ論文、NGMNが6Gに向けたキーメッセージを出版、Litepoint、Spirent、ViaviのTest and Measurementのトレンドレポート(2025.06.17)
- 高周波・RFニュース 2025年6月16日 iFixitのSamsung Galaxy S25 Edge分解でCTスキャンで2階建て基板の内部や5Gミリ波アンテナモジュールが鮮明に見える、Microwave JournalでRFのヘテロジニアスインテグレーションとローデ・シュワルツの複数ポートをもつスペアナFSWX紹介(2025.06.16)
「日記・コラム・つぶやき」カテゴリの記事
- 高周波・RFニュース 2025年6月19日 QorvoがSバンドレーダ用のBAW switched filter bank発表、Ericssonがミッションクリティカル用途のアンテナ発表、SEMCOが125℃保証の0201インチX7T 1.0㎌ 6.3V MLCC発表、iFixitがトルクスプラスねじについて解説(2025.06.19)
- 高周波・RFニュース 2025年6月18日 Qorvoが5Gインフラ向けBAWフィルタとプリドライバアンプ発表、KeysightとNTTらが300GHz帯で280Gbpsを達成する信号発生システム発表、TDKが自動車用パワー・オーバー・コアクス・インダクター発表、NordicがNeuton AI買収(2025.06.18)
- 高周波・RFニュース2025年6月17日 everythingRF magazineはIMS2025特別号、MITの6Gに向け光でディープラーニングを行うチップ論文、NGMNが6Gに向けたキーメッセージを出版、Litepoint、Spirent、ViaviのTest and Measurementのトレンドレポート(2025.06.17)
- 高周波・RFニュース 2025年6月16日 iFixitのSamsung Galaxy S25 Edge分解でCTスキャンで2階建て基板の内部や5Gミリ波アンテナモジュールが鮮明に見える、Microwave JournalでRFのヘテロジニアスインテグレーションとローデ・シュワルツの複数ポートをもつスペアナFSWX紹介(2025.06.16)
「映画・テレビ」カテゴリの記事
- 映画「リライト」を観てきた。尾道、ラベンダーと時をかける少女のオマージュだなと思って観ていたら全く想像できない展開になって驚く。特にとても大変な人が出てきて「マジか…」となった。池田エライザさんは高校生と大人を演じ分けられていてよかった。原作と結末は違うそう。(2025.06.20)
- 映画「フロントライン」を観てきた。ダイヤモンド・プリンセスで新型コロナウイルスの集団感染が発生した件を時系列と複数人を単独にするくらいの脚色で描く。DMATやクルー、厚労省の皆さんがどれだけすごいことをされていたかに頭が下がる…一方当時のマスコミのひどさも描く(2025.06.18)
- 映画「国宝」を観てきた。壮絶だった…生まれの違う2人（吉沢亮さん、横浜流星さん）がジェットコースターのように人生を交互に昇降していく。歌舞伎のシーンの説得力がすごかった。渡辺謙さんはやはり怪物。といえば少年時代の吉沢さん役はあの「怪物」に出てた子だった。(2025.06.07)
- NHK 映像の世紀バタフライエフェクト ＡＩ 未来を夢みたふたりの天才を見てメモ。アラン・チューリングとフォン・ノイマンの二人のことで、マービン・ミンスキー、ジョン・マッカーシー、ニューラルネットワーク、ディープ・ブルーそしてデミス・ハサビスが出ていた。(2025.05.23)
- ミッション インポッシブル／ファイナル・レコニングの先行上映をIMAXで観てきた。すごかった！陸海空で体を張るトム・クルーズが仲間と同時にピンチの連続。過去作からびっくりの人も出演。ただ重要デバイスが電子工作のオペアンプみたいなのとソースコードを変な意味で使ってる。(2025.05.17)
« パンサー尾形さんのNHK笑わない数学 素数のメモ。出てきた双子素数や素数階段をScratchでやってみたり、リーマンゼータ関数を立体的にExcelのLAMBDA関数を使って描いてみたりGIMPSから最大のメルセンヌ素数ダウンロードしたり。フリーマン・ダイソンさんもインタビューに登場。 | トップページ | 松のやでチキン南蛮定食をいただく。たっぷりのたまごタルタルが美味しい。 »
コメント