>>397
>なんか証明も読まず計算もしないのに

この話下記だ
・いまどき、素粒子で手計算はやらない。ソフトウェア「FORM」 専用の数式処理
・物理では、証明も大事だが、上記の計算結果が、観測データと合うか否かが大事です
21世紀の学問を知らないアホ頭、哀れｗ

https://gigazine.net/news/20221207-particle-physics-computer-program-maintenance-retiree/
gigazine 20221207
素粒子物理学に必須級のソフトウェア「FORM」の保守はたった1人

1980年代に開発され、それ以来30年以上にわたって最先端の素粒子物理学で使われ続けているソフトウェア「FORM」の陳腐化が進んでおり、もし使えなくなればこの分野の研究者にとって手痛い打撃になる危険性があると、Quanta Magazine

Crucial Computer Program for Particle Physics at Risk of Obsolescence | Quanta Magazine
https://www.quantamagazine.org/crucial-computer-program-for-particle-physics-at-risk-of-obsolescence-20221201/

Quanta Magazineによると、科学の中でも素粒子物理学は特に長大な方程式を扱う研究分野だとのこと。例えば、大型ハドロン衝突型加速器で新しい素粒子を探す研究では、粒子が光速に近い速度で衝突する結果を予測するためにファインマン・ダイアグラムという図が何千枚も作成されますが、その1つ1つが何百万項からなる複雑な数式を内包しています

このような数式の計算には数式処理システムと呼ばれるソフトウェアが必要ですが、その中でも傑出しているのがオランダの素粒子物理学者であるJos Vermaseren氏によって開発された「FORM」

1989年にリリースされて以降、FORMは素粒子物理学の研究の基盤として重宝されて続けており、2000年代以降もFORMを用いて書かれた論文が数日に1本の割合で発表されています。FORMがいかに現代の素粒子物理学に貢献しているかについて、チューリッヒ大学のトーマス・ゲールマン教授は「私たちのグループが過去20年間に得た高精度の計算結果のほとんどは、FORMコードに大きく依存していました」と

FORMの保守を一手に担ってきたVermaseren氏ですが、記事作成時点で73歳と高齢にさしかかっており、後継者も現れていません。その原因の1つは、「論文の発表を重要視し研究ツールへの貢献が軽視されがちなアカデミアのインセンティブ構造にある」