1999 Fiscal Year Annual Research Report
| Project/Area Number |
10640285
|
|---|
| Research Institution | Meiji Gakuin University |
|---|
Principal Investigator |
金子 敏明 明治学院大学, 一般教育部, 教授 (40177522)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
石川 正 高エネルギー加速器研究機構, 計算科学センター, 助教授 (90184481)
黒田 正明 明治学院大学, 一般教育部, 教授 (00170134)
|
|---|
| Keywords | GRACE / SUSY / 摂動論 / 自動計算 |
|---|
| Research Abstract |
これまで超対称性模型における素粒子反応の理論解析を自動化するプログラムGRACE/SUSYを開発して来た。これは、計算機上でファインマングラフの生成から振幅計算、イベントジェネレータの作成までを自動的に行う。今年度までにトリー反応に関して開発はほぼ完了した。
これらの解析の基礎となるファインマン規則には数千個のvertexを含み、現状ではこれを人手によって一定の書式のデータとしてファイルに作成しておく必要がある。さらに、超対称性模型には種々の変種がり、それらに対してそれぞれのファインマン規則を矛盾なく正確に導入するのは、人手では容易ではなく、自動化する事が望ましい。
今年度は、前年度の数式処理システムREDUCE上での検討の上、独自の専用数式処理システムの開発を開始した。このシステムは、有理式の処理を基礎としてDirac行列や粒子の対称群、統計性についての機能が必要となる。また。その利用形態からcompiler型の処理系が望ましい。
このシステムためのプログラミング言語を定義し、C言語のcodeを生成するcompilerのプロトタイプ版を作成した。これにより、C言語で開発する基本的なライブラリと新数式処理言語で書かれたプログラムの連結が容易となるだけでなく、応用ライブラリを新数式処理言語で開発する事を可能とする。一方、多倍長整数ライブラリおよび多項式ライブラリの基本部分の作成を行い、基本的な多項式演算が可能となった。
|
