2023年度

論文

1. Profir-Petru Pârțachi, Mahito Sugiyama, Bringing Structure to Naturalness: On the Naturalness of ASTs, 46th International Conference on Software Engineering (ICSE 2024) Posters Track, 2024.
2. Kazu Ghalamkari, Mahito Sugiyama, Yoshinobu Kawahara, Many-body Approximation for Non-negative Tensors, Thirty-seventh Conference on Neural Information Processing Systems (NeurIPS 2023), 2023.
3. Kiyotaka Matsue, Mahito Sugiyama, Unsupervised Tensor Based Feature Extraction from Multivariate Time Series, IEEE Access, vol. 11, pp. 116277-116295, 2023.
4. Takeru Isobe, Katsumi Inoue, Learning Strategies of Inductive Logic Programming Using Reinforcement Learning, Proceeding of the 32nd International Conference on Inductive Logic Programming (ILP 2023), 2023 (accepted).
5. Sota Moriyama, Koji Watanabe, Katsumi Inoue, GNN Based Extraction of Minimal Unsatisfiable Subsets, Proceeding of the 32nd International Conference on Inductive Logic Programming (ILP 2023), 2023 (accepted).
6. Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Hamiltonian Cycle Reconfiguration with Answer Set Programming, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 2023.
7. Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 2023.
8. Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue, Gene network inference from single-cell omics data and domain knowledge for constructing COVID-19-specific ICAM1-associated pathways, Frontiers in Genetics, 2023.
9. Taisuke Sato, Katsumi Inoue, Differentiable learning of matricized DNFs and its application to Boolean networks, Machine Learning, 2023.
10. Koji Watanabe, Katsumi Inoue, Learning State Transition Rules from High-Dimensional Time Series Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann Machines, Human-Centric Intelligent Systems, 2023.
11. Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez, Algorithms for partially robust team formation, Autonomous Agents and Multi-Agent Systems, 2023.
12. Kazu Ghalamkari, Mahito Sugiyama, Energy-Based Non-Negative Tensor Factorization via Multi-Body Modeling, ICML 2023 Workshop Duality Principles for Modern Machine Learning, 2023.
13. Ryuichi Kanoh, Mahito Sugiyama, Investigating Axis-Aligned Differentiable Trees through Neural Tangent Kernels, ICML 2023 Workshop Differentiable Almost Everything, 2023.
14. Masatsugu Yamada, Mahito Sugiyama, How Graph Features from Message Passing Affect Graph Classification and Regression?, Intelligent Data Analysis, 2023 (accepted).
15. Masatsugu Yamada, Mahito Sugiyama, Molecular Graph Generation by Decomposition and Reassembling, ACS Omega, 2023.

招待講演

1. 加納　龍一, Neural Tangent Kernelを用いたアンサンブル学習における木構造の分析, 第22回情報科学技術フォーラム (FIT) トップコンファレンスセッション, 2023.
2. 杉山 麿人, 機械学習におけるパラメータ空間の再考, 創発的研究支援事業　融合の場2023 深層学習がもたらすブレイクスルーと可能性, 2023.
3. ガラムカリ 和, 統計多様体上での安定なテンソル・行列分解, 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI), 2023.
4. 井上 克巳, 生成AIと記号推論, 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI), 2023.
5. 西野 正彬, 検証器つき機械学習モデル, 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI), 2023.
6. Kazu Ghalamkari, Tensor Factorization Using Interaction Modeling, Seventh International Workshop on Symbolic-Neural Learning (SNL2023), 2023.

発表

1. 山田 正嗣, 杉山 麿人, グラフの識別や回帰におけるメッセージパッシングが与える影響の解析, 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI), 2023.
2. 磯邊 猛, 井上 克巳, 強化学習を用いた帰納論理プログラミングにおける探索戦略の学習, 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI), 2023.
3. 森山 総太, 渡邉 晃司, 井上 克巳, グラフニューラルネットワークに基づく極小充足不能部分集合の抽出, 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI), 2023.
4. 伝住 周平, 西野 正彬, 安田 宜仁, 決定グラフ上での最適なk-集合選択問題を高速に解くアルゴリズム, 第37回人工知能学会全国大会（JSAI2023）, 2023.
5. 中村 健吾, 西野 正彬, 安田 宜仁, 湊 真一, CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法, 第37回人工知能学会全国大会（JSAI2023）, 2023.
6. 小髙充弘, マニャン モルガン, 井上克巳, 多変量時系列からの因果ネットワーク発見による微分方程式系の学習, 第37回人工知能学会全国大会（JSAI2023）, 2023.
7. 加納龍一, 杉山麿人, 任意の二分木構造に対するTree Neural Tangent Kernel, 第37回人工知能学会全国大会（JSAI2023）, 2023.
8. ガラムカリ和, 杉山麿人, 非負テンソルの多体モデリング, 第37回人工知能学会全国大会（JSAI2023）, 2023.

受賞

1. 人工知能学会 全国大会優秀賞, ガラムカリ和, 杉山麿人 「非負テンソルの多体モデリング」
2. 人工知能学会 全国大会優秀賞, 加納龍一, 杉山麿人 「任意の二分木構造に対するTree Neural Tangent Kernel」
3. 人工知能学会 全国大会優秀賞, 中村　健吾，西野　正彬，湊　真一 「CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法」

2022年度

論文

1. Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, CompDP: A Framework for Simultaneous Subgraph Counting under Connectivity Constraints, 21st Symposium on Experimental Algorithms (SEA 2023), 2023 (accepted).
2. Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Exact and Efficient Network Reliability Evaluation per Outage Scale, IEEE International Conference on Communication, (ICC 2023), 2023 (accepted).
3. Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure, IEEE International Conference on Computer Communications (INFOCOM 2023), 2023 (accepted).
4. Ryuichi Kanoh, Mahito Sugiyama, Analyzing Tree Architectures in Ensembles via Neural Tangent Kernel, 11th International Conference on Learning Representations (ICLR 2023), 2023.
5. Masaya Hagai, Mahito Sugiyama, Koji Tsuda, Takeshi Yanai, Artificial neural network encoding of molecular wavefunctions for quantum computing, Digital Discovery, 2023.
6. Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue, Data-Driven and Knowledge-Based Causal Network Discovery for Identifying Differential Equations, AAAI Spring Symposium on Computational Approaches to Scientific Discovery, 2023.
7. Kazu Ghalamkari, Mahito Sugiyama, Non-negative Low-rank Approximations for Multi-dimensional Arrays on Statistical Manifold, Information Geometry, 2023.
8. Nicolas Schwind, Katsumi Inoue, Pierre Marquis, Editing Boolean Classifiers: A Belief Change Perspective, 37th AAAI Conference on Artificial Intelligence (AAAI 2023), 2023.
9. Tuan Nguyen Quoc, Katsumi Inoue, On Converting Logic Programs into Matrices, The 12th International Conference on Agents and Artificial Intelligence (ICAART 2023), 2023.
10. Tuan Nguyen, Katsumi Inoue, Chiaki Sakama, Linear Algebraic Abduction with Partial Evaluation, The 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023), 2023.
11. Masaaki Nishino, Kengo Nakamura, Norihito Yasuda, Generalization Analysis on Learning with a Concurrent Verifier, Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS 2022), 2022.
12. Ryosuke Kojima, Yuji Okamoto, Learning Deep Input-Output Stable Dynamics, Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS 2022), 2022.
13. Hikaru Tomonari, Masaaki Nishino, Akihiro Yamamoto, Robustness Evaluation of Text Classification Models Using Mathematical Optimization and Its Application to Adversarial Training, The 2nd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 12th International Joint Conference on Natural Language Processing (AACL/IJCNLP 2022 (Findings)), 2022.
14. Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia, Action Languages Based Actual Causality in Decision Making Contexts, Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022), 2022.
15. Koji Watanabe, Katsumi Inoue, Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines, Proceedings of Principle and practice of data and Knowledge Acquisition Workshop 2022 (PKAW 2022), 2022.

発表

1. 加納龍一, 杉山麿人, 任意の二分木構造に対するTree Neural Tangent Kernel, 第25回情報論的学習理論ワークショップ（IBIS2022）, 2022.
2. ガラムカリ和, 杉山麿人, テンソルの部分二体相互作用近似, 第25回情報論的学習理論ワークショップ（IBIS2022）, 2022.
3. 西野正彬, 中村健吾, 安田宜仁, 検証器つきモデルの汎化性能解析, 第25回情報論的学習理論ワークショップ（IBIS2022）, 2022.

書籍

1. Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama, Abductive Logic Programming and Linear Algebraic Computation, Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition, 2023.