岩根秀直

イワネヒデナオ | Iwane Hidenao

研究キーワード (7件)：テスト理論 , 強化学習 , 数式処理 , 最適化 , 限量記号消去 , 実代数幾何 , 計算機代数

競争的資金等の研究課題 (1件)：

論文 (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
大川佳寛, 佐々木智丈, 岩根秀直. Control Approach Combining Reinforcement Learning and Model-Based Control. Asian Control Conference 2019. 2019
深作亮也, 岩根秀直, 佐藤洋祐. 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
松崎拓也, 岩根秀直, 小林宗弘, Yiyang Zhan, 深作亮也, 工藤淳真, 穴井宏和, 新井紀子. Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Communications. 2018. 31. 3. 251-266

MISC (75件)：

大川佳寛, 佐々木智丈, 岩根秀直. 状態制約を考慮した探索範囲の自動調整に基づく安全強化学習. 第6回制御部門マルチシンポジウム. 2019
岩根秀直, 穴井宏和. 実閉体上の限量子消去のための幾何的等価性を利用した論理式の簡単化. Computer Algebra - Theory and its Applications. 2018
大川佳寛, 佐々木智丈, 岩根秀直. 強化学習とモデルベースト制御を並列した制御アプローチ. 第61回自動制御連合講演会. 2018
岩根秀直. sign definite condition 専用 QE の公式の簡単化. 日本数式処理学会理論&システム合同分科会. 2018
岩根秀直. 実閉体上の限量子消去における公式の簡単化. 日本オペレーションズ・リサーチ学会 2018年春季研究発表会. 2018

特許 (19件)：

書籍 (2件)：

講演・口頭発表等 (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)

Works (1件)：

学位 (1件)：

委員歴 (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

全件表示

受賞 (5件)：

2018/10 - モバイル・コミュニケーション・ファンド第17回ドコモ・モバイル・サイエンス賞社会科学部門奨励賞社会科学と数理科学の融合による社会システムデザイン方法論の研究
2016/12 - 日本ソフトウェア科学会最優秀論文賞図形描画とテキスト入力を用いた力学に関する質問応答システム
2013/09 - 日本応用数理学会ベストオーサー賞インダストリアルマテリアルズ部門数値数式最適化技術のものづくりへの適用
2012/10 - (社)情報処理学会マルチメディア、分散、協調とモバイルシンポジウム(DICOMO) 優秀論文賞ノートPCを活用したピーク電力削減のためのバッテリ充放電統合制御システムの開発
2011/09 - (社)日本数式処理学会奨励賞最適化問題に対するCADの効率的な手法

所属学会 (1件)：

日本数式処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

岩根 秀直