岩根秀直 IWANE Hidenao

研究者番号	00470360
その他のID
所属 (過去の研究課題情報に基づく) *注記	2012年度: 富士通研究所, ソフトウェア技術研究所, 研究員
審査区分/研究分野	研究代表者以外数学一般(含確率論・統計数学)
キーワード	研究代表者以外限量子消去 / グレブナ基底 / 限量記号消去 / 実代数幾何 / 記号的最適化手法 / パラメトリック最適化 / 記号・代数計算 / 数式融合計算 / 数値 / 最適化 / 数式処理

最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開
- 研究代表者
  
  穴井宏和
- 研究期間 (年度)
  2009 – 2012
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学

すべて 2013 2012 2011 2010 2009 その他

すべて雑誌論文学会発表

[雑誌論文] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- 雑誌名
  
  Theoretical Computer Science
  
  巻: vol. 479 ページ: 43-69
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- 著者名/発表者名
  H.Iwane, H.Yanami, H.Anai, H.Yokoyama
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 479 ページ: 42-69
- DOI
  10.1016/j.tcs.2012.10.020
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] 符号情報利用による数値数式 CAD の効率的な実装,(Computer Algebra : Design of Algorithms, Implementations and Applications2012
- 著者名/発表者名
  岩根秀直 , 穴井宏和, 屋並仁史
- 雑誌名
  
  数理解析研究所講究録
  
  巻: 1815 ページ: 143-151
- NAID
  120005554194
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai
- 雑誌名
  
  Mathematics in Computer Science
  
  巻: 5(3) ページ: 315-334
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011
- 著者名/発表者名
  H.Iwane, H.Yanami, H.Anai
- 雑誌名
  
  Mathematics in Computer Science (MCS)
  
  巻: 5-3 号: 3 ページ: 315-334
- DOI
  10.1007/s11786-011-0097-y
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] An Effective Implementation of a Symbolic-Numeric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- 著者名/発表者名
  H.Iwane, et al.
- 雑誌名
  
  Proceedings of the 3rd International Workshop on Symbolic-Numeric Computation 2009
  
  ページ: 56-64
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[雑誌論文] A Symbolic-Numeric Approach to Some Classes of Parametric Optimization Problems for Manufacturing Design2009
- 著者名/発表者名
  H.Iwane, et al.
- 雑誌名
  
  Proceedings of the 9th Asian Symposium on Computer Mathematics 2009
  
  ページ: 63-66
- 査読あり
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] 論理関数処理を用いた論理式の簡単化2012
- 著者名/発表者名
  岩根秀直, 樋口博之, 穴井宏和
- 学会等名
  Risa/Asir Conference 2012+第4回六甲博多計算代数会議
- 発表場所
  神戸大学
- 年月日
  2012-03-20
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] On parametric optimization techniques for solving recursive formulas2011
- 著者名/発表者名
  吉良知文, 岩根秀直, 穴井宏和
- 学会等名
  「不確実環境下での柔構造最適化モデリング」第7回研究会
- 年月日
  2011-01-29
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] On parametric optimization techniques for solving recursive formulas2011
- 著者名/発表者名
  吉良知文、岩根秀直、穴井宏和
- 学会等名
  「不確実環境下での柔構造最適化モデリング」第7回研究会
- 発表場所
  神奈川大学
- 年月日
  2011-01-29
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition2011
- 著者名/発表者名
  H.Iwane, A.Kira, H.Anai
- 学会等名
  Computer Algebra in Scientific Computing
- 発表場所
  Kassel, Germany
- 年月日
  2011-09-05
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] SyNRAC-A Maple Toolbox for Solving Real Algebraic Constraints2010
- 著者名/発表者名
  H.Iwane, H.Yanami, H.Anai
- 学会等名
  The Third International Congress on Mathematical Software (ICMS2010)
- 発表場所
  神戸大学
- 年月日
  2010-09-16
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] partial CADの改良2010
- 著者名/発表者名
  岩根秀直、屋並仁史、穴井宏和
- 学会等名
  京都大学数理解析研究所研究集会CA-ALIAS 2010
- 発表場所
  京都大学
- 年月日
  2010-12-03
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] CADにおけるi-projection operator導入によるQEの効率化2010
- 著者名/発表者名
  岩根秀直、穴井宏和、屋並仁史
- 学会等名
  日本数式処理学会大会
- 発表場所
  名古屋大学
- 年月日
  2010-06-12
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] CAD における i-projection operator 導入による QE の効率化2010
- 著者名/発表者名
  岩根秀直, 穴井宏和, 屋並仁史
- 学会等名
  日本数式処理学会大会
- 年月日
  2010-06-12
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- 学会等名
  3rd International Workshop on Symbolic-Numeric Computation (SNC)
- 年月日
  2009-08-04
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- 著者名/発表者名
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- 学会等名
  3rd International Workshop on Symbolic-Numeric Computation (SNC) 2009
- 年月日
  2009-08-04
- データソース
  KAKENHI-PROJECT-21340025
[学会発表] Sign Definite Condition 専用 Quantifier Elimination の実装高速化のための論理式の簡単化
- 著者名/発表者名
  岩根秀直、樋口博之、穴井宏和
- 学会等名
  第２１回日本数式処理学会大会
- 発表場所
  山口大学
- データソース
  KAKENHI-PROJECT-21340025

1. 穴井宏和 (20417520)

共同の研究課題数: 1件

共同の研究成果数: 16件
2. 横山和弘 (30333454)

共同の研究課題数: 1件

共同の研究成果数: 4件
3. 屋並仁史 (70417533)

共同の研究課題数: 1件

共同の研究成果数: 11件

岩根 秀直 IWANE Hidenao

研究課題

研究成果

共同研究者

最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] 符号情報利用による数値数式 CAD の効率的な実装,(Computer Algebra : Design of Algorithms, Implementations and Applications2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] An Effective Implementation of a Symbolic-Numeric Cylindrical Algebraic Decomposition for Quantifier Elimination2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Symbolic-Numeric Approach to Some Classes of Parametric Optimization Problems for Manufacturing Design2009

著者名/発表者名

雑誌名

データソース

[学会発表] 論理関数処理を用いた論理式の簡単化2012

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] On parametric optimization techniques for solving recursive formulas2011

著者名/発表者名

学会等名

年月日

データソース

[学会発表] On parametric optimization techniques for solving recursive formulas2011

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition2011

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] SyNRAC-A Maple Toolbox for Solving Real Algebraic Constraints2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] partial CADの改良2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] CADにおけるi-projection operator導入によるQEの効率化2010

著者名/発表者名

学会等名

発表場所

岩根秀直 IWANE Hidenao