X



【数学】Google、円周率計算31兆桁達成 世界記録更新[03/14]
■ このスレッドは過去ログ倉庫に格納されています
0001しじみ ★垢版2019/03/15(金) 04:02:46.57ID:CAP_USER
 米Googleは3月14日(米国時間)、「円周率の日」に合わせ、同社のクラウドコンピューティングサービス「Google Cloud」を用いて円周率を小数点以下約31兆4000億桁まで計算したことを発表した。2016年に記録されたこれまでの世界記録、約22兆4000億桁を9兆桁更新し、新たにギネス世界記録に登録された。

https://image.itmedia.co.jp/news/articles/1903/14/ki_1609376_pi01_w390.jpg

 計算には、Google Cloud上の96個のvCPU(仮想CPU)と1.4テラバイトメモリを用意してクラスタを構築。計算結果の書き込みには1ノード10テラバイトのインスタンスを24個用意し、最大170テラバイトまで利用した。

https://image.itmedia.co.jp/news/articles/1903/14/ki_1609376_pi02_w290.jpg
https://image.itmedia.co.jp/news/articles/1903/14/ki_1609376_pi03_w290.jpg

 計算は2018年9月22日から始め、19年1月21日に終了。約111日間計算を続け、ディスクの読み込み、書き込み量の合計はそれぞれ9ペタバイト(9000テラバイト)、7.95ペタバイトに及んだ。

 111日間の計算の結果、小数点以下31兆4159億2653万5897桁まで円周率を計算したという。円周率の最初の14桁である「3.1415926535897」に合わせた。

 以前の円周率世界記録は、16年にピーター・トルエブさんが達成した22兆4591億5771万8361桁。CPUに「Xeon E7-8890 v3」を4個、1.25テラバイトメモリの計算リソースで約89日間かけて計算した。

ITmedia NEWS
https://www.itmedia.co.jp/news/articles/1903/14/news148.html
0101ニュースソース検討中@自治議論スレ垢版2019/03/18(月) 18:43:53.17ID:ER+D2dAM
円周率の中に同じ数字が1億回連続する箇所が有る

これの正否は証明可能?
0105ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 02:30:03.72ID:QNHEzshc
>>3
もっと詳しく!
その神様の名前や由来を知りたい!
0106ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 08:30:06.48ID:HFEgrivP
つうかグーグルでよくやってる
挑戦シリーズでは?
社内で挑戦させてくれたんじゃね?
もともとソフトは日本にもあったし京でもやったし
0107ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 08:55:36.10ID:PVlZywZJ
おまえら、Xeon 4つだってよw
おまえらなら余裕でクリアだろwwwww
0111ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 11:50:17.96ID:BMWrItYx
ある日突然、解に到達・・・
0113ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 13:41:27.71ID:0/qRgIdG
かつて東大で金田教授が開発した円周率計算ソフト「スーパーπ」はWindows等にも移植されてベンチマークソフトとしても広く使われていた。
で高橋教授が世界記録もっていたけどイワオさんが計算プログラムのy-cruncherを使ってGoogle Cloud Platformを通じて25台もの仮想マシンで計算。
計算プログラムのy-cruncherの開発者は Alexander J. Yee氏らしいから
イワオさんの意味がどこまでどうなのかというのもあるw

この仮想マシンでの調整が彼女の成果?
0114ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 15:44:00.65ID:xfN6CqpF
>>11 普通に実験数学やん
0115ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 15:52:14.41ID:tnSe/8dP
で、何か凄い発見をしたの?
0116ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 16:02:40.61ID:BT+d6LP2
四色定理のエレガントな解には、
たどりつけまい。
0117ニュースソース検討中@自治議論スレ垢版2019/03/19(火) 16:27:46.32ID:OgJoZ33i
実際には空間が歪んで居れば円周率など変わる。
数学としての完全な平面上での円周
(もちろん曲線の線幅も無い)の長さでしかない。
0120ニュースソース検討中@自治議論スレ垢版2019/03/20(水) 12:48:47.46ID:69LL3US1
>>101
証明は無理じゃね?証明するには円周率の数字になんらかの法則がある仮定をしないと。

最初に同じ数字が10個連続するのは、小数点以下3億8698万0412桁からの 6666666666
最初に同じ数字が11個連続するのは、小数点以下156億4773万8228桁からの 11111111111
最初に同じ数字が12個連続するのは、小数点以下3682億9989万8266桁からの777777777777
最初に同じ数字が13個連続するのは、小数点以下2兆1641億6466万9332桁からの 8888888888888
0121ニュースソース検討中@自治議論スレ垢版2019/03/22(金) 15:17:43.88ID:hCYWGWyi
かっこE
0122ニュースソース検討中@自治議論スレ垢版2019/03/23(土) 00:04:45.88ID:ylK0Z56G
単に確率だけでいったら
πは正規数の可能性がかぎりなく1に近いのに
おそらくけっして証明できないというのはロマンなのだろうか
0123ニュースソース検討中@自治議論スレ垢版2019/03/23(土) 00:37:33.30ID:9mI5ZFZb
十進数表記のネタに留まっている内は、
πという数字の奥深さは分かるまいて。
0125ニュースソース検討中@自治議論スレ垢版2019/03/23(土) 00:48:00.81ID:96FxuHcp
昔、金田という奴がよく円周率の世界記録を更新していたはずだが、もう関係ねえか
0127ニュースソース検討中@自治議論スレ垢版2019/03/25(月) 09:41:02.65ID:YXN8R3Do
>>125
当時はスパコンがまだシングルシステムのベクトル機なので、ガンガンメモリやディスクにアクセスする円周率計算はベンチマークとして意味があった
今はスパコンがマルチシステムの超並列機になって円周率計算に向かなくなったのが大きい

最初の14連続ゾロ目ポイントは5兆7589億1055万2709桁からの99999999999999な
これはググってもまだヒットしないと思う
0128ニュースソース検討中@自治議論スレ垢版2019/03/25(月) 20:05:40.95ID:DQ82Dh53
「世界一になる理由は何があるんでしょうか? (小数点以下第)2位じゃダメなんでしょうか?」
0129ニュースソース検討中@自治議論スレ垢版2019/04/04(木) 01:00:31.50ID:3uIG5KiD
超越数にも分類があるとしたら、どのような種類があるのかな?
0131ニュースソース検討中@自治議論スレ垢版2019/05/05(日) 12:24:43.54ID:ZIx1LGwJ
また無駄な数を計算してしまった。
0132ニュースソース検討中@自治議論スレ垢版2019/05/11(土) 14:22:42.01ID:4hRlwzvX
円周率πに過去現在未来の全ての情報が記されてる説ってあるよな
0136ニュースソース検討中@自治議論スレ垢版2019/05/11(土) 15:47:40.63ID:Z6LYxytm
だから、どうなんだっつうことだよ・・・
0141ニュースソース検討中@自治議論スレ垢版2019/05/11(土) 18:02:34.05ID:1w/lZZ5Y
何進法表示であっても同じことだが、循環する小数展開部分を持つ実数は有理数に限る。
(小数展開が途中で終わって後は0が続くと見なせる場合も含む)
これは比較的簡単に証明できる。
循環する小数展開部分を持たない実数は有理数では無いので、無理数である。
円周率は有理数では無いことが示されているので、円周率は循環する展開は
持ち得ない。ただし、そのことは、ある長さの部分列がある有限回だけ繰り返す
箇所があることを否定するものではない。
たとえば9999と9が4回繰り返すところとかがあっても何ら矛盾しないし、
もしもかりに123451234512345と12345が3回繰り返すところがあっても
構わないのだ。そのようなところがあるかないかは有理数では無いという
だけのことではわからない。
0142ニュースソース検討中@自治議論スレ垢版2019/05/11(土) 18:55:09.86ID:ihgYJ/LV
>>18
πは無理数と証明されているが、πのπ乗はちゃんと証明されていないらしい
0143ニュースソース検討中@自治議論スレ垢版2019/05/12(日) 00:06:29.79ID:AV1RfuTQ
>円周率πに過去現在未来の全ての情報が記されてる説
言い方がオカルトじみているが正規数ならこの条件をみたす
構成的な正規数以外はおそらくはそうだと証明できないのだからオカルトみたいなものか
0145ニュースソース検討中@自治議論スレ垢版2019/05/22(水) 12:31:14.78ID:1YjHBLwf
0.123456789101112131415161718192021222324252627282930...9899100101102...
というような数も無限に循環することはないので無理数です。
また0.1_0_11_0_111_0_1111_0_11111_0_111111_0_1111111_0_11111111_0.....
の下線を取り除いたような数も、無理数です。
また二進数で展開したときに、小数点第n桁目が1であるかどうかを
nが素数であるかどうかに基づいて定義することで得られる数をxとすると、
その実数は無理数で、ただ一つのその数xがあれば、全ての素数についての
情報が得られます。
また実数としては存在するけれども、構成的には決して決定できない実数もあります。
有限な長さの記号列でかかれた命題を記号を二進数などで符号化して
二進数に対応させたとします。もちろん記号列として命題になっていないものも
二進数になりうるので、それは正しくない命題と同じとして扱うことにしますと、
自然数nを与えたとき、そのnに対応する文字列が命題でなければ0を
正しい命題なら1を、正しくない命題なら0を対応させてd(n)とするとき、
それに基づいて実数ωを整数部は0で、小数展開の第n桁目がd(n)で
与えられる二進小数をつくると、それは実数になりますが、
この数の小数展開を具体的に決定していくアルゴリズムは存在しません。
0147ニュースソース検討中@自治議論スレ垢版2019/05/23(木) 06:34:41.88ID:mc5e6qNd
これって自慢?
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況