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

多変数多項式の近似代数演算の実用化とその検証

Research Project

Project/Area Number 16700016
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Fundamental theory of informatics
Research InstitutionKobe University

Principal Investigator

長坂 耕作  神戸大学, 発達科学部, 講師 (70359909)

Project Period (FY) 2004 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2006: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 2005: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2004: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords数式処理 / 数値計算 / 数値・数式融合計算 / 近似代数 / 計算代数
Research Abstract

2006年6月に国際会議IMS2006(International Mathematica Symposium)で,Mathematicaに組み込まれている数値誤差評価の仕組みが実践的であるもののドキュメント通りに動作しない点について報告した結果,開発元の主要開発者から抜本的解決につながる解決策が得られた.本年度のパッケージ開発の中心は,この解決策への移行であり,年度末までにドキュメントを除いて内容を一新したものをウェブにて公開できる予定である.また,本年度で本研究課題の研究期間は終了するが,今後も同パッケージの改良及びメンテナンスを続けていきたいと考えている.
一方,多項式の近似代数演算のアルゴリズムの研究については,昨年度から取り組んでいた新しいタイプの近似因数分解問題の解決が難しいことが様々な理論的,実験的な取り組みから判明したため,その内容を京都大学数理解析研究所の研究集会にて発表した.同内容は講究録に掲載されることになっている.
本年度の実施計画で予定していたウェブサイト上での本研究課題で開発しているMathematicaのパッケージを利用できるようにする件は,利用ソフトウェアの納品遅れから作業が遅れ,十分な公開期間を設けられなかったが,研究開発内容のアウトリーチのひとつの方法として非常に優れていると考えている.この件に関しては,Risa/Asir Conference 2007にて発表予定である.
なお,本研究課題で実装している多項式誤差の取扱い方法についての発表が,昨年度の日本数式処理学会で認められ,同内容についての論文「Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials.」が論文誌「数式処理」に掲載された.

Report

(3 results)
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (4 results)

All 2006 2005 2004

All Journal Article (4 results)

  • [Journal Article] Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials.2006

    • Author(s)
      Kosaku Nagasaka
    • Journal Title

      数式処理 12 (3)

      Pages: 21-30

    • NAID

      10018138099

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Towards More Accurate Separation Bounds of Empirical Polynomials II2005

    • Author(s)
      Kosaku Nagasaka
    • Journal Title

      Proc.CASC 2005, Lecture Notes in Computer Science 3718

      Pages: 318-329

    • NAID

      120005348238

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 一変数多項式の近似代数演算の実用化の試み2005

    • Author(s)
      長坂 耕作
    • Journal Title

      数式処理学会誌 11・2(予定)

    • NAID

      40007193756

    • Related Report
      2004 Annual Research Report
  • [Journal Article] SNAP Package for Mathematica and Its Applications2004

    • Author(s)
      Kosaku Nagasaka
    • Journal Title

      Proc.The Ninth Asian Technology Conference in Mathematics

      Pages: 308-316

    • Related Report
      2004 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi