ANAI HIROKAZU 穴井宏和

… Alternative Names

穴井宏和アナイヒロカズ

ANAI Hirokazu 穴井宏和

Less

Researcher Number	20417520
Other IDs
Affiliation (Current)	2025: 富士通株式会社(富士通研究所), その他部局等, 研究員
Affiliation (based on the past Project Information) *help	2016: 九州大学, マス・フォア・インダストリ研究所, 訪問教授 2012: 九州大学, マス・フォア・インダストリ研究所, 招へい教授 2011 – 2012: 九州大学, マス・フォア・インダストリ研究所, 教授 2009 – 2010: Kyushu University, 産業技術数理研究センター, 教授 2009: 株式会社富士通研究所, ITコア研究所, 研究員 … More 2009: 株式会社富士通研究所, Tコア研究所, 研究員 2007: 株式会社富士通研究所ITコア研究所, CAD研究部, 主任研究員 2006 – 2007: 株式会社富士通研究所, ITコア研究所, 研究員 Less
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Intelligent informatics / 基礎ゲノム科学 / Statistical science
Keywords	Principal Investigator 限量子消去 / グレブナ基底 / 限量記号消去 / 実代数幾何 / 記号的最適化手法 / パラメトリック最適化 / 記号・代数計算 / 数式融合計算 / 数値 / 最適化 / 数式処理 … More Except Principal Investigator … More 電力市場 / 最適化 / ゲーム理論 / メカニズム設計 / 多国籍 / 国際研究者交流 / タンパク質相互作用 / 遺伝子制御 / ネットワーク / パラメータ最適化 / 遺伝子制御ネットワーク / 計算機代数 / グラフィカルモデル / 記号計算 / グラフィカル・モデル / ネットワーク解析 / システム生物学 / 条件付き検定 / 超平面配置 / 条件つき検定 / グレブナー基底 / トーリックイデアル / マルコフ連鎖モンテカルロ法 Less

Developing a theory of mechanism design for electricity markets based on optimization
- Principal Investigator
  
  Iwasaki Atsushi
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  The University of Electro-Communications
Developments ofcomputational theory of real algebraic geometry for optimization problemPrincipal Investigator
- 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
Development of method for evaluating the consistency between network model in the cell and the molecular measured data
- Principal Investigator
  
  HORIMOTO Katsuhisa
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  基礎ゲノム科学
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Developments of computational algebraic statistics
- Principal Investigator
  
  TAKEMURA Akimichi
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Statistical science
- Research Institution
  The University of Tokyo

All 2016 2015 2013 2012 2011 2010 2009 2008 2007 Other

All Journal Article Presentation Book

[Book] 数理最適化の実践ガイド2013
- Author(s)
  穴井宏和
- Total Pages
  158
- Publisher
  講談社サイエンティフィック
- Data Source
  KAKENHI-PROJECT-21340025
[Book] 数理最適化の実践ガイド2013
- Author(s)
  穴井宏和
- Total Pages
  160
- Publisher
  講談社
- Data Source
  KAKENHI-PROJECT-21340025
[Book] QEの計算アルゴリズムとその応用-数式処理による最適化2011
- Author(s)
  穴井宏和、横山和弘
- Total Pages
  264
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-21340025
[Book] QEの計算アルゴリズムとその応用-数式処理による最適化2011
- Author(s)
  穴井宏和・横山和弘
- Total Pages
  264
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-21340025
[Book] Symbolic Computation in Biology, Math. Comput. Sci2009
- Author(s)
  Anai, H., Horimoto, K. (eds)
- Data Source
  KAKENHI-PROJECT-19201039
[Book] Algebraic Biology, Lecture Notes in Computer Science 45452007
- Author(s)
  Anai, H.
- Total Pages
  377
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-19201039
[Book] Algebraic Biology, Lecture Notes in Computer Science2007
- Author(s)
  Anai, H., Horimoto, K., Kutsia, T. (eds)
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-19201039
[Journal Article] Simplifying Urban Network Security Games with Cut-Based Graph Contraction2016
- Author(s)
  Hiroaki Iwashita, Kotaro Ohori, Hirokazu Anai, and Atsushi Iwasaki
- Journal Title
  
  The proceedings of the 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)
  
  Volume: 1
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26280081
[Journal Article] Parametric Mechanism Design via Quantifier Elimination2015
- Author(s)
  Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
- Journal Title
  
  The proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)
  
  Volume: 1 Pages: 1885-1886
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280081
[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] 自然言語処理と計算代数の接合による数学問題へのアプローチ(<特集>ロボットは東大に入れるか?)2012
- Author(s)
  相澤彰子, 松崎拓也, 穴井宏和
- Journal Title
  
  人工知能学会誌
  
  Volume: 27(5) Pages: 483-491
- NAID
  110009496296
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] 数式処理に基づくパラメータ空間法によるロバスト制御系設計2011
- Author(s)
  穴井宏和
- Journal Title
  
  電気評論
  
  Volume: 2011 年 3月号 Pages: 15-18
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems2011
- Author(s)
  H. Ichihara, H. Anai
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 5(3) Pages: 303-314
- 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
[Journal Article] Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition2011
- Author(s)
  S.Gandy, M.Kanno, H.Anai, K.Yokoyama
- Journal Title
  
  Mathematics in Computer Science (MCS)
  
  Volume: 5-2 Issue: 2 Pages: 209-221
- DOI
  10.1007/s11786-011-0090-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition2011
- Author(s)
  S. Gandy, M. Kanno, H. Anai, K.Yokoyama
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 5(2) Pages: 209-221
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems2011
- Author(s)
  H.Ichihara, H.Anai
- Journal Title
  
  Mathematics in Computer Science (MCS)
  
  Volume: 5-3 Issue: 3 Pages: 303-314
- DOI
  10.1007/s11786-011-0095-0
- 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
  
  Volume: 5(3) Pages: 315-334
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article]2010
- Author(s)
  木村欣司、穴井宏和
- Journal Title
  
  「数学セミナー」2010年3月号(日本評論社)
  
  Pages: 52-57
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article]2010
- Author(s)
  木村欣司、穴井宏和
- Journal Title
  
  「数学セミナー」2010年2月号(日本評論社)
  
  Pages: 44-47
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem2009
- Author(s)
  H. Anai, S.Hara, M.Kannno, K.Yokoyama
- Journal Title
  
  J. Symb. Comput
  
  Volume: 44(7) Pages: 703-725
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Computer Algebra for Guaranteed Accuracy. How Does It Help?2009
- Author(s)
  M.Kanno, H.Anai
- Journal Title
  
  Japan J. Indust. Appl. Math
  
  Volume: Volume 26, Number 2 Pages: 517-530
- NAID
  10028169383
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic Approach to Nonlinear Gain Analysis of a Class of Nonlinear Dynamical Systems2009
- Author(s)
  H.Ichihara, H.Anai
- Journal Title
  
  Proceedings of the 3rd International Conference on Mathematical Aspects of Computer and Information Sciences 2009
  
  Pages: 374-377
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic-Numeric Approach to Multi-Parametric Programming for Control Design2009
- Author(s)
  H.Anai
- Journal Title
  
  Proceedings of the ICROS-SICE International Joint Conference 2009
  
  Pages: 2535-3520
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Algebraic Approach to Discrete-time Polynomial Spectral Factorization, Journal of Math-for-Industry2009
- Author(s)
  M. Kanno, K. Yokoyama, S. Hara, H. Anai
- Journal Title
  
  Kyushu University
  
  Volume: Vol.1 JMI2009A-8 Pages: 57-68
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Symbolic Computation in Biology2009
- Author(s)
  Hirokazu Anai, Katsuhisa Horimoto (eds)
- Journal Title
  
  Math.Comput.Sci. 2
  
  Pages: 399-556
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200019
[Journal Article] Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem2009
- Author(s)
  H.Anai, et al.
- Journal Title
  
  Journal of Symbolic Computation 44・7
  
  Pages: 703-725
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.2008
- Author(s)
  Yoshida, H., Horimoto, K., Anai, H
- Journal Title
  
  Math. Comput. Sci 1
  
  Pages: 473-485
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19201039
[Journal Article] An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.2007
- Author(s)
  Yoshida, H., Nakagawa, K., Anai, H., Horimoto, K
- Journal Title
  
  Proceedings of 10th CASC, LNCS(Springer, Heidelberg) 4770
  
  Pages: 433-447
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19201039
[Journal Article] Derivation of rigorous conditions for high cell-type diversity by algebraic approach.2007
- Author(s)
  Yoshida, H., Anai, H., Horimoto, K
- Journal Title
  
  BioSystems 90
  
  Pages: 486-495
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19201039
[Journal Article] Exact parameter determination for Parkinson's disease diagnosis with PET using an algebraic approach.2007
- Author(s)
  Yoshida, H., Nakagawa, K., Anai, H., Horimoto, K
- Journal Title
  
  Algebraic Biology, Lecture Notes in Computer Science(In Anai, H., Horimoto, K., Kutsia, T. (eds)) 4545
  
  Pages: 110-124
- Data Source
  KAKENHI-PROJECT-19201039
[Journal Article] Algebraic Biology.2007
- Author(s)
  Hirokazu Anai, Katsuhisa Horimoto, Temure Kutsia. (eds)
- Journal Title
  
  Lecture Notes in Computer Science Springer, Heidelberg
  
  Pages: 4545-4545
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18200019
[Presentation] 代数幾何的アプローチによる多項式システムの解析2013
- Author(s)
  穴井宏和
- Organizer
  計測自動制御学会第13回制御部門大会特別企画「制御と数学が織り成す産業数学の展開」
- Place of Presentation
  アクロス福岡
- Year and Date
  2013-03-08
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 論理関数処理を用いた論理式の簡単化2012
- Author(s)
  岩根秀直, 樋口博之, 穴井宏和
- Organizer
  Risa/Asir Conference 2012+第4回六甲博多計算代数会議
- Place of Presentation
  神戸大学
- Year and Date
  2012-03-20
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] オークションメカニズムの多項式表現と限量記号消去法を用いたメカニズム設計の自動化2012
- Author(s)
  杉町勇和, 岩崎敦, 横尾真, 穴井宏和
- Organizer
  日本オペレーションズ・リサーチ学会秋季研究発表会
- Year and Date
  2012-09-13
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 時間モデルを用いた並列性能予測の誤差を検討する方法2012
- Author(s)
  折居茂夫, 穴井宏和
- Organizer
  情報処理学会第133回ハイパフォーマンスコンピューティング研究発表会
- Place of Presentation
  有馬ビューホテルうらら
- Year and Date
  2012-03-26
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Computational Real Algebraic Geometry and its Engineering Applications2012
- Author(s)
  穴井宏和
- Organizer
  日本学術振興会日本-欧州先端科学セミナーESF-JSPS Frontier Science Conference for Young Researchers "Mathematics for Innovation : Large and Complex Systems"
- Place of Presentation
  東京(招待講演)
- Year and Date
  2012-03-01
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Computational Real Algebraic Geometry and its Engineering Applications2011
- Author(s)
  穴井宏和
- Organizer
  日本学術振興会
- Place of Presentation
  日本-欧州先端科学セミナー ESF-JSPS Frontier Science Conference for Young Researchers "Mathematics for Innovation: Large and Complex Systems"
- Year and Date
  2011-03-01
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 信号処理への代数幾何的アプローチ,電子情報通信学会ソサイエティ大会企画セッション2011
- Author(s)
  穴井宏和
- Organizer
  信号処理工学の多様性と数理的体系化への挑戦
- Place of Presentation
  北海道大学
- Year and Date
  2011-09-13
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 非線形ゲイン解析に対するSOS-QE アプローチ2011
- Author(s)
  市原裕之, 穴井宏和
- Organizer
  第11回計測自動制御学会制御部門大会
- Year and Date
  2011-01-28
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] On parametric optimization techniques for solving recursive formulas2011
- Author(s)
  吉良知文, 岩根秀直, 穴井宏和
- Organizer
  「不確実環境下での柔構造最適化モデリング」第7回研究会
- Year and Date
  2011-01-29
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] On parametric optimization techniques for solving recursive formulas2011
- Author(s)
  吉良知文、岩根秀直、穴井宏和
- Organizer
  「不確実環境下での柔構造最適化モデリング」第7回研究会
- Place of Presentation
  神奈川大学
- Year and Date
  2011-01-29
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An SOS-QE Approach to Nonlinear Gain Analysis2011
- Author(s)
  H.Ichihara, H.Anai
- Organizer
  50th IEEE Conference on Decision and Control and European Control Conference
- Place of Presentation
  Orlando, USA
- Year and Date
  2011-12-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 代数的簡略化を用いたモデル予測制御の効率的方法2011
- Author(s)
  梅田裕平, 丸山次人, 志村智洋, 穴井宏和
- Organizer
  第11回計測自動制御学会制御部門大会
- Year and Date
  2011-01-28
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition2011
- Author(s)
  H.Iwane, A.Kira, H.Anai
- Organizer
  Computer Algebra in Scientific Computing
- Place of Presentation
  Kassel, Germany
- Year and Date
  2011-09-05
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 非線形ダイン解析に対するSOS-QEアプローチ2011
- Author(s)
  市原裕之、穴井宏和
- Organizer
  第11回計測自動制御学会制御部門大会
- Place of Presentation
  琉球大学
- Year and Date
  2011-03-17
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Parallel Computation of Determinants of Matrices with Polynomial Entries for robust control design Parallel Symbolic Computation2010
- Author(s)
  K.Kimura, H.Anai
- Organizer
  Parallel Symbolic Computation 2010
- Place of Presentation
  Grenoble, France
- Year and Date
  2010-07-21
- 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] 産業数学のすすめ・ものづくり強化に向けて2010
- Author(s)
  穴井宏和
- Organizer
  Maple Techno Forum 2010
- Place of Presentation
  東京コンファレンスセンター品川
- Year and Date
  2010-10-27
- 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] A symbolic-numeric approach to nonlinear dynamical system analysis2010
- Author(s)
  H.Anai
- Organizer
  SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation
- Place of Presentation
  UC Berkeley, USA
- Year and Date
  2010-11-19
- 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] CADにおけるi-projection operator導入によるQEの効率化2010
- Author(s)
  岩根秀直、穴井宏和、屋並仁史
- Organizer
  日本数式処理学会大会
- Place of Presentation
  名古屋大学
- Year and Date
  2010-06-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] A symbolic-numeric approach to nonlinear dynamical system analysis2010
- Author(s)
  H. Anai
- Organizer
  SIAM / MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation
- Year and Date
  2010-11-19
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Computer Algebra-what does it bring to control system design?2010
- Author(s)
  H.Anai
- Organizer
  SICE Annual Conference 2010
- Place of Presentation
  台北、台湾
- Year and Date
  2010-08-19
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Computer Algebra - what does it bring to control system design?2010
- Author(s)
  H. Anai
- Organizer
  SICE Annual Conference 2010
- Year and Date
  2010-08-19
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] A Symbolic-Numeric Approach to Multi-Parametric Programming for Control Design: ICROS-SIC2009
- Author(s)
  H. Anai
- Organizer
  International Joint Conference 2009
- Year and Date
  2009-08-20
- 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] A Maple toolbox for parametric robust control system design using symbolic computation2009
- Author(s)
  H. Noriko, H. Anai, S. Hara
- Organizer
  ICROS-SICE international Joint Conference 2009
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Solution of Algebraic Riccati Equations Using the Sum of Roots2009
- Author(s)
  M. Kanno, K. Yokoyama, H. Anai, S. Hara
- Organizer
  International Symposium on Symbolic and Algebraic Computation (ISSAC) 2009
- Year and Date
  2009-07-09
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Plant/Controller Design Integration for H2 Control by Symbolic-Numeric Hybrid Optimization Based on Sum of Roots Characterization2009
- Author(s)
  M. Kanno, S. Hara, H. Anai
- Organizer
  3rd IEEE Multi-conference on Systems and Control (MSC2009)
- Year and Date
  2009-07-09
- 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
[Presentation] A Symbolic-Numeric Approach to Multi-Parametric Programming for Control Design: ICROS-SICE2009
- Author(s)
  H. Anai
- Organizer
  International Joint Conference 2009
- Year and Date
  2009-08-20
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.2007
- Author(s)
  Yoshida, H., Nakagawa, K., Anai, H., Horimoto, K
- Organizer
  10th CASC
- Place of Presentation
  Germany
- Year and Date
  2007-09-16
- Data Source
  KAKENHI-PROJECT-19201039
[Presentation] Exact parameter determination for Parkinson's disease diagnosis with PET using an algebraic approach2007
- Author(s)
  Yoshida, H., Nakagawa, K., Anai, H., Horimoto, K
- Organizer
  Algebraic Biology 2007
- Place of Presentation
  Austria
- Year and Date
  2007-07-02
- Data Source
  KAKENHI-PROJECT-19201039
[Presentation] Parametric mechanism design via quantifier elimination
- Author(s)
  Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
- Organizer
  The 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)
- Place of Presentation
  ISTANBUL Congress Center (Turkey)
- Year and Date
  2015-05-04 – 2015-05-08
- Data Source
  KAKENHI-PROJECT-26280081
[Presentation] Computational Real Algebraic Geometry in Practice
- Author(s)
  Hirokazu Anai
- Organizer
  23rd International Conference on Rewriting Techniques and Applications (RTA'12)
- Place of Presentation
  名古屋大学
- Invited
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Sign Definite Condition 専用 Quantifier Elimination の実装高速化のための論理式の簡単化
- Author(s)
  岩根秀直、樋口博之、穴井宏和
- Organizer
  第２１回日本数式処理学会大会
- Place of Presentation
  山口大学
- Data Source
  KAKENHI-PROJECT-21340025

1. OOSUGI Hidefumi (80350289)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. KAMIYA Hidehiko (50300687)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. SAI Shidou (30186910)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. HIBI Takayuki (80181113)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. HORIMOTO Katsuhisa (40238803)

# of Collaborated Projects: 2 results

# of Collaborated Products: 10 results
6. TAKEMURA Akimichi (10171670)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. AOKI Satoshi (90332618)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. KURIKI Satoshi (90195545)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. SAKATA Toshio (20117352)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. SHIBUYA MASAAKI (20146723)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. NIKI Naoto (10000209)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. HOSHINO Nobuaki (00313627)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. HONDA Toshio (30261754)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. ABURATANI Sachiyo (10361627)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. TOMINAGA Daisuke (20357578)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. YOSHIDA Hiroshi (60401262)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
17. YOKOYAMA Kazuhiro (30333454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results
18. YANAMI Hitoshi (70417533)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results
19. IWANE Hidenao (00470360)

# of Collaborated Projects: 1 results

# of Collaborated Products: 16 results
20. Iwasaki Atsushi (30380679)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
21. 尾山大輔 (00436742)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 安田洋祐 (70463966)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. YAMAMOTO SHUN

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

ANAI HIROKAZU 穴井 宏和

穴井 宏和 アナイ ヒロカズ

ANAI Hirokazu 穴井 宏和

Research Projects

Research Products

Co-Researchers

Developing a theory of mechanism design for electricity markets based on optimization

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developments ofcomputational theory of real algebraic geometry for optimization problemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of method for evaluating the consistency between network model in the cell and the molecular measured data

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developments of computational algebraic statistics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 数理最適化の実践ガイド2013

Author(s)

Total Pages

Publisher

Data Source

[Book] 数理最適化の実践ガイド2013

Author(s)

Total Pages

Publisher

Data Source

[Book] QEの計算アルゴリズムとその応用-数式処理による最適化2011

Author(s)

Total Pages

Publisher

Data Source

[Book] QEの計算アルゴリズムとその応用-数式処理による最適化2011

Author(s)

Total Pages

Publisher

Data Source

[Book] Symbolic Computation in Biology, Math. Comput. Sci2009

Author(s)

Data Source

[Book] Algebraic Biology, Lecture Notes in Computer Science 45452007

Author(s)

Total Pages

Publisher

Data Source

[Book] Algebraic Biology, Lecture Notes in Computer Science2007

Author(s)

Publisher

Data Source

[Journal Article] Simplifying Urban Network Security Games with Cut-Based Graph Contraction2016

Author(s)

Journal Title

Data Source

[Journal Article] Parametric Mechanism Design via Quantifier Elimination2015

Author(s)

Journal Title

Data Source

[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

ANAI HIROKAZU 穴井宏和

穴井宏和アナイヒロカズ

ANAI Hirokazu 穴井宏和