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

記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究

Research Project

Project/Area Number 18654025
Research Category

Grant-in-Aid for Exploratory Research

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionRikkyo University

Principal Investigator

横山 和弘  Rikkyo University, 理学部, 教授 (30333454)

Project Period (FY) 2006 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2008: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2007: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2006: ¥800,000 (Direct Cost: ¥800,000)
Keywords計算機 / 記号代数的近似 / モジュラー技法 / ガロア群計算 / 分解体計算 / 計算機代数 / グレブナー基底 / 根の記号・代数的近似 / 根の数値的近似 / 数値数式融合計算 / 連立代数方程式 / 数値数式融合 / ガロア群・分解体計算 / 近似計算 / 記号代数的計算 / イデアルの分解 / 精度保証付き数値計算 / 代数学
Research Abstract

数値計算と記号代数計算の双方を組合せる融合計算が「計算の壁を破る」可能性を持つものとして期待されていますが、個々の具体的な問題に対する事例研究の域をでていません。本研究では、有効な数値数式の融合をシステマチックに行える戦略・理論を構築することを最終的な目標とし、そのための第1歩として、『多項式の根、もしくは、連立代数方程式の解の近似を利用した計算の効率化』という枠の下で、2種類の近似値、「数値的な近似値」と「記号代数的な近似値」の組合せの戦略を構築することを試みています。戦略の構築のための具体的な目標とし、以下を設定していました。
(a)2種類の近似の特性を解析し、その用途、効果を明らかにする。
(b)計算対象を豊富に用意し、その融合による適用法を個々に構築しその効果を判定する。
(c)上記結果を総括し、その中から一般的な適応指針、すなわち、戦略法を確立する。
(a)に関しては、記号代数的な近似の構成法であるHensel構成とその実際の数への引き戻しを重点に九州大学のXavier博士ら若手研究者たちと討論を重ねました。(b)では、多項式のガロア群と分解体計算を継続して取り上げ、パリ第6大学のRenault博士との共同研究を行い、異なる複数の近似を用いることで計算の効率化が実現できることを検証し、成果を国際会議で発表しました。また、さらなる結果をまとめ、平成21年度に開催される国際会議に投稿し受理されました。(c)の総括として複数の異なる近似を利用する方式の開発の有効な切り口が本研究を通して得られ、今後より発展させる道筋ができたものと思います。

Report

(3 results)
  • 2008 Annual Research Report
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (3 results)

All 2008 2006

All Journal Article (3 results) (of which Peer Reviewed: 1 results)

  • [Journal Article] Multi-modular algorithm for computing the splitting field of a polynomial2008

    • Author(s)
      Guenael Renault, Kazuhiro Yokoyama
    • Journal Title

      Proceedings of the international symposium on symbolie and algebraic computation

      Pages: 247-254

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A modular method for computing the splitting field of a polynomial2006

    • Author(s)
      Gu□na□l Renault, Kazuhiro Yokoyama
    • Journal Title

      Algorithmic Number Theory, Proceedings of ANTS-VII, Lecture Notes in Computer Science 4076

      Pages: 124-140

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Stability of parametric decomposition2006

    • Author(s)
      Kazuhiro Yokoyama
    • Journal Title

      Mathematical Software, Proceedings of ICMS 2006, Lecture Notes in Computer Science 4151

      Pages: 391-402

    • Related Report
      2006 Annual Research Report

URL: 

Published: 2006-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi