丁程鑫的别名叫什么呢怎么读