| 2024.05.15 |
井上克巳による招待講演: Algebraic Connection between Logic Programming and Machine Learning (FLOPS 2024, 熊本市国際交流会館).
|
| 2024.04.02 |
千鳥ヶ淵花見ツアー．
|
| 2024.03.28-29 |
2023年度NII共同研究「SAT技術を用いた組合せ遷移問題の解法に関する研究」第4回研究会合 (長良川国際会議場).
|
| 2024.03.18-19 |
科研費プロジェクト：基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2023年度第2回成果発表ミーティング (日光鬼怒川温泉).
|
| 2024.03.07-08 |
JST CREST 「記号推論に接続する機械学習」2023年度第2回研究ミーティング (京都大学).
|
| 2024.02.25 |
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang による論文 "A differentiable first-order rule learner for inductive logic programming" が Artificial Intelligence 誌に採択されました．
|
| 2024.02.05 |
2023年度修士論文発表会：大谷 将之 (東工大).
|
| 2024.01.18 |
博士論文本審査：小髙 充弘（総研大・情報学専攻／ECN, NII＆オンライン).
|
