BSD予想ってEDSAC(世界初の実用プログラム内蔵コンピュータ)で予想されてたのか!FPUがMANIACで検証されたのと似てるな。
BSD予想(バーチ・スウィンナートン=ダイアー予想)というのがある。
数論の問題でクレイのミレニアム問題の一つでもあって、解決したら100万ドル。
で、たまたま最近EDSACというコンピュータのことを知った。
2進数を使い、プログラムを内蔵できる世界初の実用コンピュータ。EDVACとEDSACの間にはいろいろあったようですが、、、
でそのEDSACを使った現在でも有名な計算例がBSD予想だって!
https://wstein.org/talks/seattle-2004/bsd-talk-comments.pdf
当時の最先端のコンピュータを使ってまずこれを計算しようと思ったのがすごいな。
ちょっと前に佐藤・テイト予想をScratchで計算、というのをやったけどそれと重なる。
Scratch(プログラム言語)で佐藤・テイト予想(sin^2θ予想)を確認。 #数楽
と、それで思い出したのがFermi Pasta Ulam問題(FPU問題)。
MANIACが使えるようになってまずFermiたちが計算しようとおもったのが弱く結合した非線形振動子。テーマの選び方がすごい。これで各モードにエネルギーが分配されると思ったら全く予想に反して再帰現象を見つけた。
私が計算したのはこれ:
Fermi-Pasta-Ulam(FPU)問題をExcel VBA-シンプレクティック8次で計算
Fermi-Pasta-Ulam問題(FPU問題)で、振動子の動きをGIFアニメで見てみる。
ちなみにENIACではこんな計算がされていたそう。
ENIAC(最初のコンピュータ)が実際にやった弾道計算って具体的にどんなのか調べた。
今もスーパーコンピュータは次々出てますが、性能云々よりも一体何を計算するのか?というのがセンスが問われるところかな。
« 1/3 19:35ごろから阪急京都線、南茨木~摂津市駅間の踏切確認で止まってる。 | トップページ | 危ない!ガスで本当に燃えてるライトセーバーを作った人がいる。 »
「日記・コラム・つぶやき」カテゴリの記事
- 火星と地球で、ボールが斜面を転がり落ちてから斜め投射すると重力に関わらず同じ位置に落ちる、というのをGeogebraでGIFアニメにしてみた。(2021.02.26)
- ExcelのLET関数+SEQUENCE関数で数値計算シリーズ(その4)ワンライナーでシンプソンの積分公式でクロソイド曲線を計算する。(2021.02.25)
- ExcelのLET関数+SEQUENCE関数で数値計算シリーズ(その3?)ワンライナー(1行というか 1セル)で数値積分のシンプソンの公式を計算する。(2021.02.24)
- 新型コロナウイルス、中国、日本、韓国、アメリカ、ドイツ、フランス、イギリスでの感染者数を指数関数&ロジスティック関数&Log-Logプロットでべき関数フィッティングした(2/21更新)さすがに日本も増加率は鈍化してきた。しかし中国が2/7から更新データがない、、、(2021.02.22)
- 点Pのあおり運転をGeogebraで3次元GIFアニメにしてみた。(虚構新聞の記事:辺上で急接近や急減速 あおり運転の疑いで点Pを逮捕を見て)(2021.02.18)
« 1/3 19:35ごろから阪急京都線、南茨木~摂津市駅間の踏切確認で止まってる。 | トップページ | 危ない!ガスで本当に燃えてるライトセーバーを作った人がいる。 »
コメント