> 既然形式语言的目的就是比自然语言具有更精确的语义，那我们发明它们还能是为了什么呢？为了……更精确？说真的，强烈推荐温彻斯特写的《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）。虽然这本书主要讲的是机械工程中的精度，但它让我对“精度”本身有了更深刻的认识。
> why do we invent these formal languages except to be more semantically precise than natural language To be... more precise? On a more serious note, cannot recommend enough "Exactly: How Precision Engineers Created the Modern World" by Winchester. While the book talks mostly about the precision in mechanical engineering, it made me appreciate _precision_ itself to a greater degree.
在今年读过的书里我评价最高的几本（我觉得问题就是这个意思）。* 西蒙·温彻斯特的《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World） * 詹姆斯·马哈菲的《原子历险记：秘密岛屿、被遗忘的N射线与同位素谋杀案——核科学狂野世界的探索之旅》 * 《最好的告别：关于衰老与死亡，你必须知道的常识》……
The ones I rated highest out of those I read this year (which is what I think the question means). * Exactly: How Precision Engineers Created the Modern World by Simon Winchester * Atomic Adventures: Secret Islands, Forgotten N-Rays, and Isotopic Murder-A Journey into the Wild World of Nuclear Science by James Magaffey * Being Mortal: Medicine and What Matters…
……当年的哈勃望远镜主镜。涉及掉漆和家用垫圈。https://hackaday.com/2020/04/29/test-equipment-shim-washers-... 西蒙·温彻斯特在他的书《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）里也有极尽详尽的介绍。如果你对精密制造及其发展演变感兴趣，读起来会非常过瘾。
…Hubble's mirror back in the day. Involves chipped paint and household washers. https://hackaday.com/2020/04/29/test-equipment-shim-washers-... Simon Winchester also covers it in great detail in his book Exactly: How Precision Engineers Created the Modern World If you're interested in precision making and how it all came to be it's a very joyful read.
我还以为讲的是在螺丝上车削螺纹呢。如果你也这么以为而且觉得很带感的话，那你也会觉得这本书超带感：《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）https://www.amazon.co.uk/Exactly-Precision-Engineers-Created...
I though it was about machining threads on screws. If you did too and found it exciting, you'll find this book exciting too: Exactly: How Precision Engineers Created the Modern World https://www.amazon.co.uk/Exactly-Precision-Engineers-Created...
《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）http://www.simonwinchester.com/exactly 《经度：一个孤独的天才解决他那个时代最伟大的科学难题的真实故事》（Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time）https://en.wikipedia.org/wiki/Longitude_(book) 《博伊德：战斗机……
Exactly: How Precision Engineers Created the Modern World http://www.simonwinchester.com/exactly Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time https://en.wikipedia.org/wiki/Longitude_(book) Boyd: The Fighter…
至少在爱尔兰，根本就没有那个书名——在这里它叫《Exactly: how precision engineers created the modern world》https://dlr.spydus.ie/cgi-bin/spydus.exe/ENQ/WPAC/BIBENQ?SET... 只是提醒一下可能在“The Perfectionists”书名下搜不到的人。链接里有 ISBN。
In Ireland at least, there's no such book title - here it's "Exactly: how precision engineers created the modern world" https://dlr.spydus.ie/cgi-bin/spydus.exe/ENQ/WPAC/BIBENQ?SET... Just in case anyone else can't find it under the "Perfectionists" title. ISBN at that link.
> 既然形式语言的目的就是比自然语言具有更精确的语义，那我们发明它们还能是为了什么呢？为了……更精确？说真的，强烈推荐温彻斯特写的《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）。虽然这本书主要讲的是机械工程中的精度，但它让我对“精度”本身有了更深刻的认识。
> why do we invent these formal languages except to be more semantically precise than natural language To be... more precise? On a more serious note, cannot recommend enough "Exactly: How Precision Engineers Created the Modern World" by Winchester. While the book talks mostly about the precision in mechanical engineering, it made me appreciate _precision_ itself to a greater degree.
在今年读过的书里我评价最高的几本（我觉得问题就是这个意思）。* 西蒙·温彻斯特的《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World） * 詹姆斯·马哈菲的《原子历险记：秘密岛屿、被遗忘的N射线与同位素谋杀案——核科学狂野世界的探索之旅》 * 《最好的告别：关于衰老与死亡，你必须知道的常识》……
The ones I rated highest out of those I read this year (which is what I think the question means). * Exactly: How Precision Engineers Created the Modern World by Simon Winchester * Atomic Adventures: Secret Islands, Forgotten N-Rays, and Isotopic Murder-A Journey into the Wild World of Nuclear Science by James Magaffey * Being Mortal: Medicine and What Matters…
……当年的哈勃望远镜主镜。涉及掉漆和家用垫圈。https://hackaday.com/2020/04/29/test-equipment-shim-washers-... 西蒙·温彻斯特在他的书《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）里也有极尽详尽的介绍。如果你对精密制造及其发展演变感兴趣，读起来会非常过瘾。
…Hubble's mirror back in the day. Involves chipped paint and household washers. https://hackaday.com/2020/04/29/test-equipment-shim-washers-... Simon Winchester also covers it in great detail in his book Exactly: How Precision Engineers Created the Modern World If you're interested in precision making and how it all came to be it's a very joyful read.
我还以为讲的是在螺丝上车削螺纹呢。如果你也这么以为而且觉得很带感的话，那你也会觉得这本书超带感：《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）https://www.amazon.co.uk/Exactly-Precision-Engineers-Created...
I though it was about machining threads on screws. If you did too and found it exciting, you'll find this book exciting too: Exactly: How Precision Engineers Created the Modern World https://www.amazon.co.uk/Exactly-Precision-Engineers-Created...
《完美主义者：精准工程师如何创造现代世界》（Exactly: How Precision Engineers Created the Modern World）http://www.simonwinchester.com/exactly 《经度：一个孤独的天才解决他那个时代最伟大的科学难题的真实故事》（Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time）https://en.wikipedia.org/wiki/Longitude_(book) 《博伊德：战斗机……
Exactly: How Precision Engineers Created the Modern World http://www.simonwinchester.com/exactly Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time https://en.wikipedia.org/wiki/Longitude_(book) Boyd: The Fighter…
至少在爱尔兰，根本就没有那个书名——在这里它叫《Exactly: how precision engineers created the modern world》https://dlr.spydus.ie/cgi-bin/spydus.exe/ENQ/WPAC/BIBENQ?SET... 只是提醒一下可能在“The Perfectionists”书名下搜不到的人。链接里有 ISBN。
In Ireland at least, there's no such book title - here it's "Exactly: how precision engineers created the modern world" https://dlr.spydus.ie/cgi-bin/spydus.exe/ENQ/WPAC/BIBENQ?SET... Just in case anyone else can't find it under the "Perfectionists" title. ISBN at that link.