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

新たに国内外で収集したソフトとデータはKANTグループ(ベルリン工科大学)による「KASH(KANTのシェル版)」,LiDIAグループ(ザ-ルランド大学)による「LiDIA」,Victor Shoupによる「NTL(Number Theory Library)」等の数論のツール,PARIグループによる「数体の数表(次数7以下)」,長谷川雄二(早稲田大学)のMathematicaによる「new formの表」等である.我々が新たに計算したのは「判別式が負の三次体とそのガロア閉包の単数群と類数」,「二次多項式の根となる素数を法とする原始根」,「一般ルカ数列に現われる平方数」などである.また,裏面の論文に加えて,1996年7月30日にエゲル(ハンガリ)で開催された整数論国際会議で「Squares in binary recurence sequences(二項再帰数列に現われる平方数」を,1996年7月24日に群馬大学工学部で開催された情報処理学会アルゴリズム研究会で「2部グラフの辺彩色を列挙するアルゴリズムの計算時間の解析」を講演する等して成果を発表した.この他に我々の作成したTNT-ML(Tools on Number Theory メイリングリスト)に記事として「離散対数問題の結果をアナウンス」,「数対篩によるRSA-130の素因数分解の報告」,「階数の高い楕円曲線のアナウンス」等をネットワークを通じて流した.また小川 裕之(大阪大学)の「大阪大学のanonymous ftp開設の告知」,木田 祐司(立教大学),鈴木 治郎(信州大学)の「大きな素数に関するデーターベースの紹介」等が,そこで流された他の重要な記事である.現在TNT-MLに参加しているのは全国で139名であり昨年度末の111名,1992年発足当時の51名から大きく増加している.

新たに国内外で収集したソフトとデータはKANTグループ(ベルリン工科大学)による「KASH(KANTのシェル版)」,LiDIAグループ(ザ-ルランド大学)による「LiDIA」,Victor Shoupによる「NTL(Number Theory Library)」等の数論のツール,PARIグループによる「数体の数表(次数7以下)」,長谷川雄二(早稲田大学)のMathematicaによる「new formの表」等である.我々が新たに計算したのは「判別式が負の三次体とそのガロア閉包の単数群と類数」,「二次多項式の根となる素数を法とする原始根」,「一般ルカ数列に現われる平方数」などである.また,裏面の論文に加えて,1996年7月30日にエゲル(ハンガリ)で開催された整数論国際会議で「Squares in binary recurence sequences(二項再帰数列に現われる平方数」を,1996年7月24日に群馬大学工学部で開催された情報処理学会アルゴリズム研究会で「2部グラフの辺彩色を列挙するアルゴリズムの計算時間の解析」を講演する等して成果を発表した.この他に我々の作成したTNT-ML(Tools on Number Theory メイリングリスト)に記事として「離散対数問題の結果をアナウンス」,「数対篩によるRSA-130の素因数分解の報告」,「階数の高い楕円曲線のアナウンス」等をネットワークを通じて流した.また小川 裕之(大阪大学)の「大阪大学のanonymous ftp開設の告知」,木田 祐司(立教大学),鈴木 治郎(信州大学)の「大きな素数に関するデーターベースの紹介」等が,そこで流された他の重要な記事である.現在TNT-MLに参加しているのは全国で139名であり昨年度末の111名,1992年発足当時の51名から大きく増加している.