整数論のアルゴリズム、データベース、コンピュータ実験

新たに国内で収集したソフトとデータは 工藤 愛知(長崎大学)の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名から大きく増加している。

新たに国内で収集したソフトとデータは 工藤 愛知(長崎大学)の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名から大きく増加している。