YANAMI Hitoshi 屋並仁史

… Alternative Names

屋並仁史ヤナミヒトシ

Less

Researcher Number	70417533
Affiliation (Current)	2025: 明星大学, データサイエンス学環, 教授 2025: 富士通株式会社(富士通研究所), その他部局等, 研究員
Affiliation (based on the past Project Information) *help	2012: 富士通研究所, ソフトウェア技術研究所, 研究員
Review Section/Research Field	Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Except Principal Investigator 限量子消去 / グレブナ基底 / 限量記号消去 / 実代数幾何 / 記号的最適化手法 / パラメトリック最適化 / 記号・代数計算 / 数式融合計算 / 数値 / 最適化 / 数式処理

Developments ofcomputational theory of real algebraic geometry for optimization problem
- Principal Investigator
  
  ANAI Hirokazu
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University

All 2013 2012 2011 2010 2009

All Journal Article Presentation

[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: vol. 479 Pages: 43-69
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- Author(s)
  H.Iwane, H.Yanami, H.Anai, H.Yokoyama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 479 Pages: 42-69
- DOI
  10.1016/j.tcs.2012.10.020
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] 符号情報利用による数値数式 CAD の効率的な実装,(Computer Algebra : Design of Algorithms, Implementations and Applications2012
- Author(s)
  岩根秀直 , 穴井宏和, 屋並仁史
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1815 Pages: 143-151
- NAID
  120005554194
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011
- Author(s)
  H. Iwane, H. Yanami, H. Anai
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 5(3) Pages: 315-334
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011
- Author(s)
  H.Iwane, H.Yanami, H.Anai
- Journal Title
  
  Mathematics in Computer Science (MCS)
  
  Volume: 5-3 Issue: 3 Pages: 315-334
- DOI
  10.1007/s11786-011-0097-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] SyNRAC-A Maple Toolbox for Solving Real Algebraic Constraints2010
- Author(s)
  H.Iwane, H.Yanami, H.Anai
- Organizer
  The Third International Congress on Mathematical Software (ICMS2010)
- Place of Presentation
  神戸大学
- Year and Date
  2010-09-16
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] partial CADの改良2010
- Author(s)
  岩根秀直、屋並仁史、穴井宏和
- Organizer
  京都大学数理解析研究所研究集会CA-ALIAS 2010
- Place of Presentation
  京都大学
- Year and Date
  2010-12-03
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] CADにおけるi-projection operator導入によるQEの効率化2010
- Author(s)
  岩根秀直、穴井宏和、屋並仁史
- Organizer
  日本数式処理学会大会
- Place of Presentation
  名古屋大学
- Year and Date
  2010-06-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] CAD における i-projection operator 導入による QE の効率化2010
- Author(s)
  岩根秀直, 穴井宏和, 屋並仁史
- Organizer
  日本数式処理学会大会
- Year and Date
  2010-06-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Organizer
  3rd International Workshop on Symbolic-Numeric Computation (SNC)
- Year and Date
  2009-08-04
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Organizer
  3rd International Workshop on Symbolic-Numeric Computation (SNC) 2009
- Year and Date
  2009-08-04
- Data Source
  KAKENHI-PROJECT-21340025

1. ANAI Hirokazu (20417520)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results
2. YOKOYAMA Kazuhiro (30333454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
3. IWANE Hidenao (00470360)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results

YANAMI Hitoshi 屋並 仁史

屋並 仁史 ヤナミ ヒトシ

Research Projects

Research Products

Co-Researchers

Developments ofcomputational theory of real algebraic geometry for optimization problem

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013

Author(s)

Journal Title

Data Source

[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013

Author(s)

Journal Title

DOI

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011

Author(s)

Journal Title

Data Source

[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011

Author(s)

Journal Title

DOI

Data Source

[Presentation] SyNRAC-A Maple Toolbox for Solving Real Algebraic Constraints2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] partial CADの改良2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Author(s)

Organizer

Year and Date

Data Source

[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009

Author(s)

Organizer

Year and Date

Data Source

[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009

Author(s)

Organizer

Year and Date

Data Source

YANAMI Hitoshi 屋並仁史

屋並仁史ヤナミヒトシ