FORM（記号操作システム）

形状
開発者	Jos Vermaseren他
初回リリース	1989
安定版リリース	4.3.1
リポジトリ	github .com /vermaseren /form
書かれた	C
オペレーティング·システム	Linux、Mac OS X、Windows
タイプ	数学ソフトウェア
ライセンス	GPLv3
Webサイト	www .nikhef .nl /~フォーム/

FORMは記号操作システムです。数式の定義と、それらの式の操作方法を指示するステートメントを含むテキストファイルを読み込みます。オリジナルの作者は、オランダの素粒子物理学研究所NikhefのJos Vermaserenです。FORMは理論素粒子物理学のコミュニティで広く使用されていますが、この特定の分野に限定されるものではありません。^{[ 1 ]}

特徴

• 基本的な算術演算を含むさまざまなオブジェクト（シンボル、関数、インデックスなど）を含む数式の定義
• 任意の長い数式（ディスク容量によってのみ制限されます）
• マルチスレッド実行、コンピュータクラスタ向けの並列化バージョン
• 強力なパターンマッチングと置換
• 特にガンマ行列の高速トレース計算
• 組み込みの数学関数
• さまざまな形式（プレーンテキスト、 Fortranコード、Mathematicaコード）への出力
• 他のソフトウェアプログラムとの外部通信

使用例

テキストファイルには、

 シンボル x,y; ローカル myexpr = (x+y)^3; id y = x; 印刷; 。終わり 

はFORMにmyexprという式を作成し、その中のシンボルyをxに置き換え、結果を画面に表示するように 指示します。結果は次のようになります。

 私の式 = 8*x^3; 

歴史

FORMは、 M. Veltmanが開発した代数エンジン Schoonschipの後継として1984年に開発が始まりました。当初はFORTRAN 77でコーディングされていましたが、 1989年にバージョン1.0がリリースされる前にC言語で書き直されました。バージョン2.0は1991年にリリースされました。FORMのバージョン3.0は2000年に公開されました。 2010年8月27日にGPLライセンスの下でオープンソース化されました。

高エネルギー物理学およびその他の分野への応用

• Mincer : FORMを使用して、最大 3 つのループを持つ質量のないプロパゲータ ダイアグラムを計算するソフトウェア パッケージ。
• FORM は高次QCDベータ関数を計算するために不可欠なツールとなっています。
• 多重ゼータ値の数学的構造は専用のFORMプログラムを用いて研究されてきた。^{[ 2 ]}
• 物理学界でファインマン図を計算するために広く使用されているソフトウェア パッケージ FormCalc は、FORM上に構築されています。

参考文献

1. [1] INSPIRE-HEP文献データベースにおけるFORMの引用
2. Blümlein, J.; Broadhurst, DJ; Vermaseren, JAM (2010). 「多重ゼータ値データマイニング」. Computer Physics Communications . 181 (3): 582– 625. arXiv : 0907.2557 . Bibcode : 2010CoPhC.181..582B . doi : 10.1016/j.cpc.2009.11.007 .

外部リンク

• 公式サイト
• FORMオンラインマニュアル
• Debian — パッケージ形式の詳細
• Linux パッケージ: ArchLinux、Debian、Gentoo、Ubuntu
• マット・フォン・ヒッペル (2022年12月1日). 「粒子物理学にとって重要なコンピュータプログラムが陳腐化の危機に瀕している」 . Quanta Magazine .