Rchr
J-GLOBAL ID：201201022950773178   Update date: Jan. 30, 2024

Iwane Hidenao

イワネ ヒデナオ | Iwane Hidenao
Research keywords  (7)： テスト理論 ,  reinforcement learning ,  数式処理 ,  最適化 ,  限量記号消去 ,  実代数幾何 ,  計算機代数
Research theme for competitive and other funds  (1)：
  • 2009 - 2012 Developments ofcomputational theory of real algebraic geometry for optimization problem
Papers (42)：
  • Teiko Arai, Takuya Matsuzaki, Hidenao Iwane. Appraising Science Textbooks through Quantitative Text Analysis and Psychometric Results of Students’ Reading Skills. Proceedings of the 42nd Annual Meeting of the Cognitive Science Society. 2020. To appear
  • Yoshihiro Okawa, Tomotake Sasaki, Hidenao Iwane. Control Approach Combining Reinforcement Learning and Model-Based Control. Asian Control Conference 2019. 2019
  • Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato. On Multivariate Hermitian Quadratic Forms. Mathematics in Computer Science. 2018
  • Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai. Ordering of Subformulas for Efficient Quantifier Elimination over Real Closed Field. International Congress on Mathematical Software 2018. 2018
  • Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 2018. 31. 3. 251-266
ｍore...
MISC (75)：
ｍore...
Patents (19)：
ｍore...
Books (2)：
  • 計算機代数の基礎理論
    共立出版 2019 ISBN:9784320113732
  • 人工知能プロジェクト「ロボットは東大に入れるか」 : 第三次AIブームの到達点と限界
    東京大学出版会 2018 ISBN:9784130614078
Lectures and oral presentations  (24)：
  • Ordering of Subformulas for Efficient Quantifier Elimination over Real Closed Field
    (International Congress on Mathematical Software 2018 2018)
  • 実閉体上の限量子消去による数学入試問題の自動解答 ~ロボットは東大に入れるか~
    (金沢数理データサイエンス研究会 2018)
  • 限量記号消去を用いた数学入試問題の自動解答器
    (日本数式処理学会合同分科会 2017)
  • 限量記号消去を推論器とする数学入試問題の自動解答器
    (数理連携サロン 2016)
  • 限量記号消去を用いた入試問題の自動解答器 ~ロボットは東大に入れるか~
    (Global Design Seminar 2016)
ｍore...
Works (1)：
  • SyNRAC
    2011 -
Professional career (1)：
  • 博士(数理学) (九州大学)
Committee career (10)：
  • 2018/06 - 2020/05 日本数式処理学会 理論分科会 委員長
  • 2012/04 - 2020/03 日本数式処理学会 代表会員
  • 2016/04 - 2019/03 応用数理学会 編集委員
  • 2016/06 - 2018/06 日本数式処理学会 編集委員 副委員長
  • 2018 - The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2018 Software Presentations Committee
Show all
Awards (5)：
  • 2018/10 - モバイル・コミュニケーション・ファンド 第17回ドコモ・モバイル・サイエンス賞 社会科学部門 奨励賞 社会科学と数理科学の融合による社会システムデザイン方法論の研究
  • 2016/12 - 日本ソフトウェア科学会 最優秀論文賞 図形描画とテキスト入力を用いた力学に関する質問応答システム
  • 2013/09 - 日本応用数理学会 ベストオーサー賞 インダストリアルマテリアルズ部門 数値数式最適化技術のものづくりへの適用
  • 2012/10 - (社)情報処理学会 マルチメディア、分散、協調とモバイルシンポジウム(DICOMO) 優秀論文賞 ノートPCを活用したピーク電力削減のためのバッテリ充放電統合制御システムの開発
  • 2011/09 - (社)日本数式処理学会 奨励賞 最適化問題に対するCADの効率的な手法
Association Membership(s) (1)：
JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM