1994 Fiscal Year Annual Research Report
整数論のアルゴリズム、データベース、コンピュータ実験
Project/Area Number |
06640067
|
Research Institution | Tokyo Metropolitan University |
Principal Investigator |
中村 憲 東京都立大学, 理学部・数学科, 助教授 (80110849)
|
Co-Investigator(Kenkyū-buntansha) |
山下 慎二 東京都立大学, 理学部・数学科, 助教授 (30087019)
蔵野 和彦 東京都立大学, 理学部・数学科, 助手 (90205188)
寺杣 友秀 東京都立大学, 理学部・数学科, 助教授 (50192654)
ト部 東介 東京都立大学, 理学部・数学科, 助教授 (70145655)
三宅 克哉 東京都立大学, 理学部・数学科, 教授 (20023632)
|
Keywords | 整数論 / コンピュータ / アルゴリズム / ソフト / データ / ネットワーク / メイリングリスト / TNT |
Research Abstract |
新たに国内で収集したソフトとデータは 工藤 愛知(長崎大学)のUBASICによる「実 2次体の類数計算」、長尾 孝一(滋賀職業能力開発短期大学校)のC,FORTRAN,REDUCE,PARIによる「ランクの高い楕円曲線の構成」、山村 健(防衛大学校)のCによる「4次 CM体の類数表」等である。我々が新たに計算したのは「素数を法とした最小原始根」、「非正則素数」、「虚2次体のイデアル類群の生成元」、「Del Pezzo曲面の Manin不変量」である。また、裏面の論文に加えて、代数学シンポジウムの講演「最近の計算機時代の理論と応用」(1994年7月28日、愛媛大学)で分野の概要を紹介し、国際シンポジウム Algorithm and Number Theory 講演 「Certain Quartic Fields with Explicit Fundamental Units」 (1994年10月12日、Dagstuhl)等で、これらの成果に基づく研究結果を発表した。この他に我々の作成した TNT-ML(Tools on Number Theoryメイリングリスト)に記事として「PARIの新版のアナウンス」、「新しいライブラリ LiDIAのアナウナス」等をネットワークを通じて流した。また小川 裕之(大阪大学)の「REDUCEの新版の評価」、木田 祐司(立教大学)「UBASICのanonymous ftp開設の告知」、中野 伸と鈴木 浩志(名古屋大学)の「KANT 2.2のインストール」等が、そこで流された他の重要な記事である。現在 TNT-MLに参加しているのは全国で111名であり昨年度末の89名から大きく増加している。
|
-
[Publications] 中村 憲: "Imprimtive Quartic Fields with Minimal Pegulators." J.Number Th.(1995)
-
[Publications] 三宅 克哉: "The establishment of the Takagi-Artin Class Field Theory" The Intersection of History and Mathematics. 109-128 (1994)
-
[Publications] ト部 東介: "Dynkin Graphs and Triangle Singularities" Kodai Math.J. 17. 395-401 (1994)
-
[Publications] 寺杣 友秀: "A Product Formula for Period Integrals" Math.Ann.298. 577-589 (1994)
-
[Publications] 蔵部 和彦: "On Finite Generation of Rees Rings Defined by Filtrations of Ideals" J.Math.Kyoto Univ.34. 73-86 (1994)
-
[Publications] 山下 慎二: "La Solution Unique de Lequation Differentille de Liouville" Math.Scand.74. 237-248 (1994)