https://www.andrewsun.net/panta_rhei/archives/273
从“应用数学是仆人”想到的