486 名前:132人目の素数さん [2023/02/14(火) 18:14:41.36 ID:injliag3.net] >>397 >なんか証明も読まず計算もしないのに この話下記だ ・いまどき、素粒子で手計算はやらない。ソフトウェア「FORM」 専用の数式処理 ・物理では、証明も大事だが、上記の計算結果が、観測データと合うか否かが大事です 21世紀の学問を知らないアホ頭、哀れw 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がいかに現代の素粒子物理学に貢献しているかについて、チューリッヒ大学のトーマス・