２月９日〜１０日に平成27年度情報理工学専攻修士論文発表会が行われました。研究室からは３名の発表になりました。みなさん、おつかれさまでした！

• ZDDを用いたグラフ列挙における種々の頂点制約を扱うための拡張と改良 (鈴木 浩史)
• ZDDを用いたグラフ列挙における変数順序付け法の実験と考察 (伊藤 華)
• ZDDに基づく制約充足問題の解法とマインスイーパ問題への適用 (孫 浩)