お知らせ
- 2026/09/18 人工知能学会基本問題研究会にて「反鎖符号化によるZDD上の色付き厳密被覆問題」というタイトルで研究発表を行いました．
- 2026/09/01 修士2年の学生が第38回列挙アルゴリズムセミナーにて「XCC と決定グラフ」というタイトルで発表しました．
- 2026/04/01 3年生が配属されました．
- 2026/03/18 人工知能学会基本問題研究会にて「Sparse SetによるZMDDを用いた色付き厳密被覆問題の解法」というタイトルで研究発表を行いました．
- 2026/01/14 修士1年の学生が人工知能基本問題研究会にて「XCC を表現する ZMDD 上での探索」というタイトルで発表しました．
- 2025/01/14 学士4年の学生が人工知能基本問題研究会にて「DanceDD-Cを用いたXCCに対するアルゴリズム」というタイトルで発表しました．
- 2024/04/02 3年生が配属されました．
- 2024/03/05 学士3年の学生が電子情報通信学会総合大会にて「長さ l の s-t パスの数え上げ問題の XCC としての定式化」というタイトルで発表しました．
- 2024/02/27 研究室をA259に移転しました．
- 2024/02/14 研究室配属資料（学内限定） を公開しました．
- 2023/09/07 竹内聖悟講師とICGCAに参加し11チーム中6位でした．
- 2023/06/03 WEBサーバを移転しました．
- 2022/04/27 研究室紹介資料（学内限定）を公開しました．
- 2021/05/01 研究室WEBページを公開しました．
