[2J5-OS-36a] 制約プログラミングの理論と実践: 充足・列挙・計数・最適化 | 2026年度人工知能学会全国大会（第40回）

セッション詳細

オーガナイズドセッションオーガナイズドセッション：OS-36 制約プログラミングの理論と実践: 充足・列挙・計数・最適化

2026年6月9日(火) 15:30 〜 17:00

J会場(中会議室201B)

オーガナイザ：波多野大督（株式会社デンソー），宋剛秀（名古屋大学）

15:30 〜 15:45

15:45 〜 16:00

〇岩田陽一¹ (1. AtCoder株式会社)

16:00 〜 16:15

〇宋剛秀¹ (1. 名古屋大学大学院情報学研究科)

16:15 〜 16:30

〇本橋智光^1,2、棚橋耕太郎¹、梅谷俊治¹、中田百科¹ (1. 株式会社リクルート、2. サスメド株式会社)

16:30 〜 16:45

〇宮下眞樹¹、杉森唯瑠未¹、鍋島英知²、宋剛秀¹、番原睦則¹ (1. 名古屋大学、2. 山梨大学)

16:45 〜 17:00

〇桂献一郎¹、鍋島英知² (1. 山梨大学大学院医工農学総合教育部工学専攻コンピュータ理工学コース、2. 山梨大学大学院総合研究部工学域電気電子情報工学系)