2019年8月 第7回解説論文賞 (2018年度) 日本ソフトウェア科学会 宋 剛秀, 番原 睦則, 田村 直之 タイトル SAT型制約プログラミングシステムと周辺技術 受賞区分 国内学会・会議・シンポジウム等の賞