当研究室の論文が 人工知能学会 全国大会学生奨励賞 を受賞 Pre-Marking DirectionによるDirected Controller Synthesisの探索効率化 大畑 允人 第39回人工知能学会全国大会