教員情報 - 屋並　仁史

■ 現在の専門分野

数理情報学, 知能情報学, 計算機システム, 応用数学、統計数学　（キーワード：機械学習、強化学習、データ解析、計算機代数、多目的最適化）

■ 著書・論文歴

1.	著書	『マテリアルズ・インフォマティクスのためのデータ作成とその解析、応用事例』（共著） 2021/07
2.	論文	An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination Theoretical Computer Science (479),pp.43-69 （共著） 2013
3.	論文	A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design Mathematics in Computer Science 5(3),pp.315-334 （共著） 2011
4.	論文	Multi-objective design based on symbolic computation and its application to hard disk slider design 1B,pp.149-156 （単著） 2009
5.	論文	Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination: A MATLAB toolbox for parametric control system design Applicable Algebra in Engineering Communication and Computing 18(6),pp.497-512 （共著） 2007
6.	論文	The Maple package SyNRAC and its application to robust control design The International Journal of Grid Computing-Theory, Methods and Applications 23(5),pp.149-156 （共著） 2007
5件表示
全件表示(6件)

■ 受賞学術賞

1.	2002/01	暗号と情報セキュリティシンポジウム論文賞受賞
2.	2021/05	ICLR Travel Award (Safe Exploration Method for Reinforcement Learning under Existence of Disturbance)
3.	2023/03	計測自動制御学会制御部門マルチシンポジウム賞(技術分野) (利得表が未知なゲームに対する効率的な均衡探索アルゴリズムの提案)

■ 学会発表

1.	2001/04/04	The Block Cipher SC2000（FSE 2001）
2.	2001/09/13	Differential and Linear Cryptanalysis of a Reduced-Round SC2000（The 2nd NESSIE Workshop）
3.	2002/02/06	Differential and Linear Cryptanalysis of a Reduced-Round SC2000（FSE 2002）
4.	2002/09/13	Differential Cryptanalysis of a Reduced-Round SEED（SCN 2002）
5.	2003/06/03	SyNRAC: A maple-package for solving real algebraic constraints（International Workshop on Computer Algebra Systems and their Applications (CASA　2003)）
6.	2003/08/04	SyNRAC: A Maple-package for solving real algebraic constraints toward a robust parametric control toolbox（SICE 2003）
7.	2004/03/26	SyNRAC: A Maple package for solving real algebraic constraints（Ninth Rhine Workshop on Computer Algebra (RWCA 2004)）
8.	2004/06/09	Development of SyNRAC---Formula Description and New Functions（ICCS 2004）
9.	2004/08/06	A MATLAB Toolbox for Robust Control Synthesis by Symbolic Computation
10.	2004/09/04	Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox
11.	2005/04/06	SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints（Algorithmic Algebra and Logic 2005）
12.	2005/05/25	Development of SyNRAC（International Conference on Computational Science 2005）
13.	2005/08/01	Growth of formulas during quantifier elimination by virtual substitution（ACA 2005）
14.	2006/05/31	Development of SyNRAC---Real Quantifier Elimination Based on Cylindrical Algebraic Decomposition and Visualization（International Conference on Computational Science 2006）
15.	2006/09/03	SyNRAC: A Maple toolbox for solving real algebraic constraints（The Second International Congress on Mathematical Software (ICMS 2006)）
16.	2006/10/21	Development of a MATLAB toolbox for parametric robust control---new algorithms and functions---（SICE-ICCAS International Joint Conference 2006）
17.	2007/06/03	An Environment for Manipulating First-Order Formulas over the Reals（The Fifth Asian Workshop on Foundations of Software (AWFS 2007)）
18.	2008/06/06	多目的最適化への代数的アプローチ（第17回日本数式処理学会大会）
19.	2008/06/30	Symbolic-Numeric Cylindrical Algebraic Decomposition in SyNRAC（Applications of Computer Algebra 2008 (ACA 2008)）
20.	2008/06/30	SyNRAC: A Maple toolbox for solving real algebraic constraints（Applications of Computer Algebra 2008 (ACA 2008)）
21.	2008/08/28	QEの多目的最適化への応用（数式処理と教育2008）
22.	2008/11/27	QEのための数値数式partial CADの実装（Computer Algebra---Design of Algorithms, Implementations and Applications）
23.	2009/01/10	ものづくりにおける多目的最適化と数式処理（計算代数と数理科学 2009）
24.	2009/01/28	多目的最適化の数式処理によるアプローチ（日本数式処理学会システム分科会）
25.	2009/02/15	ものづくりにおける多目的最適化と数式処理（科学情報の電子化・自動処理・アクセシビリティをめぐる諸問題）
26.	2009/03/22	QE/CAD のための solution formula construction の実装（Risa/Asir Conference 2009）
27.	2009/08/05	An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination（Conference on Symbolic-Numeric Computation (SNC 2009)）
28.	2009/10/05	SyNRAC 2009 夏（JSSACシステム分科会）
29.	2009/12/17	Symbolic-Numeric Approach to Some Classes of Parametric Optimization Problems for Manufacturing Design（The Joint Conference of ACSM2009 and MACIS2009）
30.	2010/02/19	多目的最適化への代数的アプローチ（第2回日本数式処理学会理論分科会研究会）
31.	2010/09/17	SyNRAC---A Maple Toolbox for Solving Real Algebraic Constraints（The Third International Congress on Mathematical Software (ICMS 2010)）
32.	2010/12/03	符号情報利用による数値数式CADの効率的な実装（Computer Algebra---Design of Algorithms, Implementations and Applications）
33.	2011/11/19	A quantifier elimination algorithm based on symbolic-numeric cylindrical algebraic decomposition（Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation）
34.	2013/03/08	ノートPCバッテリシステムの階層化モデル予測制御（計測自動制御学会第13回制御部門大会）
35.	2013/12/23	階層化モデル予測制御―状態依存階層化とノートPCバッテリシステムへの応用（第5回横幹連合コンファレンス）
36.	2014/08/09	SyNRAC: A Toolbox for Solving Real Algebraic Constraints（The 4th International Congress on Mathematical Software (ICMS 2014)）
37.	2014/11/12	状態依存仮想階層化によるグローカル制御―オフィスの蓄電池制御によるピーク電力削減（第57回自動制御連合講演会）
38.	2015/03/26	State-Dependent Virtual Hierarchization of Batteries for Realizing a Glocal Control in Energy Network Systems and Its Application to Peak Power Reduction in Office（34th Benelux Meeting on Systems and Control (BMSC 2015)）
39.	2015/05/31	State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office（The 10th Asian Control Conference (ASCC 2015)）
40.	2015/11/14	工場内のガスタービン発電機の運転計画最適化（第58回自動制御連合講演会）
41.	2016/03/16	多目的最適化による複数の水位観測地点の流量を再現するパラメータ推定法（第60回水工学講演会）
42.	2016/03/16	洪水予測適性を考慮した分布型流出モデルパラメータの同定手法の検討（第60回水工学講演会）
43.	2016/04/22	Estimation of the discharges of the multiple water level stations by multi-objective optimization（European Geosciences Union General Assembly 2016）
44.	2016/04/22	Proper estimation of hydrological parameters from flood forecasting aspects（European Geosciences Union General Assembly 2016）
45.	2016/08/26	Parameter identification to estimate discharges of multiple water level stations using Colleo optimization software（12th International Conference on Hydroinformatics (HIC 2016)-Smart Water for the Future）
46.	2017/09/22	Derivation of Integrated State Equation for Combined Outputs-Inputs Vector of Discrete-Time Linear Time-Invariant System and Its Application to Reinforcement Learning（56th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)）
47.	2017/09/22	Policy Gradient Reinforcement Learning Method for Discrete-Time Linear Quadratic Regulation Problem Using Estimated State Value Function（56th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)）
48.	2020/05/20	外乱と状態制約を考慮した安全強化学習のための探索過程の自動調整（第64回システム制御情報学会研究発表講演会）
49.	2020/11/22	外乱存在下における探索過程の自動調整と保守的な制御入力に基づく安全強化学習（第63回自動制御連合講演会）
50.	2021/05/07	Safe Exploration Method for Reinforcement Learning under Existence of Disturbance（Security and Safety in Machine Learning Systems Workshop at ICLR 2021）
5件表示
全件表示(50件)

■ 研究課題・受託研究・科研費

1.	2009～2012	最適化問題の記号代数解法のための実代数幾何の代数計算理論の展開基盤研究(B)
2.	2012/10～2015/03	地域統合エネルギーシステム設計に向けたシステム制御理論の構築：グローカル制御の視点競争的資金等の外部資金による研究

■ 学歴

1.	1990/04～1994/03	京都大学理学部卒業
2.	1994/04～1996/03	九州大学大学院数理学研究科修士課程修士課程修了
3.	1996/04～1999/03	九州大学大学院数理学研究科博士後期課程博士課程単位取得満期退学
4.	2008/04～2010/03	九州大学九州大学大学院数理学府博士後期課程数理学博士課程修了機能数理学

■ 職歴

1.	1999/04～2011/09	株式会社富士通研究所コンピュータシステム研究所セキュアコンピューティング研究部研究員
2.	2011/10～2014/03	株式会社富士通研究所ITシステム研究所デザインイノベーション研究部シニアリサーチャー
3.	2013/04～2016/03	東京大学大学院理工学系研究科客員准教授
4.	2014/04～2015/03	株式会社富士通研究所ソーシャルイノベーション研究所ナレッジプラットフォーム研究部主任研究員
5.	2015/04～2017/03	株式会社富士通研究所知識情報処理研究所データアナリティクスプロジェクト主任研究員
6.	2017/04～2021/03	株式会社富士通研究所人工知能研究所人工知能基盤プロジェクト主任研究員
7.	2021/04～2023/03	富士通株式会社研究本部人工知能研究所社会モデル融合AIプロジェクト主任研究員
8.	2023/04～	明星大学データサイエンス学環教授
5件表示
全件表示(8件)

■ 授業科目

1.	データサイエンス演習２
2.	基礎解析学１
3.	基礎解析学２
4.	ＡＩ・機械学習１
5.	ＡＩ・機械学習２

■ 所属学会

1.	2005/04～	日本数式処理学会
2.	2012/06～	計測自動制御学会制御

■ 委員会・協会等

1.	2005/04/01～2009/03/31	情報処理学会編集委員会編集委員
2.	2006/04/01～2008/03/31	国際ワークショップ Computer Algebra Systems and Their Applications プログラム委員
3.	2008/05/01～2012/06/30	日本数式処理学会編集委員会編集副委員長
4.	2009/10/01～2010/06/30	国際会議 Conferences on Applications of Computer Algebra セッションオーガナイザー
5.	2010/04/01～2018/03/31	日本数式処理学会代表会員
6.	2010/09/01～2012/06/30	数式処理学会基礎理論分科会運営委員長
7.	2012/04/01～2014/03/31	計測自動制御学会制御部門制御理論部会委員
8.	2012/06/01～2016/06/30	数式処理学会編集委員会編集委員長
9.	2021/06/01～2021/09/30	計測自動制御学会主催「SICE共創塾」検討会委員
5件表示
全件表示(9件)

■ 取得特許

1.	2013/07/04	制御計画生成方法、制御計画生成装置、及びプログラム（特開2013-132195）
2.	2013/10/07	検出方法、検出装置、および検出プログラム（特開2013-206201）
3.	2014/09/18	制御方法、制御サーバ及び制御プログラム（特開2014-171330）
4.	2014/10/27	制御計画生成装置、制御計画生成方法および制御計画生成プログラム（特開2014-204580）
5.	2015/07/02	制御方法、制御サーバ及び制御プログラム（特開2015-122851）
6.	2016/06/02	電源制御装置、電源制御プログラム、電源制御方法及び電源制御システム（特開2016-103924）
7.	2016/06/23	算出方法、算出プログラムおよび算出装置（特開2016-116403）
8.	2016/11/10	制御計画作成方法、制御計画作成プログラムおよび情報処理装置（特開2016-192824）
9.	2018/02/08	充放電計画設定プログラム、充放電計画設定方法、及び充放電計画設定装置（特開2018-23188）
10.	2019/04/04	強化学習プログラム、強化学習方法、および強化学習装置（特開2019-53589）
11.	2019/04/04	方策改善プログラム、方策改善方法、および方策改善装置（特開2019-53593）
12.	2019/08/29	強化学習プログラム、強化学習方法、および強化学習装置（特開2019-146420）
13.	2020/04/16	強化学習プログラム、強化学習方法、および強化学習装置（特開2020-61909）
14.	2020/06/11	強化学習プログラム、強化学習方法、および強化学習装置（特開2020-91757）
15.	2020/06/11	強化学習プログラム、強化学習方法、および強化学習装置（特開2020-92490）
16.	2020/08/06	強化学習方法、強化学習プログラム、および強化学習装置（特開2020-119139）
17.	2020/09/10	強化学習方法、強化学習プログラム、および強化学習システム（特開2020-144483）
18.	2020/09/10	強化学習方法、強化学習プログラム、および強化学習システム（特開2020-144484）
19.	2021/03/01	強化学習方法、強化学習プログラム、および強化学習装置（特開2021-33767）
20.	2021/04/22	方策改善方法、方策改善プログラム、および方策改善装置（特開2021-64222）
5件表示
全件表示(20件)

■ 担当経験のある科目

1.	数式処理と最適化（東京大学大学院理工学系研究科）