shenhaozr的博客

Deep learning is a form of machine learning that enables computers to learn from experience and understand the world in terms of a hierarchy of concepts. Because the computer gathers knowledge from experience, there is no need for a human computer operator to formally specify all the knowledge that

pdf file, 2M big,type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas

muParser c++ lib 许多应用程序需要解析数学表达式。该库的主要目的是提供一种快速简便的方法。 muParser是一个用C ++编写的可扩展的高性能数学表达式解析器库。 它的工作原理是将数学表达式转换为字节码并预先计算表达式的常量部分。

mastering zabbix english pdf

gnutella模型中搜索消息的路由机制及改进研究