人物简介戴镜元（1919—2008