井上 克巳


井上 克巳

J-GLOBALへ         更新日: 19/03/12 14:27
 
アバター
研究者氏名
井上 克巳
 
イノウエ カツミ
URL
http://research.nii.ac.jp/il/
所属
国立情報学研究所
部署
情報学プリンシプル研究系
職名
教授
学位
博士(工学)
その他の所属
東京工業大学総合研究大学院大学
科研費研究者番号
10252321

プロフィール

国立情報学研究所・情報学プリンシプル研究系および総合研究大学院大学・複合科学研究科・情報学専攻の教授,ならびに東京工業大学・情報理工学院・情報工学系の特任教授を務めています.専門は数理工学と人工知能で,AIとプログラミングとの融合,レジリエントなAI,系や世界におけるダイナミクスの解明に関する研究を進めています.

研究分野

 
 

経歴

 
2018年4月
 - 
現在
総合研究大学院大学 情報学専攻 専攻長
 
2016年4月
 - 
現在
東京工業大学 情報理工学院 特任教授
 
2005年4月
 - 
現在
総合研究大学院大学 複合科学研究科 情報学専攻 教授
 
2004年3月
 - 
現在
国立情報学研究所 教授
 
2015年4月
 - 
2016年3月
東京工業大学大学院 情報理工学研究科 特任教授
 
2008年4月
 - 
2012年3月
東京工業大学大学院 情報理工学研究科 客員教授
 
1997年4月
 - 
2004年3月
神戸大学 工学部
 
1993年4月
 - 
1997年3月
豊橋技術科学大学 工学部
 
1986年10月
 - 
1993年3月
新世代コンピュータ技術開発機構
 
1984年4月
 - 
1993年3月
松下電器産業
 

学歴

 
 
 - 
1993年1月
京都大学 大学院工学研究科 博士(工学)
 
1982年4月
 - 
1984年3月
京都大学 大学院工学研究科 数理工学専攻
 
1978年4月
 - 
1982年3月
京都大学 工学部 数理工学科
 

論文

 
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals of Operations Research   275(1) 3-37   2019年4月   [査読有り]
Identifying Goals of Agents by Learning from Observations
Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018; Hanoi, Vietnam, November 18-20, 2018), Lecture Notes in Artificial Intelligence,   11248 125-138   2018年11月   [査読有り]
Computing Logic Programming Semantics in Linear Algebra
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018; Hanoi, Vietnam, November 18-20, 2018), Lecture Notes in Artificial Intelligence,   11248 32-48   2018年11月   [査読有り]
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
Proceedings of the 16th International Conference Principles of Knowledge Representation and Reasoning (KR 2018; Tempe, Arizona, 30 October - 2 November 2018)   663-664   2018年10月   [査読有り]
Tenda Okimoto, Nicolas Schwind, Emir Demirović, Katsumi Inoue, Pierre Marquis
In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018; Tokyo, Japan, October 29 - November 2, 2018), LLecture Notes in Artificial Intelligence,   11224 140-157   2018年10月   [査読有り]
SAT技術を用いたペトリネットのデッドロック検出手法の提案
寸田 智也,宋 剛秀,番原 睦則,田村 直之,井上 克巳
情報処理学会論文誌   59(9) 1749-1760   2018年9月   [査読有り]
情報処理学会論文誌ジャーナル・特選論文.
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier Roux, Katsumi Inoue
In: Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese (eds.), Inductive Logic Programming: Proceedings of the 28th International Conference (ILP 2018; Ferrara, Italy, September 2-4, 2018), Lecture Notes in Artificial Intelligence,   11105 118-140   2018年9月   [査読有り]
Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
The 28th International Conference on Inductive Logic Programming (ILP 2018; Ferrara, Italy, September 2-4, 2018)   Work-in-progress paper   2018年9月   [査読有り]
Using Reachability Properties of Logic Program for Revising Biological Models
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
The 28th International Conference on Inductive Logic Programming (ILP 2018; Ferrara, Italy, September 2-4, 2018)   Work-in-progress paper   2018年9月   [査読有り]
Static Analysis and Stochastic Search for Reachability Problem
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, (SASB 2018; Freiburg, Germany, August 28, 2018)      2018年8月   [査読有り]
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge
Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018; August 23-24, Plague, Czech Republic)      2018年8月   [査読有り]
The full paper is to appear in: Journal of Applied Logic.
Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame
PLoS ONE   13(8) e0202337   2018年8月   [査読有り]
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
In: Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18; Stockholm, Sweden, July 13-19, 2018)   1956-1962   2018年7月   [査読有り]
Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue
FLOC 2018 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), arXiv:   1811.11435    2018年7月   [査読有り]
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Theory and Practice of Logic Programming   18(3-4) 571-588   2018年7月   [査読有り]
The oral presentation was given at: The 31st International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14-17, 2018.
Received "Best Paper Award".
Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018; July 14-17, 2018, Oxford, UK): OASICS 64, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik   12 1-19   2018年7月   [査読有り]
Emir Demirović, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018)   1362-1370   2018年7月   [査読有り]
Maxime Clement, Tenda Okimoto, Katsumi Inoue
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018)   1903-1905   2018年7月   [査読有り]
Learning from Noisy Transition Data
Yin Jun Phua, Katsumi Inoue
The 2nd International Workshop on Symbolic-Neural Learning (SNL-2018; Nagoya, Japan, July 6, 2018)   Poster presentation   2018年7月   [査読有り]
Yin Jun Phua, Sophie Tourret, Katsumi Inoue
In: Nicolas Lachiche, Christel Vrain (eds.), Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017), CEUR Workshop Proceedings   2085 27-37   2018年3月   [査読有り]

講演・口頭発表等

 
レジリエントなナース・スケジューリング問題
沖本 天太,平山 勝敏,番原 睦則,井上 克巳
第17回情報科学技術フォーラム(FIT-2018; 福岡)   2018年9月19日   
Recoverable Team Formation: Building Teams Resilient to Change
Emir Demirović, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018), An extended abstract of a work published in another outlet   2018年6月26日   
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), Journal presentation track   2018年6月24日   
重み予測を用いたMLPの初期化による少数例からのダイナミクス深層学習
ポア インジュン, 井上 克巳
第32回人工知能学会全国大会 (JSAI 2018; 鹿児島)   2018年6月8日   
Neural Programmer-Interpretersの拡張と四則演算を用いる文章問題の解答
勝俣 翔太, 井上 克巳
第32回人工知能学会全国大会 (JSAI 2018; 鹿児島)   2018年6月6日   
システムズレジリエンスへの数理アプローチ [招待有り]
井上 克巳
「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議   2018年2月21日   大阪大学医学部附属病院
Learning Programs from Observations [招待有り]
Katsumi Inoue
Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming   2017年9月19日   
確率的な提携構造形成フレームワークの提案
沖本 天太, 平山 勝敏, シュウィンド ニコラ, 井上 克巳, マルキ ピエール
情報科学技術フォーラム 2017 (FIT 2017)   2017年9月12日   
情報科学技術フォーラム講演論文集 第2分冊 pp.65-70.
リカレントニューラルネットワークによる遅延を伴う解釈遷移からの論理プログラム表現学習
ポア インジュン,Sophie Tourret,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月25日   
Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network
Maxime Clement, Tenda Okimoto, Katsumi Inoue
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月25日   

Misc

 
Computational Intractability Law Molds the Topology of Biological Networks
Ali A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispüh
bioRxiv   510495    2019年1月
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
arXiv:1805.00068      2018年4月
Learning Programs from Observations
Katsumi Inoue
In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports   7(9)    2018年3月   [依頼有り]
解集合プログラミングによるカリキュラムベース・コース時間割編成
番原 睦則, 井上 克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋 剛秀, 田村 直之, フィリップ ワンコ
第29回RAMPシンポジウム論文集   73-88   2017年10月   [依頼有り]
AIにおけるアブダクション
井上 克巳
人工知能学大事典   5-24 264-265   2017年7月   [依頼有り]

書籍等出版物

 
Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan, August 20-22, 2015), Lecture Notes in Artificial Intelligence, Vol.9575
Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto (担当:共編者)
Springer   2016年7月   
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto, Japan, August 20-22, 2015)
Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto (担当:共編者)
CEUR Workshop Proceedings, Vol. 1636   2016年7月   
Computational Framework of Resilience
Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, and Katsumi Inoue (担当:共著, 範囲:Chapter 12, in: Yoshiki Yamagata and Hiroshi Maruyama (eds.), Urban Resilience: A Transformative Approach)
Springer   2016年8月   
システムのレジリエンス―さまざまな擾乱からの回復力―
情報・システム研究機構 新領域融合センター (担当:共著)
近代科学社   2016年4月   
Logical Modeling of Biological Systems
Luis Fariñas del Cerro and Katsumi Inoue (担当:共編者)
Wiley (ISTE), London, UK   2014年8月   ISBN:9781848216808

受賞

 
2018年9月
情報処理学会 情報処理学会論文誌・特選論文 "SAT技術を用いたペトリネットのデッドロック検出手法の提案"
受賞者: 寸田 智也,宋 剛秀,番原 睦則,田村 直之,井上 克巳
 
2018年7月
The 31st International Conference on Logic Programming (ICLP 2018) Best Paper Award "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning"
受賞者: Tobias Kaminski, Thomas Eiter, Katsumi Inoue
 
2017年8月
KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award "Linear Algebraic Characterization of Logic Programs"
受賞者: Chiaki Sakama, Katsumi Inoue, Taisuke Sato
 
2016年9月
日本ソフトウェア科学会 第20回研究論文賞(2015年度) "パッキング配列問題の制約モデリングとSAT符号化"
受賞者: 則武 治樹,番原 睦則,宋 剛秀,田村 直之,井上 克巳
 
2016年6月
人工知能学会 人工知能学会全国大会優秀論文賞 "組合せテストケース生成問題に対する制約解集合プログラミングの適用"
受賞者: 兼行 大将,番原 睦則,宋 剛秀,田村 直之,井上 克巳
 
2015年11月
ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems) Best Presentation Award & Best Session Paper Award "Skill-Based Dynamic Team Formation Problem"
受賞者: Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
 
2014年10月
合同エージェントワークショップ&シンポジウム2014 (JAWS 2014) 優秀論文賞 "ロバストなチーム編成問題"
受賞者: 沖本天太, シュウィンド ニコラ, クレモン マキシム, 井上 克巳
 
2014年9月
日本ソフトウェア科学会 第3回ソフトウェア論文賞 "GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー"
受賞者: 鍋島 英知, 岩沼 宏治, 井上 克巳
 
2013年12月
The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013) Best Presentation Award "AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization"
受賞者: Tenda Okimoto, Maxime Clement, Katsumi Inoue
 
2013年9月
合同エージェントワークショップ&シンポジウム2013 (JAWS 2013) 優秀論文賞 "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization"
受賞者: Alexandre Medi, Tenda Okimoto, Katsumi Inoue
 

競争的資金等の研究課題

 
テンソル空間における巨大知識グラフのための高次推論技術の開発
日本学術振興会: 科学研究費基盤研究(B)
研究期間: 2018年4月 - 2022年3月    代表者: 坂間千秋教授(和歌山大学)
状態遷移列からの関係ダイナミクス学習
日本学術振興会: 科学研究費基盤研究(A)
研究期間: 2017年4月 - 2021年3月    代表者: 井上 克巳
動的環境におけるロバストなチーム編成に関する研究
日本学術振興会: 科学研究費基盤研究(B)
研究期間: 2017年4月 - 2021年3月    代表者: 沖本天太准教授(神戸大学)
SATを基盤とした新しい制約プログラミングシステムの研究開発
日本学術振興会: 科学研究費基盤研究(B)
研究期間: 2016年4月 - 2019年3月    代表者: 田村直之教授(神戸大学)
ダイナミック環境下における意図認識に関する研究
(株)ビデオリサーチ: 受託研究
研究期間: 2014年10月 - 2020年3月    代表者: 井上 克巳

委員歴

 
2019年2月
 - 
現在
The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019)  Member of Program Committee
 
2018年12月
 - 
現在
The 35th International Conference on Logic Programming (ICLP 2019)  Member of Program Committee
 
2018年11月
 - 
現在
The 28th International Conference on Inductive Logic Programming (ILP 2019)  Member of Program Committee
 
2018年6月
 - 
現在
NII Shonan Meeting 157: “Formal Methods for the Synthesis of Biomolecular Circuits”  Co-Organizer
 
2017年9月
 - 
現在
Atlanstic 2020, France  Member of Scientific Committee
 
2017年4月
 - 
現在
(一社)人工知能学会  代議員
 
2010年10月
 - 
現在
NII 湘南会議  学術委員
 
2005年3月
 - 
現在
Theory and Practice of Logic Programming (Cambridge Journal)  Editorial Advisor
 
2017年10月
 - 
2018年11月
The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18)  Member of Senior Program Committee
 
2018年5月
 - 
2018年10月
The 17th International Workshop on Non-Monotonic Reasoning (NMR 2018)  Member of Program Committee