第56回プログラミングシンポジウム「脅威トレースの並列分散化」