亦作“精厉”。精勤奋勉。