口頭発表
[4K1-OS-16a] AI における離散構造処理と制約充足(1)
2018年6月8日(金) 12:00 〜 13:40 K会場 (3F あじさい・もくれん)
12:00 〜 12:20
〇松村 昂輝1、沖本 天太1、平山 勝敏1 (1. 神戸大学)
12:20 〜 12:40
〇町出 智也1,2、薗部 知大1,2 (1. 国立情報学研究所 、2. JST ERATO 河原林巨大グラフプロジェクト)
12:40 〜 13:00
〇中畑 裕1、鈴木 浩史2、石畠 正和2、堀山 貴史3 (1. 奈良先端科学技術大学院大学、2. 北海道大学、3. 埼玉大学)
13:00 〜 13:20
〇増田 健太1、上田 和紀1 (1. 早稲田大学)
13:20 〜 13:40
〇佐々木 耀一1、木村 圭吾1、山本 風人1、岡嶋 穣1、定政 邦彦1 (1. NEC セキュリティ研究所)