琅琊榜海宴小说,神武八荒一颗小说,懒人听书

算法的真正考驗不僅在于其正確性，還在于其可擴展性和魯棒性。

The real test of an algorithm is not just its correctness, but its scalability and robustness.

萊斯利·瓦利安特

在科學中最重要的不是解決問題，而是提出正確的問題。

The most important thing in science is not to solve problems, but to ask the right questions.

西爾維奧·米卡利

數學直覺常常指導算法的發展，但確保其正確性和效率的是嚴格的證明。

Mathematical intuition often guides the development of algorithms, but it is the rigorous proof that ensures their correctness and efficiency.

蘇布拉·蘇雷什

可能近似正確（PAC）學習的概念在計算學習理論中具有基礎性意義。

The concept of probably approximately correct (PAC) learning has been foundational in computational learning theory.

萊斯利·瓦利安特

最好的程序是這樣寫的：計算機可以快速執行它們，人類可以清楚地理解它們。理想情況下，程序員是一位散文家，他使用傳統的美學和文學形式以及數學概念來傳達算法的工作原理，并說服讀者結果是正確的。

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.

羅伯特·塔揚

里氏替換原則是面向對象編程中的一個基本概念，它指出子類的對象應該能夠替換超類的對象而不影響程序的正確性。

The Liskov Substitution Principle is a fundamental concept in object-oriented programming, stating that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program.

芭芭拉·利斯科夫

一個好的系統設計是使做正確的事情變得容易，做錯誤的事情變得困難。

A good system design is one that makes it easy to do the right thing and hard to do the wrong thing.

巴特勒·蘭普森

科學中最重要的事情不是正確，而是保持好奇心。

"The most important thing in science is not to be right, but to be curious."

約書亞·本吉奧

計算機體系結構的目標是使常見情況快速，罕見情況正確。

The goal of computer architecture is to make the common case fast and the rare case correct.

大衛·帕特森

解決復雜問題的關鍵是提出正確的因果問題。

The key to solving complex problems is to ask the right causal questions.

朱迪亞·珀爾

里氏替換原則是面向對象編程中的一個基本概念，確保派生類可以替代其基類使用，而不會改變程序的正確性。

The Liskov Substitution Principle is a fundamental concept in object-oriented programming, ensuring that derived classes can be used in place of their base classes without altering the correctness of the program.

芭芭拉·利斯科夫

計算機科學中的挑戰不僅僅是解決問題，而是找到正確的問題來解決。

The challenge in computer science is not just to solve problems, but to find the right problems to solve.

約瑟夫·斯法基斯

計算的未來在于開發能夠自我驗證正確性的系統。

The future of computing lies in the development of systems that can verify their own correctness.

埃德蒙·克拉克

形式化方法的美在于它們能夠提供關于系統正確性的絕對確定性。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

埃德蒙·克拉克

模型檢查是驗證硬件和軟件系統正確性的強大工具。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

埃德蒙·克拉克

最好的程序是這樣編寫的：計算機可以快速執行它們，而人類可以清楚地理解它們。理想情況下，程序員是一位散文家，他使用傳統的美學和文學形式以及數學概念來傳達算法的工作原理，并說服讀者結果是正確的。

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.

阿迪·薩莫爾

最好的程序是這樣寫的：計算機可以快速執行它們，人類可以清楚地理解它們。理想情況下，程序員是一位散文家，他使用傳統的美學和文學形式以及數學概念來傳達算法的工作原理，并說服讀者結果是正確的。

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.