条件付きサンプリングによる同値性テストの効果

高い並列性と効率を実現する同値性テストアルゴリズムの提案