2018年11月25日（日）～27日（火）に登別温泉・第一滝本館 (登別市）にて、基盤(S) 離散構造処理系プロジェクト 「2018年度 秋のワークショップ」が開催されました！

ちょうど11/26は「いい風呂」の日ということでナイスな温泉や食事とともに、例年のように深夜まで研究の議論が行われました。いつもながら色々な知見や議論がえられてとても有意義な会でした。みなさま、お疲れ様でした！ 研究室からは４件発表を行いました。

• 研究分担者報告 (瀧川一学)
• BDDを用いた強連結信頼性の厳密計算 (鈴木 浩史)
• SeqBDDを用いた制約付き集合分割の族の表現法 (高橋 翔哉)
• エネルギー制限付き反応経路ネットワーク上におけるK-Bestパス列挙 (中野 裕太)