2017年3月 SATソルバーの最新動向と利用技術 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 宋 剛秀, 田村 直之 記述言語 日本語 会議種別 口頭発表(一般) 主催者 日本ソフトウェア科学会 プログラミング論研究会 開催地 華やぎの章 慶山 (山梨県・笛吹市)