去随机化:从随机重启到相干演化

类型definition-derivation(左右对照推导)