招待有り 2016年6月6日 SAT ソルバーの最近の技術動向 2016年度人工知能学会全国大会 鍋島 英知 記述言語 日本語 会議種別 口頭発表（招待・特別） 主催者 人工知能学会 開催地 北九州国際会議場
