6/19にDC研究会が行われました．
コンピュータデザイン研究室からは
出水さんが「閾値テストのための5値論理に基づくテスト生成アルゴリズムに関する考察」
という内容で発表されました．
おつかれさまでした．