Hidenao Iwane
(岩根 秀直)
Modified on: 01/30
Profile Information
- Degree
-
博士(数理学)(九州大学)
- J-GLOBAL ID
- 201201022950773178
- researchmap Member ID
- B000224963
計算機代数・数式処理、最適化などの研究をしています。
限量子消去法のパッケージ SyNRAC の開発をしています。
限量子消去法のパッケージ SyNRAC の開発をしています。
Committee Memberships
10-
Jun, 2018 - May, 2020
-
Apr, 2012 - Mar, 2020
-
Apr, 2016 - Mar, 2019
-
Jun, 2016 - Jun, 2018
-
Jun, 2014 - Jun, 2016
-
Jun, 2012 - Jun, 2016
-
Jun, 2012 - Jun, 2014
-
Apr, 2009 - Mar, 2013
-
Sep, 2010 - Jun, 2012
Awards
5-
Sep, 2011
Papers
42-
Proceedings of the 42nd Annual Meeting of the Cognitive Science Society, To appear, Jul, 2020 Peer-reviewed
-
Asian Control Conference 2019, Jun, 2019 Peer-reviewed
-
Mathematics in Computer Science, Oct, 2018 Peer-reviewed
-
International Congress on Mathematical Software 2018, Jul, 2018 Peer-reviewed
-
AI Commun., 31(3) 251-266, 2018 Peer-reviewed
-
PACIFIC JOURNAL OF MATHEMATICS FOR INDUSTRY, 9(1), Jul, 2017 Peer-reviewed
-
ACA2017, Jul, 2017 Peer-reviewed
-
Jul, 2017 Peer-reviewed
-
2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 653-657, 2017 Peer-reviewed
-
2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 648-652, 2017 Peer-reviewed
-
Proc. ACL 2017, 2131-2141, 2017 Peer-reviewed
-
24th Workshop on Interactive Systems and Software, Dec, 2016 Peer-reviewed
-
ACM Communications in Computer Algebra, 50(3) 101-104, Sep 1, 2016 Peer-reviewed
-
short paper: the International Conference on Electrical Engineering 2016 (ICEE2016), Jul, 2016 Peer-reviewed
-
8th International Joint Conference on Automated Reasoning, 9706 213-227, 2016 Peer-reviewed
-
MATHEMATICAL SOFTWARE, ICMS 2016, 9725 165-172, 2016 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9582 231-235, 2016 Peer-reviewed
-
SICE Annual Conference 2015, Jul, 2015 Peer-reviewed
-
ISMP 2015 | 22nd International Symposium on Mathematical Programming, Jul, 2015 Peer-reviewed
-
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2015- 173-180, Jun 24, 2015 Peer-reviewed
Misc.
75-
The 6th Multi-symposium on Control Systems, Mar, 2019
-
Computer Algebra – Theory and its Applications, Dec, 2018
-
日本数式処理学会理論&システム合同分科会, Sep, 2018
-
日本オペレーションズ・リサーチ学会 2018年春季研究発表会, Mar, 2018
-
RIMS Computer Algebra – Theory and its Applications, Dec, 2017
-
情報処理学会誌, 58(7), Jun, 2017
-
情報処理学会誌, 58(7), Jun, 2017
-
日本数式処理学会大会, Jun, 2017
-
人工知能学会全国大会, May, 2017
-
第 12 回進化計算学会研究会, Mar, 2017
-
第 12 回進化計算学会研究会, Mar, 2017
-
RIMS研究集会「数式処理とその周辺分野の研究 — Computer Algebra and Related Topics」, Dec, 2016
-
RIMS研究集会「数式処理とその周辺分野の研究 — Computer Algebra and Related Topics」, Dec, 2016
-
日本応用数理学会2016年度年会, Sep, 2016
-
2016 RIMS Joint Research: Developments in Computer Algebra, Sep, 2016
-
2016 RIMS Joint Research: Developments in Computer Algebra, Sep, 2016
-
日本数式処理学会 第25回大会, Jun, 2016
-
日本数式処理学会 第25回大会, Jun, 2016
-
第3回制御部門マルチシンポジウム, Mar, 2016
Books and Other Publications
2-
共立出版, 2019 (ISBN: 9784320113732)
-
東京大学出版会, 2018 (ISBN: 9784130614078)
Presentations
24-
International Congress on Mathematical Software 2018, Jul 24, 2018
-
金沢数理データサイエンス研究会, Mar 23, 2018 Invited
-
日本数式処理学会合同分科会, Jan 22, 2017 Invited
-
数理連携サロン, Dec 5, 2016 Invited
-
Global Design Seminar, Nov 30, 2016
-
The 41st International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 19, 2016
-
Jan 31, 2016
-
筑波大学数学談話会, Dec 4, 2014 Invited
-
震災と復興に関する連続セミナー, Nov 21, 2013 Invited
-
数学ソフトウェアの開発と実践--その現状と未来--, Sep 9, 2013 Invited
-
SIAM Conference on Applied Algebraic Geometry (AG13), Aug 2, 2013
-
SIAM Conference on Applied Algebraic Geometry (AG13), Aug 1, 2013
-
26TH EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, Jul 2, 2013 Invited
-
最適化ワークショップ 整数計画法の発展と応用, May 22, 2013, 九州大学 マス・フォア・インダストリ研究所 Invited
-
数学,芸術,数式処理を介した理解の育み, Mar 11, 2013, 神戸大学大学院人間発達環境学研究科 数理情報環境論コース Invited
-
日本オペレーションズ・リサーチ学会東北支部講演会, Feb 27, 2013 Invited
-
最適化ワークショップ: 拡がって いく最適化, Feb 18, 2013 Invited
-
Oct 16, 2012
-
SICE九州フォーラム・講演会, Aug 3, 2012 Invited
-
制御理論部会最先端ワークショップ, Apr 13, 2012 Invited
Teaching Experience
2Professional Memberships
1Works
1-
Nov, 2011 Software
Research Projects
1-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2009 - 2012