多変数代数方程式のべき級数根解法の研究

• 研究課題/領域番号: 19700004
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 筑波大学
• 研究代表者: 照井 章 筑波大学, 大学院・数理物質科学研究科, 助教 (80323260)
• 研究期間 (年度): 2007 – 2009
• 研究課題ステータス: 完了 (2009年度)
• 配分額: 3,380千円 (直接経費: 2,900千円、間接経費: 480千円); 2009年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2007年度: 1,300千円 (直接経費: 1,300千円)
• キーワード: 計算代数 / 数式処理 / 数式・数値融合計算 / 記号的Newton法 / 近似GCD / 数値最適化 / 勾配射影法 / 代数方程式 / べき級数根 / 非線形最適化 / 同時反復公式 / Pade近似

研究概要

本研究では、計算代数(数式処理)において、多変数代数方程式のべき級数根を求める記号的Newton法を取り上げ、まず、すべてのべき級数根を同時に計算する、より収束次数の高い反復公式を構築した。次に、記号的Newton法を計算する際の初期因子に現われることのある(近似)重複因子を除去するために、係数に微小な摂動を加えることによって近似共通因子を実用的な精度と効率で計算する算法の研究を行い、非線形最適化法の一つである勾配射影法に基づいて、1変数多項式の近似最大公約子(GCD)を安定かつ効率的に求める算法を構築した。

研究成果

• [雑誌論文] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients. (2009)
  • 著者名/発表者名: A. Terui
  • 雑誌名: Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note. (Faculty of Mathematics, Kyushu University) Vol.22 ページ: 212-221
  • NAID: 110009491248
  • URL: http://hdl.handle.net/2324/16844
  • 査読あり
• [雑誌論文] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials. (2009)
  • 著者名/発表者名: A. Terui
  • 雑誌名: Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009). ACM ページ: 351-358
  • NAID: 120007131521
  • 査読あり
• [雑誌論文] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法. (2009)
  • 著者名/発表者名: 照井章
  • 雑誌名: 第38回数値解析シンポジウム講演予稿集 ページ: 95-98
  • NAID: 120007131520
  • URL: http://hdl.handle.net/2241/103425
• [雑誌論文] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials (2009)
  • 著者名/発表者名: 照井章
  • 雑誌名: Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation(ISSAC 2009) ページ: 351-358
  • NAID: 120007131521
  • 査読あり
• [雑誌論文] Computing Clustered Close-Roots of Univariate Polynomials (2009)
  • 著者名/発表者名: Tateaki Sasaki, Akira Terui
  • 雑誌名: Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation(SNC 2009) ページ: 177-184
  • 査読あり
• [雑誌論文] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients (2009)
  • 著者名/発表者名: 照井章
  • 雑誌名: Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note, (Faculty of Mathematics, Kyushu University) 22 ページ: 212-221
  • NAID: 110009491248
  • 査読あり
• [雑誌論文] The presupposed 1st primitive polynomials over a finite field(有限体上の予想される第一原始多項式について) (2009)
  • 著者名/発表者名: 太刀川弘幸, 照井章
  • 雑誌名: 数理解析研究所講究録1652 "Computer Algebra-Design of Algorithms, Implementations and Applications"(京都大学数理解析研究所) ページ: 146-154
• [雑誌論文] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法 (2009)
  • 著者名/発表者名: 照井章
  • 雑誌名: 第38回数値解析シンポジウム講演予稿集 ページ: 95-98
  • NAID: 120007131520
• [雑誌論文] Words, filings and combinatorial spectra (2009)
  • 著者名/発表者名: Jun Morita and Akira Terui
  • 雑誌名: Hiroshima Mathematical Journal 39 ページ: 37-60
  • 査読あり
• [雑誌論文] Recursive polynomial remainder sequence and its subresultants (2008)
  • 著者名/発表者名: Akira Terui
  • 雑誌名: Journal of Algebra 320 ページ: 633-659
  • 査読あり
• [雑誌論文] 任意の収束次数をもつ記号的Newton法の同時反復公式. (2007)
  • 著者名/発表者名: 照井章
  • 雑誌名: 数理解析研究所講究録"数式処理研究の新たな発展". (京都大学数理解析研究所) 1572 ページ: 82-93
  • URL: http://hdl.handle.net/2433/81304
• [学会発表] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients. (2009)
  • 著者名/発表者名: A. Terui
  • 学会等名: The Joint Conference of ASCM 2009 and MACIS 2009
  • 発表場所: Fukuoka, Japan
  • 年月日: 2009-12-14
• [学会発表] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: The Joint Conference of ASCM 2009 and MACIS 2009
  • 発表場所: JALリゾートシーホークホテル福岡(福岡市)
  • 年月日: 2009-12-14
• [学会発表] 近似GCD算法GPGCDの複素係数多項式への拡張. (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 研究集会"Computer Algebra ? Design of Algorithms, Implementations and Applications"
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2009-11-05
• [学会発表] 近似GCD算法GPGCDの複素係数多項式への拡張 (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 研究集会"Computer Algebra-Design of Algorithms, Implementations and Applications"
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2009-11-05
• [学会発表] Computing Clustered Close-Roots of Univariate Polynomials (2009)
  • 著者名/発表者名: Tateaki Sasaki, Akira Terui
  • 学会等名: The 3rd International Workshop on Symbolic-Numeric Computation(SNC 2009)
  • 発表場所: コープイン京都(京都市)
  • 年月日: 2009-08-05
• [学会発表] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials. (2009)
  • 著者名/発表者名: A. Terui
  • 学会等名: The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
  • 発表場所: Seoul, Republic of Korea
  • 年月日: 2009-07-31
• [学会発表] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 2009 International Symposium on Symbolic and Algebraic Computation(ISSAC 2009)
  • 発表場所: 韓国高等科学院(ソウル, 大韓民国)
  • 年月日: 2009-07-31
• [学会発表] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法. (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 第38回数値解析シンポジウム(NAS2009)
  • 発表場所: 熱川ハイツ
  • 年月日: 2009-06-17
• [学会発表] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法 (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 第38回数値解析シンポジウム(NAS2009)
  • 発表場所: 熱川ハイツ(静岡県賀茂郡東伊豆町)
  • 年月日: 2009-06-17
• [学会発表] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法. (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 第18回日本数式処理学会大会
  • 発表場所: 龍谷大学瀬田キャンパス
  • 年月日: 2009-06-12
• [学会発表] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法 (2009)
  • 著者名/発表者名: 照井章
  • 学会等名: 第18回日本数式処理学会大会
  • 発表場所: 龍谷大学瀬田キャンパス
  • 年月日: 2009-06-12
• [学会発表] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials (poster presentation). (2009)
  • 著者名/発表者名: A. Terui
  • 学会等名: The 11th International Workshop on Computer Algebra in Scientific Computing (CASC 2009)
  • 発表場所: Kobe, Japan
• [学会発表] The presupposed 1st primitive polynomial over a finite field (有限体上の予想される第一原始多項式について) (2007)
  • 著者名/発表者名: 太刀川弘幸・照井章
  • 学会等名: "研究集会"Computer Algebra-Design of Algorithms, Implementations and Applications 2007
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2007-11-09
• [学会発表] 任意の収束次数をもつ記号的Newton法の同時反復公式. (2007)
  • 著者名/発表者名: 照井章
  • 学会等名: 共同研究"数式処理研究の新たな発展"
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2007-07-05
• [学会発表] 任意の収束次数をつ記号的Newton法の同時反復公式 (2007)
  • 著者名/発表者名: 照井章
  • 学会等名: RIMS共同研究「数式処理研究の新たなる発展
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2007-07-05
• [備考] ソフトウェア公開・配布webサイトGPGCD: an approximate polynomial GCD library
  • URL: http://gpgcd.googlecode.com/
• [備考] GPGCD : an approximate polynomial GCD library
  • URL: http://gpgcd.googlecode.com/