El pionero de la informática que construyó la China moderna