3/8,9に別府のビーコンプラザでSASIMIが行われました．
コンピュータデザイン研究室からは，
上田さんが”A technique for SAT-based test generation through history of reusing solutions”という題目で発表しました．
本当にお疲れさまでした．