• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2004 Fiscal Year Annual Research Report

スクリプト言語による汎用数論システム共同開発と数論アルゴリズム研究

Research Project

Project/Area Number 16340011
Research Category

Grant-in-Aid for Scientific Research (B)

Research InstitutionTokyo Metropolitan University

Principal Investigator

中村 憲  東京都立大学, 理学研究科, 教授 (80110849)

Co-Investigator(Kenkyū-buntansha) 津村 博文  東京都立短期大学, 助教授 (20310419)
内山 成憲  NTT情報流通プラットフォーム研究所, 研究主任
栗原 将人  東京都立大学, 理学研究科, 助教授 (40211221)
徳永 浩雄  東京都立大学, 理学研究科, 助教授 (30211395)
福田 隆  日本大学, 生産工学部, 助教授 (00181272)
Keywords数論アルゴリズム / 暗号理論 / 数論システム / Python / NZMATH / 楕円曲線
Research Abstract

アルゴリズムの解析や計算機実験により,$Z_p$拡大,各種のゼータ値,岩澤理論,楕円曲線,数体の類群と単数,暗号理論などに関して,別記した雑誌論文にある様な数論アルゴリズムや,それに関する多くの理論的成果を得られた.
これらの成果を交流する為に,日本応用数理学会(JSIAM)「数論アルゴリズムとその応用」研究部会(JANT)の活動としては,JSIAM年会でオーガナイズドセッションを組織した.またJANT研究集会(第11-13〜回)を毎回約50〜名の参加者で開催し,これらの経過を http://ntw.e-one.uec.ac.jp/jant/で公表し,暗号理論などに関する産学公連携の発展に貢献してきた.
数論システムに関しては,スクリプト言語Pythonによる新システムNZMATHの開発を進めている.最初に,数論を念頭に置いた有理数体・実数体・複素数体・行列環・多項式環に於る基本演算を実装した.次に,数論,有限体,組合せ論の初等的なプログラムをパッケージとして追加した.また,各種の素因数分解,中でもMPQS(複数多項式二次篩)の関数を実装した.更に,素体上の楕円曲線の基本演算と,とりわけ有限素体上の楕円曲線の群構造の計算のパッケージを実装した.それを http://tnt.math.metro-u.ac.jp/nzmath/で公開配布している.

  • Research Products

    (16 results)

All 2005 2004 Other

All Journal Article (16 results) (of which Peer Reviewed: 4 results)

  • [Journal Article] Remarks on the lambda_{p}-invariants of cyclic fields of degree p2005

    • Author(s)
      M.Kurihara
    • Journal Title

      Acta Arithmetica 116-3

      Pages: 199-216

  • [Journal Article] Implementation of a Sieving Algorithm on a Dynamic Reconfigurable Processor2005

    • Author(s)
      T.Shimoyama et al.
    • Journal Title

      SHARCS2005 - Special-purpose Hardware for Attacking Cryptographic Systems, ECRYPT

      Pages: 63-70

  • [Journal Article] Dihedral covers and an elemetary arithmetic on elliptic2004

    • Author(s)
      H.Tokunaga
    • Journal Title

      J.Math.Kyoto Univ. 44

      Pages: 255-270

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Zariski κ-plets of rational curve arrangements and dihedral covers2004

    • Author(s)
      H.Tokunaga
    • Journal Title

      Topology Appl. 142

      Pages: 227-233

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] On evaluation formulas for double L-values2004

    • Author(s)
      H.Tsumura
    • Journal Title

      Bull.Austral.Math.Soc. 70

      Pages: 213-221

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Combinatorial relations for Euler-Zagier sums2004

    • Author(s)
      H.Tsumura
    • Journal Title

      Acta Arith. 111

      Pages: 27-42

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Evaluation formulas for Tornheim's type of alternating double series2004

    • Author(s)
      H.Tsumura
    • Journal Title

      Math.Comp. 73

      Pages: 251-258

  • [Journal Article] An elementary proof of Euler's formula for ζ(2m)2004

    • Author(s)
      H.Tsumura
    • Journal Title

      Amer.Math.Monthly 111,No.5

      Pages: 431-432

  • [Journal Article] Multiple harmonic series related to multiple Euler numbers2004

    • Author(s)
      H.Tsumura
    • Journal Title

      J.Number Theory 106

      Pages: 155-168

  • [Journal Article] On Witten's type of zeta values attached to SO(5)2004

    • Author(s)
      H.Tsumura
    • Journal Title

      Arch.Math. (Basel) 84

      Pages: 147-152

  • [Journal Article] Non-Supersingular Elliptic Curves for Pairing-Based Cryptosystems2004

    • Author(s)
      Taiichi Saito et al.
    • Journal Title

      IEICE Trans.Fundamentals E87-A

      Pages: 1203-1205

  • [Journal Article] 数論アルゴリズムと公開鍵暗号の安全性2004

    • Author(s)
      岡本 龍明 他
    • Journal Title

      情報処理 45-11

      Pages: 1111-1113

  • [Journal Article] $Z_p$-extensions associated to elliptic curves with complex multiplication2004

    • Author(s)
      T.Fukuda et al.
    • Journal Title

      Math.Proc.Cambridge Phil.Soc. 11-137

      Pages: 541-550

  • [Journal Article] ディジタル数学公式集の現状と未来2004

    • Author(s)
      高山信毅
    • Journal Title

      情報処理 7月号

      Pages: 740-745

  • [Journal Article] 素因数分解ハードウェアTWIRLの実現可能性に関する検討報告(I)(II)2004

    • Author(s)
      伊豆哲也 他
    • Journal Title

      電子情報通信学会技術研究報告 信学技報 23

      Pages: 104-199

  • [Journal Article] On the structure of Milnor K-groups of certain complete discrete valuation fields

    • Author(s)
      M.Kurihara
    • Journal Title

      Journal de theorie des nombres de Bordeaux (発表予定)

URL: 

Published: 2006-07-12   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi