English | Japanese

お知らせ

  • 井上研究室では,総合研究大学院大学複合科学研究科情報学専攻博士後期課程および5年一貫制博士課程に進学する大学院生を募集しています.人工知能関連分野で世界レベルの研究者を目指している方を歓迎します.詳しくは,井上教授までご連絡ください.
  • 2015年度より,東京工業大学にも井上研究室が設置されました.2016年度からは,情報理工学院・情報工学系にて大学院生・学部生の研究指導をしています.本研究室は研究者を目指す学生にとって最適な研究環境を,国立情報学研究所及び東工大の両研究地点にて提供します.東工大で井上研への配属を希望する学生,及び他大学からの進学で東工大・井上研を希望される方は必ず事前に井上教授に相談してください.


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

2017.12.26-28 論理と学習に関するワークショップ (和歌山大学).
2017.12.08 歓迎会 & 忘年会 & クリスマスパーティ (SONAR, 銀座).
2017.11.29-12.01 ECN/IS2N (Nantes, France) を訪問.
2017.11.27-28 CRIL/Université d'Artois (Lens, France) を訪問.
2017.11.14-15 The 11th CSPSAT and ASP Seminar (Kobe).
2017.10.02 フランスのフレデリック・ヴィダル高等教育・研究・イノベーション大臣らがNII来訪 (フランス大使館ニュース).
2017.09.27 学位授与記念メダル贈呈式及び祝賀会 (NII).
2017.09.17-20 Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming (Schloss Dagstuhl, Germany).
2017.09.04 2017年度NII国際インターンシッププログラム 第2次募集 (研究項目番号: 08-10).
2017.08.20 坂間千秋・客員教授および佐藤泰介・客員教授とのNII共同研究成果論文 "Linear Algebraic Characterization of Logic Programs" が KSEM 2017 で最優秀論文賞を受賞しました.
2017.08.07-08 第4回CSPSAT3研究会 (神戸大).
2017.08.01 David Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue, Carme Torras による論文 "Relational Reinforcement Learning for Planning with Exogenous Effects" が機械学習トップジャーナル JMLR にアクセプトされました.
2017.07.27-28 科研費プロジェクト「状態遷移列からの関係ダイナミクス学習」第1回研究会 (NII共同研究ミーティングとの共催).
2017.07.13 Maxime Clement 氏による公開博士論文発表会: "Solving Multi-Objective Distributed Constraint Optimization Problems" (17:00, Room 1212, NII).
2017.06.09
2017.07.05
帰納論理プログラミングに関する第27回国際会議 ILP 2017 (Orléan, France) に2論文が採択されました:
  • Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux and Katsumi Inoue, "Learning Programs with Continuous Domains from State Transitions" (regular paper with long presentation)
  • Yin Jun Phua, Tony Ribeiro, Sophie Tourret and Katsumi Inoue, "Learning Logic Program Representation for Delayed Systems with Limited Training Data" (late-breaking paper)
  • 2017.06.15 Hidetomo Nabeshima, Katsumi Inoue による論文 "Coverage-Based Clause Reduction Heuristics for CDCL Solvers" が SAT 2017 (Melbourne, Australia) (COREランキング A) に採択されました.
    2017.06.09-10 NIIオープンハウス2017.
    2017.05.31 Chiaki Sakama, Katsumi Inoue, Taisuke Sato による論文 "Linear Algebraic Characterization of Logic Programs" が KSEM 2017 (Melbourne, Australia) に full paper として採択されました.
    2017.05.23-26 2017年度 人工知能学会全国大会(第31回) (名古屋).
    井上研関係で7件発表.
    2017.05.12 Yin Jun Phua, Sophie Tourret, Katsumi Inoue による論文 "Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks" が SNL 2017 (名古屋) にポスター論文として採択されました.
    2017.05.03 Kotaro Okazaki, Katsumi Inoue による論文 "Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences" が CBI 2017 (Thessaloniki, Greece) に full paper として採択されました.
    2017.04.07 メンバーページ を更新.
    2017.04.03 花見 & パーティ (千鳥が淵/半蔵門).
    2017.04.03 日本学術振興会・科学研究費補助金に新規研究課題が採択されました:
      平成29〜32年度・基盤研究(A) 「状態遷移列からの関係ダイナミクス学習」(課題番号: 17H00763)
    この結果,平成26〜29年度・基盤研究(B) 「レジリエントなシステムのモデル化と推論に関する研究」は一年早期終了しました.
    2017.03.28 2017年度NII国際インターンシッププログラム 第1次募集 (研究項目番号: 01-06).
    2017.03.23 総研大情報学専攻第1回 Home Coming Day (NII).
    2017.03.15-16 第3回CSPSAT3研究会・第7回CSPASP研究会 合同研究会 (神戸大).
    2017.03.08 Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamuraによる論文 "catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming" が LPNMR 2017 (Espoo, Finland) (COREランキング A) に regular paper として採択されました.
    2017.02.14 H28年度卒論発表会 (東工大).
    2017.02.01 Sophie Tourret, Enguerrand Gentet, Katsumi Inoueによる論文 "Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks" が ISNN 2017 (札幌) に採択されました.
    2017.01.30 平成28年度NII共同研究「背景知識を用いた知識グラフの線形空間における論理推論」 第2回研究打ち合わせ (NII).
    2017.01.09 Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue による論文 "Relational Reinforcement Learning for Planning with Exogenous Effects" が Algorithms に掲載されました.
    2017.01.04 大学院生・特別共同利用研究員による研究発表会 (NII).

    2018   |   2016