10月24日(金)に姫路でFIIS研究会がありました．

コンピュータデザイン研究室からは，

M2の大元が「複数のインスタンスを対象としたハードウェアSATソルバに関する考察」について発表を行いました．