- 博客(0)
- 资源 (14)
- 收藏
- 关注
RSS订阅vc可用的ntl静态库（需要mpir库， 已上传），指令集支持需要haswell的avx2+mulx
vc可用的ntl静态库（需要mpir库， 已上传），指令集支持需要haswell的avx2+mulx
2022-10-10
gnu mp 5.1.1静态编译的window下的库
gmp 5.1.1的windows下的静态连接库，包含文件等等，zip格式的，未改动任何代码的版本。详细使用方法参见内附readme.txt
2013-04-21
PARI/GP的Core i版本的手工编译版
自己用mingw gcc 4.6.2编译的PARI/GP数学软件，使用gmp 5.0.4包，不带readline，需Core i处理器。
详细编译过程参见：
http://bbs.emath.ac.cn/thread-4274-1-1.html
2012-05-01
IP助手函数的delphi单元文件，源代码
网上下载的，已经修改好，可用于Delphi 2010
包含两个文件，一个iphlpapi.pas，用来包装
iphlpapi的windwos sdk接口，一个iphelper.pas
有很多有用的辅助函数
2009-10-31
The.Haskell.Programmers.Guide.to.the.IO.Monad
The.Haskell.Programmers.Guide.to.the.IO.Monad
2008-10-10
为什么函数式编程至关重要(中文版)
随着软件变得越来越复杂，良好的软件结构也越来越重要。结构良好的软件易于编写，易于调试，同时提供可复用模块以降低未来开发的成本。常见的语言在对问题进行模块化方面具有理念上的局限性，而函数式语言超越了这些局限。在本文中我们将特别展示函数式语言的两大特性——高阶函数与惰性求值，它们能够极大地促进模块化。作为例证，我们运用列表和树编写了一些数值算法，并实现了alpha-beta启发式搜索（一个人工智能算法，用于游戏系统中）。由于模块化是成功程序设计的关键，所以函数式语言对现实世界而言便极其重要了
2008-10-10
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人