96: 風吹けば名無し 2019/10/26(土) 23:12:00.60 ID:u3FIm7dTa
証明なしで微妙な公式ボコボコ量産する事ってそこまでありがたくなくないか
108: 風吹けば名無し 2019/10/26(土) 23:13:18.20 ID:vrZK/xw+0
>>96
ラマヌジャン映画の最後で触られれてたけど
ブラックホールの研究に役立ってるらしいぞ
ワイにはさっぱりやが
207: 風吹けば名無し 2019/10/26(土) 23:23:40.69 ID:/lKnpmFJ0
>>108
めちゃくちゃ正確な円周率の値じゃないと宇宙の天文学的な中やとめちゃくちゃズレるんや
ラマヌジャンの公式が使われてるんか知らんが
400: 風吹けば名無し 2019/10/26(土) 23:37:31.15 ID:DwWFqyfl0
>>207
そういう場合って、コンピュータ上の精度の問題はどう処理してるんだ?
一般向けのソフトなら倍精度くらいが限界だと思うんだが、その程度なら外からパラメータとして与えればいいだけで、あえて求める必要はないような
426: 風吹けば名無し 2019/10/26(土) 23:39:41.40 ID:S5nFRsYm0
>>400
多倍長計算ってご存知でない?
任意精度演算
任意精度演算とは、数値の精度を必要ならいくらでも伸ばしたりできるような演算システム(実際上は利用可能なメモリ容量に制限されるが)による演算である。
多倍長整数などを内部処理に利用し、必要な桁数の浮動小数点計算を行う。固定長の整数や一般的な固定精度の浮動小数点方式は、ハードウェアで高速に処理できるのに対し、任意精度演算はソフトウェアで実装され、重い処理を必要とする。十進の0.1を2進で表現しようとする場合のように、有限の桁数では表現し切れない場合もあることから、2進でなく十進で処理するものや、有理数演算を併用したりもする。
多倍長演算[2]とも言うが、プログラミング言語によっては、多倍長整数 (特に区別する場合は bigint などと言う) の名前が bignum であることもある。
最近のプログラミング言語の中には、多倍長整数を言語仕様でサポートしているものもあり、他の言語でも多倍長整数や任意精度の浮動小数点数を扱うライブラリが存在する。任意長の配列に格納するような実装になっている。
任意精度演算は、演算速度が重要視されない用途や大きな数についての正確な演算結果を必要とする場合に使われる。
https://ja.wikipedia.org/wiki/任意精度演算
関連:そもそも「多倍長」ってどういう意味? – うだうだWeblog2
480: 風吹けば名無し 2019/10/26(土) 23:45:29.60 ID:DwWFqyfl0
>>426
はえ~
こんなんあるんや
勉強になったわ
135: 風吹けば名無し 2019/10/26(土) 23:16:39.53 ID:cqi2rG/50
コイツに数学の証明とか教えたら閃かなくなるやろなぁ…と考えたハーディとかいうぐう有能
142: 風吹けば名無し 2019/10/26(土) 23:17:09.67 ID:qL82LhT9p
こういう人って「頭の中で公式にたどり着くまでに考えるプロセス」が余りにも高速すぎて
本人も気づかないうちに終わってるだけなんやろな
だから神のお告げであるかのように思えてくる
160: 風吹けば名無し 2019/10/26(土) 23:18:54.92 ID:nCWhDOP6a
175: 風吹けば名無し 2019/10/26(土) 23:20:34.28 ID:ut2/myBPM
アカシックレコードにアクセスしたんやな
183: 風吹けば名無し 2019/10/26(土) 23:21:22.29 ID:djNHIJxR0
天才の脳には箱が入ってて時折神がその箱に何か凄いものを投函するねん
174: 風吹けば名無し 2019/10/26(土) 23:20:30.06 ID:NOmqe8F+0
ガウス(19)「朝起きたら定規とコンパスだけで作図できる方法思いついた!俺の墓にも正17角形彫ってくれ!」
墓石屋「無理です…」
カール・フリードリヒ・ガウス
ヨハン・カール・フリードリヒ・ガウス(1777年4月30日 - 1855年2月23日)は、ドイツの数学者、天文学者、物理学者である。彼の研究は広範囲に及んでおり、特に近代数学のほとんどの分野に影響を与えたと考えられている。
ガウスは奨学金を得て大学に進み、数々の重要な発見を行った。彼は、古代ギリシアの数学者達に起源を持つ定規とコンパスによる正多角形の作図問題に正確な必要十分条件を与え、正17角形が作図できることを発見した(1796年3月30日)。作図できる正素数角形は古来から知られていた正三角形と正五角形のみだと考えられていたのでこの発見は当時の数学界に衝撃を与えた。作図できる正多角形の種類が増えたのは約二千年ぶりのことであった。
彼はこの結果を非常に喜び、この成果である正17角形を墓標に刻むように申し入れた(結局、これは実現されなかったが、彼の記念碑には正17角形が刻まれている)。
https://ja.wikipedia.org/wiki/カール・フリードリヒ・ガウス
560: 風吹けば名無し 2019/10/26(土) 23:54:56.54 ID:c8hFpKlM0
>>174
これ草
568: 風吹けば名無し 2019/10/26(土) 23:56:10.35 ID:T09F28KI0
>>174
ベルヌーイも対数螺旋彫ってほしいって言ったのに理解されなくて適当な螺旋になったらしいな
197: 風吹けば名無し 2019/10/26(土) 23:22:41.68 ID:SgAcyefea
公式が載ってる本1冊だけを教科書にして無数の公式を導き出したガチ天才
215: 風吹けば名無し 2019/10/26(土) 23:24:14.61 ID:qL82LhT9p
>>197
グロタンディークっていう数学者もそんなんだったらしいな
教科書に書いてあることを疑うところから始まるっていう
頭の作りが違うわ
199: 風吹けば名無し 2019/10/26(土) 23:22:51.80 ID:DQlI1D1C0
ぐう天才
200: 風吹けば名無し 2019/10/26(土) 23:22:53.13 ID:qL82LhT9p
ワイの友達の数学めっちゃできる奴も
問題文読んだら途中式すっ飛ばして解がぼんやり分かることがあるとか言ってたし
それの超強化版がラマヌジャンなんやろなあ
直観力やばすぎ
219: 風吹けば名無し 2019/10/26(土) 23:24:20.22 ID:NOmqe8F+0
320: 風吹けば名無し 2019/10/26(土) 23:32:17.77 ID:ObVEProD0
>>219
宇宙みたいな公式やめろや
349: 風吹けば名無し 2019/10/26(土) 23:33:45.59 ID:5snDL4hC0
>>219
これがただのレンズに関する公式なんか…
605: 風吹けば名無し 2019/10/27(日) 00:00:13.17 ID:VBSC8gpj0
>>219
発達障害とか何たら症候群の連中の中でもトップクラスの特化型なんやろな
思考回路を知りたい
252: 風吹けば名無し 2019/10/26(土) 23:27:23.80 ID:blUaQH5a0
神託みたいなのでできたブレークスルーって意外とあるんやけど、こいつのやつはほんま異次元やな
261: 風吹けば名無し 2019/10/26(土) 23:27:57.26 ID:rAnssxHF0
いやー数学はロマンがあるで
にわかでも楽しいわ
274: 風吹けば名無し 2019/10/26(土) 23:29:07.38 ID:AOSyXIsSd
異世界の先駆け
297: 風吹けば名無し 2019/10/26(土) 23:30:33.40 ID:Y25FIodJ0
305: 風吹けば名無し 2019/10/26(土) 23:31:29.84 ID:qL82LhT9p
>>297
こういうのロマンあるわ
自然の規則と数字が対応するとかやばいやろ
神の一致やん
299: 風吹けば名無し 2019/10/26(土) 23:30:57.53 ID:ObVEProD0
女神「ラマヌジャンよ、√2{1-(1/3)^2}{1-(1/7)^2}{1-(1/11)^2}{1-(1/19)^2}
=(1+1/7)(1+1/11)(1+1/19)やぞ」
ラマヌジャン「はえー」
306: 風吹けば名無し 2019/10/26(土) 23:31:34.54 ID:1he5g1+80
>>299
普通言われても分からんよな
画像で見せられても細かい数とか絶対覚えられん
307: 風吹けば名無し 2019/10/26(土) 23:31:35.47 ID:MY1buP7+0
>>299
ワイ、夢で言われても覚えられない
325: 風吹けば名無し 2019/10/26(土) 23:32:32.55 ID:84SV3VWv0
>>299
サンキューメガッミ
334: 風吹けば名無し 2019/10/26(土) 23:32:59.61 ID:yvco5FCT0
>>299
これもう枕元で誰かが言ってるやろ
323: 風吹けば名無し 2019/10/26(土) 23:32:29.51 ID:i1xhLhG70
こわい
353: 風吹けば名無し 2019/10/26(土) 23:34:12.44 ID:MY1buP7+0
数学の天才って絶対頭使いすぎて死んだんやろ
369: 風吹けば名無し 2019/10/26(土) 23:35:17.82 ID:dxYOTARZd
AIってこういう天才に勝てるんかな?
371: 風吹けば名無し 2019/10/26(土) 23:35:22.39 ID:TJ9gBBFk0
タクシーの番号「1729」
ハーディ「うわつまんね」
ラマヌジャン「面白いやん1729は3乗数2つの和として2通りに表される最小の数やんけ!(10^3+9^3+(-1)^3=12^3)」
ハーディ「」
シュリニヴァーサ・ラマヌジャン#タクシー数とK3曲面
ラマヌジャンの逸話として有名なものの一つに次のものがある。
1918年2月ごろ、ラマヌジャンは療養所に入っており、見舞いに来たハーディは次のようなことを言った。
「乗ってきたタクシーのナンバーは1729だった。さして特徴のない数字だったよ」
これを聞いたラマヌジャンは、すぐさま次のように言った。
「そんなことはありません。とても興味深い数字です。それは2通りの2つの立方数の和で表せる最小の数です」
実は、1729は次のように表すことができる。
1729 = 123 + 13 = 103 + 93
すなわち、1729が「A = B3 + C3 = D3 + E3」という形で表すことのできる数 A のうち最小のものであることを、ラマヌジャンは即座に指摘したのである。
https://ja.wikipedia.org/wiki/シュリニヴァーサ・ラマヌジャン#タクシー数とK3曲面
413: 風吹けば名無し 2019/10/26(土) 23:38:25.35 ID:IBVYyfoyd
>>371
こういう天才って数字が何に見えてるんやろ
434: 風吹けば名無し 2019/10/26(土) 23:40:30.92 ID:T09F28KI0
>>371
ラマヌジャンは友達が教えてくれた懸賞問題を夕食作りながら解いたってエピソードもあるな
問題は特殊な場合の回答を求めてたけどいきなり一般解を出したとか
379: 風吹けば名無し 2019/10/26(土) 23:35:50.13 ID:y5GjYiio0
ノイマンも千人単位で集めた科学者がひたすらやっても終わらん計算をZND理論生み出して余裕で突破してたり数学の天才っておかしい
403: 風吹けば名無し 2019/10/26(土) 23:37:48.89 ID:kaFxpYp70
こんな実績あったらイキるわ
412: 風吹けば名無し 2019/10/26(土) 23:38:24.69 ID:y5GjYiio0
ポアンカレ予想を突破したのに賞金を受け取らず親の年金で暮らしてるペレルマンもおかしい
なお趣味はキノコ狩り
グリゴリー・ペレルマン
グリゴリー・ヤコヴレヴィチ・ペレルマンまたはペレリマン(1966年6月13日 – )は、ロシアの数学者である。
ミレニアム懸賞問題の一つであるポアンカレ予想を、多くの数学者が位相幾何学(トポロジー)の観点から挑戦する中、微分幾何学や物理学的アプローチで解決したことで知られる。
(中略)
現在は、故郷で母親と共にわずかな貯金と母親の年金で細々と生活しているらしく消息は不明だが、ひそかにケーラー・アインシュタイン計量の存在問題に取り組んでおり、数学者としての研究はいまだ放棄していないと言われる。
趣味はキノコ狩りとされ、人付き合いを嫌い、ほとんど人前に姿を見せない人物であるが、学生時代までは笑顔の絶えなかった少年として周囲から記憶されている。
wiki-グリゴリー・ペレルマン-より引用
425: 風吹けば名無し 2019/10/26(土) 23:39:40.49 ID:LZMM5WdF0
公式は出てくるけど証明は出来ないってあるもんなんか?
頭悪いから全然わからん
441: 風吹けば名無し 2019/10/26(土) 23:41:25.41 ID:rAnssxHF0
>>425
なんか実験したらこういう公式ありそうや…ファッ!?証明むずいンゴ
みたいなのを解き明かすのが数学というもんや
フェルマーの最終定理とかそうや
445: 風吹けば名無し 2019/10/26(土) 23:41:59.77 ID:RtIYv9jn0
>>425
物理とかどうなんだろ
運動方程式でF=maってあるけどこれが正しいって証明出来るんだろうか
450: 風吹けば名無し 2019/10/26(土) 23:42:35.32 ID:hckEyLe80
>>445
実験
456: 風吹けば名無し 2019/10/26(土) 23:43:18.31 ID:ff05p3NO0
>>445
原理やから証明もクソもない
そういう風な式が成り立つこと前提や
ニュートン力学離れたら証明できる
440: 風吹けば名無し 2019/10/26(土) 23:41:24.34 ID:3ko2Ps7N0
インドって妙に理系強いイメージあるんやが
理系というより数学か
460: 風吹けば名無し 2019/10/26(土) 23:43:38.54 ID:JU4H0OHU0
463: 風吹けば名無し 2019/10/26(土) 23:43:55.75 ID:RzN5kXg00
そういえば訳の分からん数式とかってだいたい初見の数学記号出てくるけど欲しい記号が無い時とかってあるんやろか
やっぱり数学記号っていう言語に縛られるんやろか
485: 風吹けば名無し 2019/10/26(土) 23:46:15.92 ID:SVSiby3t0
そもそも定理やら公式やらには証明を必要とするっていう考え方は西洋数学特有の考え方やでな
だいたいそれっぽかったらそれは定理であり公式でええやん!っていう考え方もある
古代エジプト人も中国人もピタゴラスの定理知っとったが証明はせんかったし
491: 風吹けば名無し 2019/10/26(土) 23:46:48.48 ID:TlEX9nPS0
数学者わからんけどこいつだけチート過ぎて好きやわ
524: 風吹けば名無し 2019/10/26(土) 23:50:35.91 ID:1i8OSCVF0
ラマヌジャンの円周率の公式とか見てると神のお告げって説明された方がまだ納得いく
527: 風吹けば名無し 2019/10/26(土) 23:50:58.00 ID:eHOuUo9K0
こいつに惚れ込んだハーディがそもそも当代きってのヤバい天才数学者やからな
そいつが自分の仕事おっぽりだしてラマヌジャンの公式シコシコ証明しとったんよ
ハーディは他人の評価が辛口で100点つけたのはラマヌジャンだけや
537: 風吹けば名無し 2019/10/26(土) 23:52:25.17 ID:cqi2rG/50
>>527
こいつには数学のメソッド教えないほうがええな…って判断ぐう有能
なおこいつがイギリスに呼ばなければというジレンマ
553: 風吹けば名無し 2019/10/26(土) 23:53:51.66 ID:lhmhBLPQ0
>>537
こいつがイギリスに呼ばなければラマヌジャン死なないけどそもそも公式書いた本がゴミとして捨てられて消えそうやから…
578: 風吹けば名無し 2019/10/26(土) 23:57:12.03 ID:eHOuUo9K0
>>537
自分に理解できないってことはその時点の全世界の水準超えてるって思えたんかなあ
呼ばなければ埋もれてたし
ハーディのmathematician's apology読んだ?おもろいで
調べたら和訳でとった
573: 風吹けば名無し 2019/10/26(土) 23:56:48.63 ID:9ykfQfzm0
このスレ見るとなかなか数学も面白そうだな
リーマン予想ってやつお金貰えるそうだから取り組んでみる
579: 風吹けば名無し 2019/10/26(土) 23:57:15.02 ID:6BMDjiJhp
どっかの大学入試の部屋にあるもので正十一角形を作図する方法を書けって問題が面白かったな
484: 風吹けば名無し 2019/10/26(土) 23:46:14.30 ID:FTgDr2ik0
中二病が憧れる典型的な学者だよな