８月７日〜８日に北大にて人工知能学会 第101回人工知能基本問題研究会 (SIG-FPAI)が行われました。
大規模知識処理研究室の学生による発表は口頭発表が3件でした。

• 順列のサイクルタイプ同値類分割に対する順列決定グラフの適用 (井上 祐馬)
• モデル検査によるSmart Objectの近傍近接連携モデルの検証 (蓑田 玲緒奈)
• ZDDを用いたグラフ列挙索引化における頂点インデックスの追加 (鈴木 浩史)