[1E2-OS-3a] AI における離散構造処理と制約充足(1)

2019年6月4日(火) 13:20 〜 15:00 E会場 (301A 中会議室)

波多野大督（理化学研究所）、蓑田玲緒奈（（株）ベイシスコンサルティング）

13:20 〜 14:00

[1E2-OS-3a-01] (OS招待講演)Sentential Deicision Diagramsとその周辺

〇西野正彬¹ (1. NTTコミュニケーション科学基礎研究所)

14:00 〜 14:20

〇越村三幸¹、佐藤健² (1. 九州大学、2. 国立情報学研究所)

14:20 〜 14:40

〇宋剛秀¹、Le Berre Daniel^3,4、番原睦則²、田村直之¹ (1. 神戸大学、2. 名古屋大学、3. CRIL-CNRS, UMR 8188、4. Université d'Artois)

14:40 〜 15:00

〇小島世大¹、石槫隼人¹、坂田美和¹、武藤敦子¹、森山甲一¹、犬塚信博¹ (1. 名古屋工業大学)