船井研究奨励賞を受賞しました．

船井情報科学振興財団　第12回FFIT研究奨励賞
受賞者：吉田 悠一（A02班）
受賞題目：「制約充足問題に対する定数時間アルゴリズム 」