English | Japanese

お知らせ

  • 井上研究室では,総合研究大学院大学複合科学研究科情報学専攻博士後期課程および5年一貫制博士課程に進学する大学院生を募集しています.人工知能関連分野で世界レベルの研究者を目指している方を歓迎します.詳しくは,井上教授までご連絡ください.
  • 2015年度より,東京工業大学にも井上研究室が設置されました.2016年度の改革からは,情報理工学院・情報工学系にて大学院生・学部生の研究指導をしています.東工大・井上研への進学を希望される方は井上教授に相談してください.


イベント・ニュース (2016)

2016.12.19 第2回CSPSAT3研究会 (神戸).
2016.12.07-10 CRIL, CNRS / Université d'Artois (Lens, France)を訪問.
Joint Franco-Japanese Seminar (12.08).
2016.12.02 第6回CSPASPミーティング (神戸).
2016.11.14-15 第10回CSPSAT講演会 (神戸).
2016.11.08 Waterloo大学 David Toman 准教授による訪問・当研究室における講演.
2016.09.21 Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue による論文 "Inference of Delayed Biological Regulatory Networks from Time Series Data"CMSB 2016 (Cambridge, UK) で発表されました.
2016.09.15-16 平成28年度NII共同研究「背景知識を用いた知識グラフの線形空間における論理推論」 研究打ち合わせ (和歌山大学).
2016.09.15 2016年度NII国際インターンシッププログラム 第2次募集 (研究項目番号: 01-06).
2016.09.05 Enguerrand Gentet, Sophie Tourret, Katsumi Inoue によるショート論文 "Learning from Interpretation Transition using Feed-Forward Neural Networks" が ILP 2016 (London, UK) で発表されました (スライド).
2016.07.29 第5回CSPASPミーティング (神戸).
2016.07.21 ILP 2015 のポストプロシーディングスが Springer 社 LNAI シリーズで出版されました: "Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers" (Online version).
2016.07.15 情報処理学会会誌「情報処理」2016年8月号で「SAT技術の進化と応用〜パズルからプログラム検証まで〜」が特集されました (別冊へのリンク).
2016.06.01-02 CSPSAT合同ミーティング (神戸).
2016.05.27-28 NIIオープンハウス2016にて,「D04: ダイナミック環境における推論・意思決定」と「D05: AIにおける制約最適化」研究をポスター展示しました.
2016.04.30 時間割編成自動化の理論と実践に関する国際会議 PATAT 2016 (Udine, Italy) に2本の論文が採択されました:
  • Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Philipp Wanko, "teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming"
  • Maxime Clement, Tenda Okimoto, Katsumi Inoue and Mutsunori Banbara, x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems"
  • 2016.04.12 システムズレジリエンス・プロジェクトによる著書『システムのレジリエンス ―さまざまな擾乱からの回復力―』が近代科学社から発売されました.
    2016.04.05 人工知能分野のトップ国際会議であるIJCAI-16 (New York City, NY, USA) (COREランキング A*) に2本の論文がアクセプトされました:
  • Tenda Okimoto, Tony Ribeiro, Damien Bouchabou and Katsumi Inoue, "Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation"
  • Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny and Pierre Marquis, "Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?"
  • 2016.04.01 メンバーページ を更新.
    2016.03.30 花見&パーティ (千鳥が淵/麹町).
    2016.03.27 井上教授による招待講演「LFIT: 解釈遷移からの学習」が,人工知能学会 第100回人工知能基本問題研究会にて行われました(概要スライド).
    2016.03.17 則武治樹さん,番原睦則・宋剛秀・田村直之 先生(神戸大),井上克巳 による論文「パッキング配列問題の制約モデリングとSAT符号化」により,日本ソフトウェア科学会第20回研究論文賞(2015年度)の受賞が決定しました.
    2016.03.18 2016年度NII国際インターンシッププログラム 第1次募集 (研究項目番号: 07-11).
    2016.03.11 「システムズ・レジリエンス」プロジェクト最終報告会 (NII).
    2016.03.04-05 ダイナミック・スケジューリングに関する神戸大との共同研究会議 (神戸).
    2016.02.26 研究ページ を更新.
    2016.02.14 井上教授が大和田勇人・東京理科大教授及び山本章博・京大教授らとの共著論文 "Inductive Logic Programming: Challenges"AAAI-16 (Phoenix, AZ, USA) (COREランキング A*) にて発表しました.
    2016.01.26 David Martínez, Tony Ribeiro, Katsumi Inoue, Guillem Alenya, Carme Torrasによる論文 "Learning Relational Dynamics of Stochastic Domains for Planning"ICAPS 2016 (London, UK) (COREランキング A*) Main Track に採択されました.
    2016.01.22 Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoueによる論文 "Representative Solutions for Multi-Objective Constraint Optimization Problems"KR 2016 (Cape Town, South Africa) (COREランキング A*) のショート発表論文として採択されました.
    2016.01.22 Franco-Japanese Seminar on Beyond SAT (Kobe).
    2016.01.12-16 University of Potsdam (Potsdam, Germany) を訪問.

    2017|2015