【数学】Google、円周率計算31兆桁達成　世界記録更新［03/14］

【数学】Google、円周率計算31兆桁達成　世界記録更新［03/14］ at SCIENCEPLUS

[1からを表示]
50:ニュースソース検討中＠自治議論スレ
19/03/15 19:03:03.88 L+HB+Psg.net
ある日割れたら面白い

51:ニュースソース検討中＠自治議論スレ
19/03/15 19:15:19.15 cdkjmE7f.net
計算するのにかかったエネルギーは石油に換算するとどれくらいやろ

52:ニュースソース検討中＠自治議論スレ
19/03/15 19:16:32.24 Q/oE1cGr.net
>>5
てことは円周率の桁数って無限じゃないのか？

53:ニュースソース検討中＠自治議論スレ
19/03/15 19:24:05.68 chv0V8ay.net
要は直径を一としっとき円周の長さは直径の何倍になるのかって話なんだろうけども、
円周は有限なにもかかわらず、曲線を曲線のまま扱えないもんだからこういうことになるんだろう。
曲線を曲線のまま扱えることってできんのかね。

54:ニュースソース検討中＠自治議論スレ
19/03/15 19:29:01.61 YH2fipjG.net
じゃオラはモンテカルロ法でグーグルの記録を超えてやる！

55:ニュースソース検討中＠自治議論スレ
19/03/15 19:29:46.29 KryF7x9X.net
>>5
何が驚きなのかわからん。
無理数と無理数を演算したら有理数が出てきてはいけない理由はないと思うが。
π÷πは間違いなく有理数1だし。

56:ニュースソース検討中＠自治議論スレ
19/03/15 19:30:13.95 mRSaksEl.net
個人がつくった記録だっけ？
・・・・・

57:ニュースソース検討中＠自治議論スレ
19/03/15 19:31:06.92 KryF7x9X.net
>>1
神様のメッセージはまだ？

58:ニュースソース検討中＠自治議論スレ
19/03/15 19:34:41.96 KryF7x9X.net
>>24
円周を測る単位を通常のπ倍にしよう
なんかエジプトメソポタミア時代でマジあったような(ある大きさの車輪を転がして回る回数で測る距離)

59:ニュースソース検討中＠自治議論スレ
19/03/15 19:36:01.43 KryF7x9X.net
>>3
新車の希望ナンバーをeにしたら営業さんが目を白黒してた。
だってπならありきたりだしー

60:ニュースソース検討中＠自治議論スレ
19/03/15 19:41:54.76 dUK6C+ZY.net
>>52
無限に微分していくわけだから、割切れる事はないんだよな。
答えは、答えがないという事。

61:ニュースソース検討中＠自治議論スレ
19/03/15 19:52:34.68 KryF7x9X.net
ところで、円周÷直径がπなのは曲率が平坦な場合だよね。
ちょっとの空間のゆがみでπが有理数になることもあるんだろうな。
それはπとは呼ばないんだろうけど。

62:ニュースソース検討中＠自治議論スレ
19/03/15 19:55:37.88 iVrh5hn7.net
円周率って何？ｗ

63:ニュースソース検討中＠自治議論スレ
19/03/15 20:01:28.38 Oz6z4OQ+.net
>>43
その検証方法をもう少し具体的に教えてくれ

64:ニュースソース検討中＠自治議論スレ
19/03/15 20:11:48.35 /cI1VotR.net
>>44
研究者ではないが日本/日系人
Emma Haruka Iwaoというおんな

65:ニュースソース検討中＠自治議論スレ
19/03/15 20:19:04.78 5eajW/4n.net
円周率が無理数であることを証明しなさい↓

66:ニュースソース検討中＠自治議論スレ
19/03/15 20:29:59.34 FL3+mbKb.net
>>61　　
3.14、ではなく
円周÷直径(マジレス)

67:ニュースソース検討中＠自治議論スレ
19/03/15 20:59:16.19 Lobr1LAD.net
そろそろ割り切れるんじゃない。

68:ニュースソース検討中＠自治議論スレ
19/03/15 20:59:44.17 dpPz626l.net
3.14159265358979323846264338327950284197
ここまでは
産医師異国に向こう産後役無く産婦宮城に虫さんざん闇に鳴くご礼には良い句な

69:ニュースソース検討中＠自治議論スレ
19/03/15 21:59:13.95 dUK6C+ZY.net
>>67 自分もそうやって覚えたわ

71:ニュースソース検討中＠自治議論スレ
19/03/15 22:10:47.77 RonLe/GV.net
あれ？
円周率は実は10桁で割り切れたというニュースを以前どこかの新聞で見たんだが

72:ニュースソース検討中＠自治議論スレ
19/03/15 22:15:14.37 FL3+mbKb.net
>>69
虚構新聞のネタじゃね？ｗｗｗ

73:ニュースソース検討中＠自治議論スレ
19/03/15 22:43:01.65 /dI4TYUB.net
>>4
計算機の進化の目安としての意味がある
あとは計算に111日間かけてる以上運用が結構大変なので、こういう事も出来ますって宣伝としては有効だと思う
実用上の意味はもちろんない
 >>70
URLﾘﾝｸ(kyoko-np.net)
だな
オチが好き

74:ニュースソース検討中＠自治議論スレ
19/03/15 22:45:11.02 iULMAKlB.net
>>41
1日やろ

75:ニュースソース検討中＠自治議論スレ
19/03/15 22:49:35.62 CGf4Q7kq.net
意外に伸びるスレ
みんな円周率って気になるのね～

76:ニュースソース検討中＠自治議論スレ
19/03/15 22:54:59.45 v/dKYJ9B.net
割り切れないことは証明されてるの？

77:ニュースソース検討中＠自治議論スレ
19/03/15 23:00:22.74 Ld9tOpvP.net
>>54
割り切れると判るのは二つの無理数が=であると最初から判っている場合だけだ。
普通例えば、その無理数の2倍の無理数なるものが具体的にどういう数であるかすら判らない。

78:ニュースソース検討中＠自治議論スレ
19/03/15 23:07:59.43 FL3+mbKb.net
URLﾘﾝｸ(examist.jp)
URLﾘﾝｸ(www.youtube.com)
凄い（小並感）

79:ニュースソース検討中＠自治議論スレ
19/03/15 23:08:10.15 Ld9tOpvP.net
>>75続き
だから言ってしまうなら、直径＝円周÷πというこの単純で初歩的な式が、
もしかしたらπは無理数ではなく、どこかで割り切れる数であることを示している可能性すらあると言えるわけだ。

80:ニュースソース検討中＠自治議論スレ
19/03/15 23:12:51.48 Ld9tOpvP.net
>>75訂正
具体的に→正確に

81:ニュースソース検討中＠自治議論スレ
19/03/15 23:26:13.18 RXsHDBvn.net
結果が正しいのかどうやって証明するの?

82:ニュースソース検討中＠自治議論スレ
19/03/15 23:30:34.82 /dI4TYUB.net
>>79
特定の桁だけを計算する方法があるから、それで検証

83:ニュースソース検討中＠自治議論スレ
19/03/15 23:32:19.87 01iJpvfK.net
割り切れるまでやれよｗｗｗ

84:ニュースソース検討中＠自治議論スレ
19/03/15 23:33:52.30 aRoamm4S.net
本当に割り切れないんだな　どこまでも半端ものの円周率

85:ニュースソース検討中＠自治議論スレ
19/03/15 23:38:53.17 /dI4TYUB.net
>>82
超越数って言うとなんか凄そうだぞ

86:ニュースソース検討中＠自治議論スレ
19/03/15 23:53:18.25 FL3+mbKb.net
実用上はファインマンポイントのかなり前まででも充分というwww。

87:ニュースソース検討中＠自治議論スレ
19/03/16 00:07:48.79 Ed6TSist.net
>>77
そもそも有理数と無理数の間に整数の割り算で表せる以外にナンノチガイガアルノ？

88:ニュースソース検討中＠自治議論スレ
19/03/16 00:21:41.96 BbX+ShXP.net
読み上げたら10万年以上かかるな

89:ニュースソース検討中＠自治議論スレ
19/03/16 03:49:51.88 RF3+W6g+.net
これいつか割り切れるの？

90:ニュースソース検討中＠自治議論スレ
19/03/16 06:52:47.38 XZsbvUr5.net
>>87
この宇宙には完全な円が存在出来ないから
円を正確に数字化するのは無理

91:ニュースソース検討中＠自治議論スレ
19/03/16 07:29:18.28 sBSvaCOw.net
なんか根本的に勘違いしてない？
基準値をπにすれば、πは当然割り切れる。
同心円があり、直径が1 2 3 という風になっているとして、
中心通るように直線引けば、
交点はそれぞれ 1 2 3 となるわけだけど、
その交点はそこを通る同心円の円周を表すと決める。
そうするとそれぞれ π 2π 3π となる。
すべてキチンと割り切れる。
割り切れないというのは、
あくまで基準値をどう取るかの問題。

92:ニュースソース検討中＠自治議論スレ
19/03/16 08:42:37.54 fwnCk7ZT.net
>>87
割りきれない
円周率は超越数であり代数方程式の解にならない
割りきれる場合は代数方程式の解になる
そのため円周率は割りきれない

93:ニュースソース検討中＠自治議論スレ
19/03/16 11:38:38.51 kdTOg6U0.net
意外とパワー計算してるなあ

94:ニュースソース検討中＠自治議論スレ
19/03/16 22:14:52.05 zEy9EHgT.net
>>91
ディスクへの読み書きが思っていたより多くてびっくりした

95:ニュースソース検討中＠自治議論スレ
19/03/17 01:54:34.60 69ICNNiK.net
>>67
>3.14159265358979323846264338327950284197
覚えてたのとひとつ違う…俺の間違いかな
>3.141592653589793238462643383279502884197

96:ニュースソース検討中＠自治議論スレ
19/03/17 02:31:51.43 bWLtrKvT.net
2884197の方が正しい。

97:ニュースソース検討中＠自治議論スレ
19/03/17 19:41:45.08 xhgT+XVs.net
時間とエネルギーの無駄づかい
　の世界記録を更新しました

98:ニュースソース検討中＠自治議論スレ
19/03/18 09:12:25.11 t+cEPiK2.net
>>92
ぶっちゃけで言えば、31兆桁の数字同士の掛け算と割り算
素直に筆算すると馬鹿みたいに時間が必要なのでFFTを使う
メモリ無限にあれば良いんだけど、そんなわけないので小出しにして計算する必要がある

99:ニュースソース検討中＠自治議論スレ
19/03/18 12:56:34.10 LPbfVomP.net
最後の５兆桁は間違ってる

かもしれんぞｗ

100:ニュースソース検討中＠自治議論スレ
19/03/18 13:16:29.79 AO0v+kUQ.net
社員教育の一環で　円周率を選んだだけやで
余力のあったバブル期の日本はこんなことよくやってたな

101:ニュースソース検討中＠自治議論スレ
19/03/18 13:47:56.09 FHMkt3Ou.net
円周率そんなに出してどうすんの？
10桁覚えとけば足りるだろ

102:ニュースソース検討中＠自治議論スレ
19/03/18 14:11:15.80 XORE5hcJ.net
>>99
人間には10桁でいいが電子の社会だとだせるだけだせやなんだろ
技術者はエマ・ハルカ・イワオさんで日系人らしい
微妙に香港かよみたいな名づけかただがｗ

103:ニュースソース検討中＠自治議論スレ
19/03/18 18:43:53.17 ER+D2dAM.net
円周率の中に同じ数字が1億回連続する箇所が有る
これの正否は証明可能？

104:ニュースソース検討中＠自治議論スレ
19/03/18 18:47:50.86 FFpaVk+Z.net
>>44
国籍はアメリカみたい

105:ニュースソース検討中＠自治議論スレ
19/03/18 19:21:19.02 eb4GaDJa.net
>>2
お、おう

106:ニュースソース検討中＠自治議論スレ
19/03/18 19:59:33.44 2UHvPx3m.net
>>101
ランダムかつ無限に続く以上どこかでそんな配列はあるはずだが証明はできるのかな？

107:ニュースソース検討中＠自治議論スレ
19/03/19 02:30:03.72 QNHEzshc.net
>>3
もっと詳しく！
その神様の名前や由来を知りたい！

108:ニュースソース検討中＠自治議論スレ
19/03/19 08:30:06.48 HFEgrivP.net
つうかグーグルでよくやってる
挑戦シリーズでは？
社内で挑戦させてくれたんじゃね？
もともとソフトは日本にもあったし京でもやったし

109:ニュースソース検討中＠自治議論スレ
19/03/19 08:55:36.10 PVlZywZJ.net
おまえら、Xeon 4つだってよｗ
おまえらなら余裕でクリアだろｗｗｗｗｗ

110:ニュースソース検討中＠自治議論スレ
19/03/19 10:14:51.01 0/qRgIdG.net
>>107
５ｃｈの連中はルーザー

111:ニュースソース検討中＠自治議論スレ
19/03/19 11:07:18.41 TNYE6BkB.net
どんだけ暇なんだよwwwww

112:ニュースソース検討中＠自治議論スレ
19/03/19 11:33:55.23 jZ5Dr5hK.net
円周ごときで解がないなら宇宙の表す究極の理論なんて結局割り切れない様な物になるのでは…？

113:ニュースソース検討中＠自治議論スレ
19/03/19 11:50:17.96 BMWrItYx.net
ある日突然、解に到達・・・

114:ニュースソース検討中＠自治議論スレ
19/03/19 12:01:58.87 XBnKIYew.net
>>110
アホかよ
割りきれないだけで定義は明白

115:ニュースソース検討中＠自治議論スレ
19/03/19 13:41:27.71 0/qRgIdG.net
かつて東大で金田教授が開発した円周率計算ソフト「スーパーπ」はWindows等にも移植されてベンチマークソフトとしても広く使われていた。
で高橋教授が世界記録もっていたけどイワオさんが計算プログラムのy-cruncherを使ってGoogle Cloud Platformを通じて25台もの仮想マシンで計算。
計算プログラムのy-cruncherの開発者は Alexander J. Yee氏らしいから
イワオさんの意味がどこまでどうなのかというのもあるｗ
この仮想マシンでの調整が彼女の成果？

116:ニュースソース検討中＠自治議論スレ
19/03/19 15:44:00.65 xfN6CqpF.net
>>11 普通に実験数学やん

117:ニュースソース検討中＠自治議論スレ
19/03/19 15:52:14.41 tnSe/8dP.net
で、何か凄い発見をしたの？

118:ニュースソース検討中＠自治議論スレ
19/03/19 16:02:40.61 BT+d6LP2.net
四色定理のエレガントな解には、
たどりつけまい。

119:ニュースソース検討中＠自治議論スレ
19/03/19 16:27:46.32 OgJoZ33i.net
実際には空間が歪んで居れば円周率など変わる。
数学としての完全な平面上での円周
（もちろん曲線の線幅も無い）の長さでしかない。

120:ニュースソース検討中＠自治議論スレ
19/03/19 17:32:34.36 9slJwAot.net
計算機をぶん回すだけで得られる答えに意味があるのか

121:ニュースソース検討中＠自治議論スレ
19/03/20 01:35:49.92 HYdX6URZ.net
円周率の公式を光の逆二乗則を利用して解説してる動画見たわ
これなら中高生レベルの知識でも理解出来る

122:ニュースソース検討中＠自治議論スレ
19/03/20 12:48:47.46 69LL3US1.net
>>101
証明は無理じゃね？証明するには円周率の数字になんらかの法則がある仮定をしないと。
最初に同じ数字が10個連続するのは、小数点以下3億8698万0412桁からの 6666666666
最初に同じ数字が11個連続するのは、小数点以下156億4773万8228桁からの 11111111111
最初に同じ数字が12個連続するのは、小数点以下3682億9989万8266桁からの777777777777
最初に同じ数字が13個連続するのは、小数点以下2兆1641億6466万9332桁からの 8888888888888

123:ニュースソース検討中＠自治議論スレ
19/03/22 15:17:43.88 hCYWGWyi.net
かっこE

124:ニュースソース検討中＠自治議論スレ
19/03/23 00:04:45.88 ylK0Z56G.net
単に確率だけでいったら
πは正規数の可能性がかぎりなく1に近いのに
おそらくけっして証明できないというのはロマンなのだろうか

125:ニュースソース検討中＠自治議論スレ
19/03/23 00:37:33.30 9mI5ZFZb.net
十進数表記のネタに留まっている内は、
πという数字の奥深さは分かるまいて。

126:ニュースソース検討中＠自治議論スレ
19/03/23 00:37:51.23 O9OJ+dCN.net
俺の子供はπ知らなかったぞ。色々教育も変わってるようだ。

127:ニュースソース検討中＠自治議論スレ
19/03/23 00:48:00.81 96FxuHcp.net
昔、金田という奴がよく円周率の世界記録を更新していたはずだが、もう関係ねえか

128:ニュースソース検討中＠自治議論スレ
19/03/23 19:20:42.67 VtQWscNc.net
π＞e

129:ニュースソース検討中＠自治議論スレ
19/03/25 09:41:02.65 YXN8R3Do.net
>>125
当時はスパコンがまだシングルシステムのベクトル機なので、ガンガンメモリやディスクにアクセスする円周率計算はベンチマークとして意味があった
今はスパコンがマルチシステムの超並列機になって円周率計算に向かなくなったのが大きい
最初の14連続ゾロ目ポイントは5兆7589億1055万2709桁からの99999999999999な
これはググってもまだヒットしないと思う

130:ニュースソース検討中＠自治議論スレ
19/03/25 20:05:40.95 DQ82Dh53.net
「世界一になる理由は何があるんでしょうか？（小数点以下第）2位じゃダメなんでしょうか？」

131:ニュースソース検討中＠自治議論スレ
19/04/04 01:00:31.50 3uIG5KiD.net
超越数にも分類があるとしたら、どのような種類があるのかな？

132:ニュースソース検討中＠自治議論スレ
19/05/05 05:35:12.94 c/sLMiuB.net
ロケーションや検索履歴データの自動削除機能　3カ月か18カ月から選択可能に
URLﾘﾝｸ(www.itmedia.co.jp)

133:ニュースソース検討中＠自治議論スレ
19/05/05 12:24:43.54 ZIx1LGwJ.net
また無駄な数を計算してしまった。

134:ニュースソース検討中＠自治議論スレ
19/05/11 14:22:42.01 4hRlwzvX.net
円周率πに過去現在未来の全ての情報が記されてる説ってあるよな

135:ニュースソース検討中＠自治議論スレ
19/05/11 15:24:23.57 W91EYULB.net
説じゃなくて妄想だろ
単なる数字の羅列にどうやったら情報入れられるんだ？

136:ニュースソース検討中＠自治議論スレ
19/05/11 15:38:20.82 iNYE/r72.net
元になる式って、どんなのなの？
いまだにわからない

137:ニュースソース検討中＠自治議論スレ
19/05/11 15:40:14.79 iNYE/r72.net
>>3
それを統合したのがオイラーの公式だね

138:ニュースソース検討中＠自治議論スレ
19/05/11 15:47:40.63 Z6LYxytm.net
だから、どうなんだっつうことだよ・・・

139:ニュースソース検討中＠自治議論スレ
19/05/11 16:23:20.19 OlsWXPeM.net
>>9
それがこの世の成り立ちということ

140:ニュースソース検討中＠自治議論スレ
19/05/11 16:28:28.47 OlsWXPeM.net
>>23
どこかの桁で繰り返すかもしれないからそれを探してるんだよ

141:ニュースソース検討中＠自治議論スレ
19/05/11 16:54:35.15 W91EYULB.net
んなわけない

142:ニュースソース検討中＠自治議論スレ
19/05/11 17:43:42.30 YjoqBKI/.net
πの端数は時間
わからねーだろうけどね

143:ニュースソース検討中＠自治議論スレ
19/05/11 18:02:34.05 1w/lZZ5Y.net
何進法表示であっても同じことだが、循環する小数展開部分を持つ実数は有理数に限る。
（小数展開が途中で終わって後は0が続くと見なせる場合も含む）
これは比較的簡単に証明できる。
循環する小数展開部分を持たない実数は有理数では無いので、無理数である。
円周率は有理数では無いことが示されているので、円周率は循環する展開は
持ち得ない。ただし、そのことは、ある長さの部分列がある有限回だけ繰り返す
箇所があることを否定するものではない。
たとえば9999と9が4回繰り返すところとかがあっても何ら矛盾しないし、
もしもかりに123451234512345と12345が3回繰り返すところがあっても
構わないのだ。そのようなところがあるかないかは有理数では無いという
だけのことではわからない。

144:ニュースソース検討中＠自治議論スレ
19/05/11 18:55:09.86 ihgYJ/LV.net
>>18
πは無理数と証明されているが、πのπ乗はちゃんと証明されていないらしい

145:ニュースソース検討中＠自治議論スレ
19/05/12 00:06:29.79 AV1RfuTQ.net
＞円周率πに過去現在未来の全ての情報が記されてる説
言い方がオカルトじみているが正規数ならこの条件をみたす
構成的な正規数以外はおそらくはそうだと証明できないのだからオカルトみたいなものか

146:ニュースソース検討中＠自治議論スレ
19/05/12 18:31:03.68 s8WSjVHa.net
>>93 あんたが正しい。 …502884197
ご礼には良い句な → 号令には早よ行くな、とでも修正しよう

147:ニュースソース検討中＠自治議論スレ
19/05/22 12:31:14.78 1YjHBLwf.net
0.123456789101112131415161718192021222324252627282930...9899100101102...
というような数も無限に循環することはないので無理数です。
また0.1_0_11_0_111_0_1111_0_11111_0_111111_0_1111111_0_11111111_0.....
の下線を取り除いたような数も、無理数です。
また二進数で展開したときに、小数点第ｎ桁目が1であるかどうかを
ｎが素数であるかどうかに基づいて定義することで得られる数をｘとすると、
その実数は無理数で、ただ一つのその数ｘがあれば、全ての素数についての
情報が得られます。
また実数としては存在するけれども、構成的には決して決定できない実数もあります。
有限な長さの記号列でかかれた命題を記号を二進数などで符号化して
二進数に対応させたとします。もちろん記号列として命題になっていないものも
二進数になりうるので、それは正しくない命題と同じとして扱うことにしますと、
自然数ｎを与えたとき、そのｎに対応する文字列が命題でなければ0を
正しい命題なら1を、正しくない命題なら0を対応させてｄ(n)とするとき、
それに基づいて実数ωを整数部は0で、小数展開の第ｎ桁目がｄ(n)で
与えられる二進小数をつくると、それは実数になりますが、
この数の小数展開を具体的に決定していくアルゴリズムは存在しません。

148:ニュースソース検討中＠自治議論スレ
19/05/23 06:09:01.88 fyUfX5WE.net
おかしい
この世に割り切れないものがあるなんて
全ては素粒子から出来てるのに

149:ニュースソース検討中＠自治議論スレ
19/05/23 06:34:41.88 mc5e6qNd.net
これって自慢？

150:ニュースソース検討中＠自治議論スレ
19/05/23 13:25:47.74 jHiCd/12.net
この中で同じ数か並んでる数の最大とか、面白い情報出せと

151:ニュースソース検討中＠自治議論スレ
19/05/23 13:43:23.87 .net
コンピューターサイエンスはプログラマーを養成するところじゃなく
理論物理学の情報学バージョンの学者を養成する学問なんだよな

152:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています