GAFAで数学系の人材がひっぱりだこな理由。純粋数学はもう「ポケットに入っている」
「リーマンゼータ関数の零点は、負の偶数と、実部が1/2の複素数に限られる」、「単連結な三次元閉多様体は三次元球面に同相である」……。
数学にはとかく、数学界の「中」の問題に生涯をかけて取り組み、数学上の未解決問題を追求するといった、純粋な上にも純粋、すなわち実社会とは没交渉な「至高の学問」のイメージがないだろうか。
(以下略、続きはソースでご確認ください)
forbesjapan 2022/06/09 08:00
https://forbesjapan.com/articles/detail/47918 ソフト開発者には10〜50倍の能力差があると言われる。
しかしアルゴリズム開発まで加えると、能力差は無限大だ。
無能はいくら考えても答えをだせないから。
Google
Apple
Facebook
anal
若くて軽くてスゲーやつら、昔ブームになってたなあ、40代で引退して、
そのあと自殺するシリコンバレーのエンジニアたち。
今勉強してる某言語でフィボナッチ数列をアウトプットするプログラム書こうとしたんだけど、
全然書けなくて結構凹んでる。なんか衰えたなあ。
数式:
∀ε(>0) ∃δ ( |x−y|<δ ⇒ |f(x)−f(y)|<ε )
日本語:
任意の正数εに対してあるδが存在して|x-y|<δであれば |f(x)−f(y)|<ε。
英語:
For any positive ε, there exists δ,such that |x-y|<δ then |f(x)−f(y)|<ε.
日本語の方が通常の日本語表現ではないような言い回しをしなければならないので
日本語は非論理的だといういいかたされるけれども、それは愚かな考えかた。
数式が西洋語の語順に合わせて、その記述の方式定めているのだから、
西洋語が有利になっているのは当然なのだ。
もしも日本語でより自然に表現する文章であって、それに基づいて
数式などによる記号の記述法を定めていたならば、また全然違っていた
だろうとは思わないところが、既に西欧文化に洗脳されているのだ。
>>10
対案を出さねば、単なる強がり。
西洋文化は甘くないぞ。 >>10
>For any positive ε, there exists δ,such that |x-y|<δ then |f(x)−f(y)|<ε.
For any positive ε, there exists δ such that if |x-y|<δ then |f(x)−f(y)|<ε. 人間にとって、数学は発明か、発見か?
もし発見ならば、文化や民族に関わらないはず。
>>15
物理学は自然科学の王様である,そして数学は自然科学の女王である。
or
数学は科学の女王にして奴隷 純粋数学ができることは大事だが今の時代、数理ソフトを使いこなす能力も同じレベルに重要になってきている
数式を打ち込むと一発で解析してくれる
>>11
言葉は使わない
全て数字
そしてプログラムによって示されるのが判りやすいかな
総括は関数化、これがサイキョー
いかなる文法による記述も数学の容姿は覆えない
しかしポエムは必要、それは日本語が最も適している
限りなく自然を表現する文章であり厨二ぽいからだ
日本文化もまた甘くない >>2
将棋や碁に似ているな。
ルールは比較的簡単に覚えられるが強さは千差万別。
同様にプログラミング言語を覚えたり開発できるようになるのは簡単だが
能力は千差万別。 >>15
ポアンカレが数学に物理学を取り入れる位どちらも同じ
全く同じものをひとつ指して「どう違う?」と言ってるようなもの 数学の世界はとてつもなく面白いんだと思う
だが、自分は学生時代にそういう面白さに気づくことはできなかった
せっかく生まれてきたのに、運が悪かったのだろう
>>18
言葉であるか数字であるかは本質的でない。
数学の本質は「パターンの抽出」だな。ポエムはパターンの中にあり。
そして方法としては「公理系」であり「仮説−証明−定理」。
正しさの根拠。もっともゲーデルの不完全性定理があるけど。
日本文化は甘いよ。それが持ち味。 計算機の性能が上がったからアルゴリズムの応用範囲も広がった
しかし今はフロンティアだがどっかで飽和して頭打ちになるんかな
>>10
>任意の正数εに対してあるδが存在して|x-y|<δであれば |f(x)−f(y)|<ε。
普通の会話じゃん。 通常の悪文:
任意の正数εに対してあるδが存在して、かくかくしかじかが成り立つ。
より親切な文:
任意の正数εを与えたとき、そのεに依存してδを選べば、
かくかくしかじかが成り立つ。
すこしこなれた日本語:
δを正数εに対してうまく選べばかくかくしかじかの条件が成立する。
良い日本語:
正数εをあたえたとき、かくかくしかじかの条件がなりたつようにδを選べる。
>>27
しかし、これが無限小の概念を比類なく正確に表現したことは理解できるだろうか?
この文章は"働かせる"ことによってこそ価値が解ってくる。 >>10
量化子の入れ子を言葉にするのはむずかしいということか >>28
かくかくしかじかのところに肝心のδが先に出ているので「良い日本語」は混乱の元と思う。
おれは「通常の悪文」で理解に支障は無かったけどな。
もっとも、あとから記憶を上書きしたのかもしれないが。 この分野はアメリカや欧州よりもインド人が強いから、
GAFAの連中がインドの大学へ赴いて青田刈りしてる
実数xが任意の正数εに対してx+ε>0であるならば、x>=0である。
正しい文:
任意の正数εに対して、あるδが存在して、かくかくしかじかの条件が成立する。
誤った文:
あるδが存在して、任意の正数εに対して、かくかくしかじかの条件が成立する。
>>28
言いたいことを伝える会話の言い方:
どんなにεを「小さくして」も、こんな風にすればδを見つけることができる、だからεは「実質ゼロみたいなもんだ」って言いたい
ε-δの定型言い回しだから、教科書にも例でこう書けばいいのに、昔の本は淡々と書いてあって分かりにくい
今は、魔理沙と霊夢がゆっくり解説してくれるから楽チン >>34
「宇宙際タイヒミューラー理論」は、世界的には正しいと認められてるとは言い難いね。
それだけでなく、最近はあまり取り上げられていない。
いっぽう、京大グループは強烈にプロパガンダしてる。この人もその一人。
はてさて「宇宙際タイヒミューラー理論」が正しいと認められる日は来るのか? 誤った文(あるいはあいまいな文):
任意の正数εとあるδに対して、かくかくしかじかの条件が成立する。
正しい対偶:
任意のδに対してかくかくしかじかの条件が(常に)成立しない、
そのような正数εは存在しない。
ーーーー付録ーーー
表現が冗長ではあるが、意図していることがわかり易い文章:
正数εをどんなに小さく選んだとしても、
それに応じて正数δを十分に小さく選ぶならば、
かくかくしかじかの条件を満たすようにできる。
#注:通常のε-δ論法では本当の気持ちは
# ”正数εをどんなに小さく選んだとしても” なのだが
#そうは云わずに、
# ”正数εを任意に選ぶときに” あるいはもっと冷淡に ”任意の正数εに対して”
#などといって、本当の気持ちを隠した表現を使っている。
#同様に、本当の気持ちは
# ”正数δを十分に小さく選ぶならば、”
#なのだが、通常の表現では
# ”δをうまく選べば” あるいはそれより冷淡に "δが存在して”
#などといって、形式論理に沿って動機や本心をなるべく隠すような
#表現を使っている。すると文系の学生はわからなくなる。
>>38
望月氏は自身の論文が認められたいなら身内だけで査読を通して自分の息のかかった雑誌に論分投稿するべきでなかったと思う
真に確信的な研究なら世界的なJournalに載せるべきだし日本では忖度なのかなんか証明されたみたいな風潮になっているけど、ABC予想は証明されたとはいえないと思う >>40
「厳密に書かれた証明は論理的に書かれてもいるのだから、誰が読んでも
その正しさは解るはずだ。」というのは実際の事情とは違うね。
実際は、誰かが厳密に査読して正しいと言い、それでもまだ数学界ですら
正しさは認められず、だんだんと正しさ(正しくなさ)が理解されてゆく。
数ヶ月から数年、あるいはもっとかかる。 gafaに入るようなエンジニアが数学に明るくないなんてあり得んわなぁ
aiの初歩すら理解できん
>>34
「この発想は、望月さん以前のいかなる人類もしなかったと思う。われわれが気づかなかったような未知の方法、発想によって全く新しい数学のやり方を創造した。」
「数百年に一度の偉業と言ってよく、ノーベル賞何個分にも相当するだろう」
「広く数学界に浸透するには本当に何十年もかかるだろう」 >>34 >>43
二つの見方がある
・本来ならすぐに望月理論が普及してABC予想も定理として使われ、爆発的に科学への応用にも広がるはずなのに
成果が見られるのは遠い将来、一般の我々がこのイベントに出会うにはまだ時期が早すぎた
・何百年に一度の超理論の誕生、その瞬間を目の当たりにできる時代に生まれて、我々はなんて幸運なんだろう
バベジが作った、トランジスタの代わりに歯車で作った、世界初のプログラム可能なコンピュータ誕生に立ち会った人達は、どう思っただろう この書き方草生える
531 ニューノーマルの名無しさん sage 2022/06/08(水) 20:24:33.40 ID:CWwp7FyY0
実際周りの摂取済と未接種のやつらって
こんな感じなんだが
ワクチン摂取済⇔未接種
自動車免許持ち⇔免許なし
リアル充実⇔引きこもりニート
高学歴高年収⇔低学歴生活保護
イケメン⇔ブサメン
日本は文系が偉そうにしてるからな
サム関数もろくに使えないのに
偉そうも何も、政治家も官僚も経営者もほとんどが文系だよ
日本は文系中心で国家運営されてきた
↑別にそれがいいか悪いかは論じてないから変な絡みはしないように
中国は理系比率が高いから、いままで以上に中国人が重宝される
そして日本人は例によって匿名ネットでこそこそ遠吠え負け惜しみ
いつまでGAFAなんて言い方してんだ
もうfacebookじゃなくなっただろ
正数εをどんなに小さく選んだとしても
それ(ε)に応じて正数δを十分に小さく選ぶことが出来て
※ |x−y|<δ ⇒ |f(x)−f(y)|<ε が成立する。
(※ xとyの距離がδより小さいならば、それぞれの関数値の距離はεより小さい)
いつまでεδ続けるんだ
そんな誰でもわかるモンにこだわってると、みてるこっちが恥ずかしくなるわ
ソフトウェアは厳密主義じゃないからね
アップデートしながら精度を上げていくのは、数学の文化じゃない
クラスの乱立も
>>13
道具としては発明だけど、本質的には発見だろう
人間の数学体系は神(いたとして)にも曲げられない汎宇宙的な絶対的な法則を形式知化したもの >>49
ガマだとカエルか?ってなっちゃうから
(日本人にしか通じない) よくない例:
任意の正数δに対してあるεが存在して
|x-y|<ε であれば |f(x)−f(y)|<δ
がなりたつようにできる。
円周率100テラ桁を、たとえばHDDにBCDを使って1桁4ビットで
格納しようとすると、なんと50テラバイトのHDDが要る。
GAFAと金融のはファッションだから相手にする必要はないだろ
社会悪が数学のきれいイメージを自己利用しようとしている
警戒が先
過去のややこしい数学に精通してる人も必要だけど、本当に必要なのは数式や数字を出すという作業の過程で必要な材料をあらゆる業界から探しちゃんと答えが出る条件を定義できる人。
ここの連中は数学の抽象的、先鋭的なことばかりしか知らないみたいだけど、数学の技術を持って現実的な対応できる人が求められてるって元記事にも書いてるじゃん。
>>61
GAFAがやってる数学って単なるコピペだぞ アメリカが病んでるだけ
激しい人種差別の反動で激しい資格社会になっちゃって、実務上意味のない資格でも
こうやってもてはやされるわけ
確率微分方程式扱うんだって、リーマン積分とジョルダン測度知ってれば十分だし、どうせルベー
グ積分でもデルタ関数は扱えないから、そんな中途半端なもんは知らなくても不自由はない
数学系とかキモい陰キャばっかやのにGAFAは大丈夫か?
あいつらコミュ力まったく無いぞ?それよりも合コンとかサークル掛け持ちしまくってる
文系陽キャリア充を取った方が良いと思う
>>65
メーカーとかは歓迎しない企業多いな。
30年前は電気電子出身に近い扱いだった思うが、理学部物理学科出身の評価も日本は低くなった思う。 もう終わりだよこの国😭
70 名無しのひみつ 2022/06/02(木) 13:10:39.47 ID:7HhNVOdr
海外からの留学生には、
ドンドンお金を出しますよ
は?国内の研究者、知らんがな
ってのが、今の政府方針です
>>67
文系ウェーイみたいなアホが言うコミュ力っていうのは
飲み会で集まって出来たような人脈で
こういう不肖者たちは事の良し悪しなど考えもせず節を屈して利益を貪るから
結果、邪悪な人間が群れてお互いに仲間となって勢力の多い多党に所属して
そういう邪悪な人間と敵対して公益を優先する賢者を邪魔者扱いし社会的に抹殺するので
最終的に組織の乱れはますますひどくなって最終的に滅亡する >>15
物理にとって数学は事象や推論をする道具、言語
対して、数学にとって物理は眼中に無いと >>24
数学は苦手だったけど、数学に関する一般向け書籍は面白くて好きだわ
「素数の音楽」(リーマン予想)「フェルマーの最終定理」(同)「完全なる証明」(ポアンカレ予想)
あとはミレニアム問題を紹介してる本とか マイクロソフト加えてGAFAMじゃないのか
日本ではやたら使うが欧米ではあまりGAFAって使わんらしい
あと今後はテスラも入れるべきと思うGAFAMTとか
化学兵器(毒ガス)が人類を滅ぼすのではないかという懸念が持たれたことがある。
その後
原子兵器(原水爆)が人類を滅ぼすのではないかという懸念が持たれたりしている。
さらに最近は
生物兵器(ウィルスや細菌)が人類を滅ぼすのではないかという気がひしひしとする。
でも将来は
数学理論の悪用が経済活動を破綻させたり、情報通信を使って圧政や人権侵害を
強行する手段として重要になるのではないだろうか。たとえばマイナンバーなど。
暗号通貨も一握りの胴元や政府がずるをする便利な道具になるだけじゃないのかな。
知識が著しく分散化したプロジェクトだと、計算係やプログラマー側の知識をもとにした解析力がものを言う。
いずれも「必要な情報」が揃わないと結果が出ない立場だから、彼らの意見で必要な上流の検討課題が出てくるということだ。
世に知られてる歴史だと、NASAのマーキュリー計画は計算係が立て直した。空軍の要求を要件に落とし込み、バイト扱いの計算係の課題を作るのがNASAの役割だけど、宇宙開発経験に乏しいNASAはよく要件をまとめ損ねて計算係に小突かれてた。
それで、計算係らはどう言う数字があればフライトプランを立てられるのか、どう言う数字があればロケットの性能与件を設定できるのかを経験をもとに取りまとめ、計画立てる側に周り、空軍と直接話し合えるNASAの上役にのしあがった。
マーキュリー計画のNASAも新しいサービスを要請される巨大IT企業と同じ立場だから、要件をリバースデザインするために数学が要求される面もあると思う。
>>75
インドの工学生をヘッドハントしたところで
日本企業の経営陣はノータリンだから何をすれば良いかわからず
何も生まれないよ
>>77の言うように、逆にインドの工学生が計画を立てる側になって
企業のトップになれば大企業に成長する
その場合、今の日本企業の経営陣の日本人は用済みで全てクビになる
これを実際に行ったのが台湾企業で、シャープとか潰れた日本企業を
安く買って日本人の経営陣を全てリストラすると数ヶ月で黒字化達成して
成長路線に乗る 兵隊は勇猛だが、将校は無能揃いだとアメリカに分析されてたのが、日本軍。
士官学校の教育システム、昇進システムに問題があったようだ。
コンピュータ自体が数学概念の申し子だから
数学が仮想現実であってもコンピュータにとっては正真正銘の現実
数学分からんならお話にならない
数学者は数の世界だけでやってると思えば大間違い。
数学者は時に現実の数字を扱って抽象的な理論を検証することが必要になる。
また、物理の世界でも数学は必要で、物理学各分野の開拓期にはほぼ数学の才での進展が報じられる。
例えば、算数すら修めることが出来なかった実験科学者ファラデーの見つけたさまざまな法則を数学的な検証で裏打ちし、さらに詳細な磁場電場の計測器など無かった時代に、そのあと百年以上も利用できる精度の数々の定数を見出したのはマクスウェルだ。
要するに、数学の世界には、比例関係だけでも怪しいブレブレの数字の羅列から、精度の高い法則を見出し、理路整然と説明できるよう誤差すら推測で修正し高精度の数字に落とし込むことの出来る人が多くいると言うことだ。これは入力された数値そのままの正規分布を探し出すAIとはある意味対極の技術といえる。
この技術は世間のあらゆるものを(もちろん専門ごとの学習ありきで)数値化できる可能性がある。それによる業務への応用力も含めるとどこの会社も欲しがるというのはその通り。最低でもシステム担当としては有利なのだし。
あ、でも数学にも、数そのものを研究する数論という分野もあるや。
ところで「チンポがシコシコする」という日本語表現は、学術的に正しいと言えるのか?
チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。
オブジェクト指向で言う「集約」は2種類あって、全体(俺)と部分(チンポ)が繋がっている場合と、
全体(俺)と部分(チンポ)が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
違うか?
「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、50字以内で述べろ!
不純な動機で純粋数学を学ぶ輩が増えたというわけか。
一昔前、金融業界で物理系の人材がひっぱりだこだったって黒歴史を彷彿とさせるな