第52回プログラミングシンポジウム「大規模集積回路の論理シミュレーションのSIMD並列化手法の提案」