一个会写诗的程序员
一个会写诗的程序员

The Lambda Calculus and Combinators

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages.
The Lambda Calculus and Combinators_第1张图片

  1. The λ-calculus
  2. Combinatory logic
  3. The power of λ and CL
  4. Computable functions
  5. Undecidability
  6. Formal theories
  7. Extensionality in λ-calculus
  8. Extensionality in CL
  9. Correspondence between λ and CL
  10. Simple typing, Church-style
  11. Simple typing, Curry-style in CL
  12. Simple typing, Curry-style in λ
  13. Generalizations of typing
  14. Models of CL
  15. Models of λ
  16. Scott’s D∞ and other models

The Lambda Calculus and Combinators_第2张图片

The Lambda Calculus and Combinators_第3张图片
The Lambda Calculus and Combinators_第4张图片
The Lambda Calculus and Combinators_第5张图片

不动点定理

The Lambda Calculus and Combinators_第6张图片

The Lambda Calculus and Combinators_第7张图片

The Lambda Calculus and Combinators_第8张图片

你可能感兴趣的:(函数式)

  • C++ lambda闭包消除类成员变量 barbyQAQ c++c++java算法
    原文链接：https://blog.csdn.net/qq_51470638/article/details/142151502一、背景在面向对象编程时，常常要添加类成员变量。然而类成员一旦多了之后，也会带来干扰。拿到一个类，一看成员变量好几十个，就问你怕不怕？二、解决思路可以借助函数式编程思想，来消除一些不必要的类成员变量。三、实例举个例子：classClassA{public:...intfu
  • 麻雀虽小，五脏俱全 - Java工具类库 - Hutool waiter_chen
    Hutool官网：https://www.hutool.cn官方参考文档：https://www.hutool.cn/docsAsetoftoolsthatkeepJavasweet.——Htool特点通过静态方法封装，类函数式语言般，降低学习成本，提高工作效率整合多方用户需求，减少代码搜索成本，避免网络上参差不齐的代码出现导致的bugutil包提供多方公用类和公用工具方法，节省开发封装时间，减少
  • 2022年技术胖私藏工具分享 300+编程实用工具 wudongyu
    2022年技术胖私藏工具分享300+编程实用工具Javascript工具Underscore.js一套完善的函数式编程的接口，更方便地在JavaScript中实现函数式编程https://underscorejs.org/fastclick用于消除物理点击和click移动浏览器上事件触发之间的300毫秒延迟https://github.com/ftlabs/fastclickLodash一致性、模
  • 02 Java-Lambda-Java 8 自带的函数接口 王小杰at2019
    Java8自带的函数接口我们使用lambda在处理自己定义的业务时，需要自定义函数式接口，其实java8已经内置了常用的接口，这样我们在用的时候不要需要自己定义接口，根据需要选择符合自己业务逻辑的接口接口|输入参数|返回值类型|说明---|---|---|---|---Predicate|T|boolean|断言Consumer|T|/|消费一个数据|Function|T|R|输入一个T输出一个R
  • react中如何获取并使用usestate声明的变量的值 小华0000 react.jsjavascript前端
    1.函数式更新当需要根据当前状态来更新状态时，可以使用函数式更新。setState（在类组件中）和setCount（在useState中）都可以接受一个函数作为参数，这个函数接收当前的状态作为参数，并返回新的状态。functionExampleComponent(){const[count,setCount]=useState(0);//使用函数式更新functionhandleClick(){s
  • 【JAVA入门】Day35 - 方法引用 Clown Piece JAVA入门javapython排序算法
    【JAVA入门】Day35-方法引用文章目录【JAVA入门】Day35-方法引用一、方法引用的分类1.引用静态方法2.引用成员方法2.1引用其他类的成员方法2.2引用本类和父类的成员方法2.3引用构造方法2.4使用类名引用成员方法2.5引用数组的构造方法二、方法引用的例题方法引用就是“把已经有的方法当作函数式接口中抽象方法的方法体”来使用。下面是一个排序方法，它的第二个参数是一个Comparato
  • Java中的Lambda表达式详解 java面试跟我走 javapythonwindows
    一、Lambda表达式概述Lambda表达式是Java8引入的一个新特性，它使得编写简洁、功能强大的代码变得更加容易。Lambda表达式允许以简洁的方式表示匿名函数，从而在Java中实现函数式编程。通过Lambda表达式，我们可以将函数作为参数传递给其他函数，或者作为结果返回。二、Lambda表达式的语法Lambda表达式的语法如下：(参数)->{函数体}其中，参数是可选的，可以有0个或多个参数。
  • Java中的lambda 极客李华 Java基础javajvm开发语言
    Java中的lambdaJava中的LambdaLambda表达式是Java8中引入的一个重要特性，它极大地简化了函数式编程。Lambda表达式可以看作是一种匿名方法，它不需要像普通方法一样拥有名称、返回值类型和return语句。基本语法Lambda表达式的基本语法如下：(parameter1,parameter2,...,parameterN)->{statement1;statement2;.
  • Java学习——lambda表达式 Roderick888888 java学习python
    一、Lambda表达式前瞻知识什么是Lambda表达式？可以将Lambda表达式理解为一个匿名函数；Lambda表达式允许将一个函数作为另外一个函数的参数；我们可以把Lambda表达式理解为是一段可以传递的代码（将代码作为实参）,也可以理解为函数式编程，将一个函数作为参数进行传递。为什么要引入Lambda表达式？Lambda表达式能够让程序员的编程更加高效lambda表达式和方法引用使用前提：函数
  • vue3，从vue2迁移更改总结 梦里施 网页类vue.js
    1.v-for中的Ref数组在Vue2中，在v-for里使用的refattribute会用ref数组填充相应的$refsproperty。当存在嵌套的v-for时，这种行为会变得不明确且效率低下。在Vue3中，这样的用法将不再在$ref中自动创建数组。要从单个绑定获取多个ref，请将ref绑定到一个更灵活的函数上(这是一个新特性)：setItemRef()2.异步组件现在，在Vue3中，由于函数式
  • Java的高级特性 纣王家子迎新 java枚举enume异常处理泛型反射lambda表达式流streamsjavajavascript
    Java的高级特性概述：Lambda表达式Lambda表达式是Java8及更高版本中引入的一个重要特性，它提供了一种简洁的方式来表示匿名方法（即没有名称的方法）。Lambda表达式特别适用于实现仅有一个抽象方法的接口（这类接口被称为函数式接口）。Lambda表达式使得代码更加简洁、易于阅读，并且提高了编程效率。Lambda表达式的基本语法(参数列表)->{方法体}参数列表：Lambda表达式接收的
  • JavaScript面试：什么是纯函数？ 魂斗驴
    纯函数对于多种用途至关重要，包括函数式编程，可靠的并发和React+Redux应用程序。但是“纯函数”是什么意思？在我们研究纯函数是什么之前，仔细研究一下函数可能是一个好主意。观察它们的方式可能有所不同，这将使函数式编程更易于理解。什么是函数？函数是一种方法，它需要一些输入，称为自变量，并产生一些输出称为返回值。函数可以达到以下目的：映射：根据给定的输入产生一些输出。函数将输入值映射到输出值。过程
  • vue3 什么是Composition API 我为什么要使用它？ 软件技术NINI vue案例vue.js前端javascript
    CompositionAPI（组合式API）是Vue3中引入的一组全新的API，旨在提供一种更加灵活和可组合的方式来组织和复用组件逻辑。这一改变是Vue.js向函数式编程和更现代的开发方式迈出的重要一步。以下是CompositionAPI的详细解析：一、基本概念定义：CompositionAPI是一组允许开发者以函数式编程风格组织Vue组件逻辑的API。目的：提高代码的可读性、可维护性、复用性和类
  • 总结函数相关知识 你会发光哎u JavaScript高级学习javascript前端开发语言
    这里写目录标题1.函数的特性声明调用参数参数默认值返回值属性方法arguments剩余参数（`rest`）作用域原型`this`指向执行过程2.特殊的函数`with`函数`eval`函数apply/call/bind函数纯函数箭头函数立即执行函数`IIFE`高阶函数递归函数组合函数柯里化函数概念优势自动柯里化类和构造函数JavaScript是支持函数式编程的，在JavaScript中函数是一等公民
  • MIT6.824 课程-MapReduce 余为民同志 6.824mapreduce分布式6.824
    MapReduce：在大型集群上简化数据处理概要MapReduce是一种编程模型，它是一种用于处理和生成大型数据集的实现。用户通过指定一个用来处理键值对(Key/Value)的map函数来生成一个中间键值对集合。然后，再指定一个reduce函数，它用来合并所有的具有相同中间key的中间value。现实生活中有许多任务可以通过该模型进行表达，具体案例会在论文中展现出来。以这种函数式风格编写的程序能够
  • java什么是函数式编程_Java8 函数式编程 911ACE java什么是函数式编程
    Java8函数式编程本次主题主要介绍什么是函数式编程,其主要特点,以及它在Java8中是怎么体现的.函数式编程这个思维早在1958年就被提出来的了,在60年后的今天重新被提出来,且越来越流行,其主要原因是CPU的时钟频率发展停滞不前,目前徘徊在4GHZ左右。CPU的时钟频率越快,则运行速度越快,但目前的工艺技术限制了CPU频率的进一步提升,主流的芯片厂商目前都转向了多核处理器这个架构方向,所以我们
  • java8 四大函数式接口 和 用于数据处理的 stream流 使用详解 不如敲代码 Javajavalambdastream函数式编程
    文章目录Stream使用示例四大函数式接口Function功能型接口Consumer消费型接口Supplier提供型接口Predicate断言型接口常用apistream，parallelStream获取流式对象filter过滤sorted排序map映射，转换peek遍历执行某个操作reduce聚合，将数据流聚合成一个对象collect可变聚合,可以聚合成一个集合在之前一篇博客里面介绍了java8
  • js知识总结 软件技术NINI jsjavascriptvue.js前端
    JavaScript（JS）是一种广泛使用的编程语言，主要用于网页开发，但也适用于非浏览器环境（如Node.js）。它支持面向对象、命令式、声明式（如通过函数式编程）和事件驱动式编程风格。以下是对JavaScript核心知识的一个总结：1.基础语法变量：使用var、let、const声明变量。let和const具有块级作用域，而var具有函数作用域或全局作用域。数据类型：包括原始类型（如Strin
  • Python暑假学习总结 小龙夏 python学习
    通过系统地学习Python基础知识、函数、高级特性、函数式编程、模块和面向对象编程等方面，我对Python有了更深入的理解和掌握。在这篇学习总结中，我将分享我在学习Python过程中的体会和经验。一、python基础1、输出print(),输入input()，#注释；2、了解了数据类型和变量（and,or,not)、字符串和编码、使用list和tuple、条件判断(if...elif...else
  • jdk8新特性 五_六柒
    默认方法。一个在接口里面有了一个实现的方法。只需在方法名前面加个default关键字即可实现默认方法。lambda表达式。Lambda允许把函数作为一个方法的参数传递进方法中。它实际上是个匿名函数。方法引用。java8允许使用::关键字来传递方法或者构造函数引用。函数式接口。一个有且仅有一个抽象方法，但是可以有多个非抽象方法的接口。可以使用lambda表达式作为接口中唯一一个抽象方法的具体实现。@
  • Python Botiway FlaskWebpythonflask后端linuxweb3
    Python是一种广泛使用的高级编程语言，其设计哲学强调代码的可读性和简洁的语法（尤其是使用空格缩进划分代码块，而非使用大括号或者关键词）。Python支持多种编程范式，包括面向对象、命令式、函数式和过程式编程。由于其简单易学、易于维护和广泛的库支持，Python非常适合初学者和专业人士用于快速开发各种类型的应用程序。Python的特点易读性高：Python代码旨在易于阅读和理解，这使得它成为教授
  • Java8新特性之consumer的用法 Java训练员 拓展小知识java开发语言后端
    consumer是一个函数式接口（可以采用lambda写法），它的源码如下@FunctionalInterfacepublicinterfaceConsumer{voidaccept(Tt);defaultConsumerandThen(Consumerafter){Objects.requireNonNull(after);return(Tt)->{accept(t);after.accept(
  • Java 常用函数式接口案例之Consumer接口 夏沐_lk Java基础java函数式编程Consumer接口
    案例1importjava.util.function.Consumer;/***java.util.function.Consumer:该接口的作用与Supplier接口作用相反，将创建的参数消费（使用）掉。*Consumer接口中包含了唯一一个抽象方法voidaccept(Tt);消费一个指定泛型的数据**defaultConsumerandThen(Consumerafter){*Objec
  • 2024年大数据高频面试题(下篇） 猿与禅 Java架构师面试大数据面试scala即席查询分桶调度系统数据倾斜
    文章目录Scala数据类型函数式编程闭包函数柯里化面向对象样例类对象与伴生对象特质(trait)模式匹配隐式转换即席查询KylinKylin特点Kylin工作原理核心算法Kylin总结Kylin的优点什么场景用KylinKylin的缺点Impala什么是ImpalaImpala为什么快FrontendBackendImpala总结：Presto什么是PrestoPresto的执行过程Presto总
  • Haskell爬虫：连接管理与HTTP请求性能 小白学大数据 python爬虫http网络协议开发语言python
    爬虫技术作为数据抓取的重要手段，其效率和性能直接影响到数据获取的质量与速度。Haskell，作为一种纯函数式编程语言，以其强大的类型系统和并发处理能力，在构建高效爬虫方面展现出独特的优势。本文将探讨在Haskell中如何通过连接管理和HTTP请求优化来提升爬虫的性能。连接管理的重要性在HTTP请求中，连接管理是一个关键因素。有效的连接管理可以减少建立和关闭连接的开销，提高请求的响应速度。在Hask
  • 函数式编程-Stream流 码农OvO 开发语言java
    函数式编程-Stream流1.概述1.1好处大数量下处理集合效率高代码可读性高消灭嵌套1.2函数式编程思想1.2.1概念面向对象思想需要关注用什么对象完成什么事情。而函数式编程思想就类似于我们数学中的函数。它主要关注的是对数据进行了什么操作。1.2.2优点代码简洁接近自然语言，易于理解易于"并发编程"2.Lambda表达式2.1概述Lambda是Jdk8中的一个语法糖。它可以对某些匿名内部类的写法
  • 【图书介绍】《Rust编程与项目实战》 夏天又到了 操作系统与编程语言rust开发语言后端
    本书目的系统讲解Rust编程语言，帮助读者掌握Rust网络服务器、游戏开发、数据分析等方面的基础编程技能。学习Rust编程，做一下技术储备。内容简介Rust是一门系统编程语言，专注于安全，尤其是并发安全，它也是支持函数式、命令式以及泛型等编程范式的多范式语言。标准Rust在语法和性能上和标准C++类似，设计者可以在保证性能的同时提供更好的内存安全。本书详解Rust编程技巧，配套示例源码、PPT课件
  • Lambda表达式与函数式接口 知昂可 Lambda表达式Lambdajava
    Lambda表达式与函数式接口1.函数式接口1.1什么是函数式接口函数式接口是指只有一个抽象方法的接口（Object的public方法除外。）。这种接口可以使用Lambda表达式实现，从而实现函数式编程的特性。另外函数式接口可以有默认方法和静态方法。建议：在定义函数式接口时，建议标记@FunctionalInterface注解，虽然不标记也不会影响接口的功能，但加上这个注解可以帮助编辑器检测是否错
  • 将泛型和函数式编程结合，竟然会让代码这么优雅！ 程序员蜗牛g springbootjavaspring
    但这种方式却太表象了，没有灵魂和深度，过去的那些日子，我感觉自己的编程水平也就限于把重复的代码抽一抽，（如下图所示一样），甚至觉得代码优化不就是这样吗，这样的状态一直维持很久。image.png然后后来让我感受到这种优雅艺术的点，正是泛型和函数式编程！2.1结构化的代码以分页为例子，来感受一下什么是结构化的代码。特别说明一下：分页还需当前页数、页大小，以及校验等，本案例忽略；代码主要逻辑：查询分页
  • python爬虫爬取京东商品评价_京东商品评论爬取实战 weixin_39835158
    先说说为什么写这个小demo吧，说起来还真的算不上“项目”，之前有一个朋友面试，别人出了这么一道机试题，需求大概是这样紫滴：1.给定任意京东商品链接，将该商品评论信息拿下，存入csv或者数据库2.要求使用多任务来提高爬虫获取数据的效率3.代码简洁，规范，添加必要注释4.可以使用函数式编程，或者面向对象编程看到上面四个简单的需求，层次高的童鞋可能就看不下去了，因为太简单了，这里本人的目的是给初学爬虫
  • 戴尔笔记本win8系统改装win7系统 sophia天雪 win7戴尔改装系统win8
    戴尔win8 系统改装win7 系统详述 第一步：使用U盘制作虚拟光驱：         1）下载安装UltraISO：注册码可以在网上搜索。         2）启动UltraISO，点击“文件”—》“打开”按钮，打开已经准备好的ISO镜像文
  • BeanUtils.copyProperties使用笔记 bylijinnan java
    BeanUtils.copyProperties VS PropertyUtils.copyProperties 两者最大的区别是： BeanUtils.copyProperties会进行类型转换，而PropertyUtils.copyProperties不会。 既然进行了类型转换，那BeanUtils.copyProperties的速度比不上PropertyUtils.copyProp
  • MyEclipse中文乱码问题 0624chenhong MyEclipse
    一、设置新建常见文件的默认编码格式，也就是文件保存的格式。 在不对MyEclipse进行设置的时候，默认保存文件的编码，一般跟简体中文操作系统（如windows2000，windowsXP）的编码一致，即GBK。 在简体中文系统下，ANSI 编码代表 GBK编码;在日文操作系统下，ANSI 编码代表 JIS 编码。 Window-->Preferences-->General -
  • 发送邮件 不懂事的小屁孩 send email
    import org.apache.commons.mail.EmailAttachment; import org.apache.commons.mail.EmailException; import org.apache.commons.mail.HtmlEmail; import org.apache.commons.mail.MultiPartEmail;
  • 动画合集 换个号韩国红果果 htmlcss
    动画 指一种样式变为另一种样式 keyframes应当始终定义0 100 过程 1 transition  制作鼠标滑过图片时的放大效果 css .wrap{ width: 340px;height: 340px; position: absolute; top: 30%; left: 20%; overflow: hidden; bor
  • 网络最常见的攻击方式竟然是SQL注入 蓝儿唯美 sql注入
    NTT研究表明，尽管SQL注入（SQLi）型攻击记录详尽且为人熟知，但目前网络应用程序仍然是SQLi攻击的重灾区。 信息安全和风险管理公司NTTCom Security发布的《2015全球智能威胁风险报告》表明，目前黑客攻击网络应用程序方式中最流行的，要数SQLi攻击。报告对去年发生的60亿攻击 行为进行分析，指出SQLi攻击是最常见的网络应用程序攻击方式。全球网络应用程序攻击中，SQLi攻击占
  • java笔记2 a-john java
    类的封装： 1，java中，对象就是一个封装体。封装是把对象的属性和服务结合成一个独立的的单位。并尽可能隐藏对象的内部细节（尤其是私有数据） 2，目的：使对象以外的部分不能随意存取对象的内部数据（如属性），从而使软件错误能够局部化，减少差错和排错的难度。 3，简单来说，“隐藏属性、方法或实现细节的过程”称为——封装。 4，封装的特性：       4.1设置
  • [Andengine]Error：can't creat bitmap form path “gfx/xxx.xxx” aijuans 学习Android遇到的错误
            最开始遇到这个错误是很早以前了，以前也没注意，只当是一个不理解的bug，因为所有的texture，textureregion都没有问题，但是就是提示错误。 昨天和美工要图片，本来是要背景透明的png格式，可是她却给了我一个jpg的。说明了之后她说没法改，因为没有png这个保存选项。 我就看了一下，和她要了psd的文件，还好我有一点
  • 自己写的一个繁体到简体的转换程序 asialee java转换繁体filter简体
              今天调研一个任务，基于java的filter实现繁体到简体的转换，于是写了一个demo，给各位博友奉上，欢迎批评指正。          实现的思路是重载request的调取参数的几个方法，然后做下转换。          
  • android意图和意图监听器技术 百合不是茶 android显示意图隐式意图意图监听器
    Intent是在activity之间传递数据;Intent的传递分为显示传递和隐式传递   显式意图：调用Intent.setComponent() 或 Intent.setClassName() 或 Intent.setClass()方法明确指定了组件名的Intent为显式意图，显式意图明确指定了Intent应该传递给哪个组件。   隐式意图;不指明调用的名称,根据设
  • spring3中新增的@value注解 bijian1013 javaspring@Value
            在spring 3.0中，可以通过使用@value，对一些如xxx.properties文件中的文件，进行键值对的注入，例子如下： 1.首先在applicationContext.xml中加入：  <beans xmlns="http://www.springframework.
  • Jboss启用CXF日志 sunjing logjbossCXF
    1. 在standalone.xml配置文件中添加system-properties：     <system-properties>        <property name="org.apache.cxf.logging.enabled" value=&
  • 【Hadoop三】Centos7_x86_64部署Hadoop集群之编译Hadoop源代码 bit1129 centos
      编译必需的软件 Firebugs3.0.0 Maven3.2.3 Ant JDK1.7.0_67 protobuf-2.5.0 Hadoop 2.5.2源码包       Firebugs3.0.0   http://sourceforge.jp/projects/sfnet_findbug
  • struts2验证框架的使用和扩展 白糖_ 框架xmlbeanstruts正则表达式
    struts2能够对前台提交的表单数据进行输入有效性校验，通常有两种方式： 1、在Action类中通过validatexx方法验证，这种方式很简单，在此不再赘述； 2、通过编写xx-validation.xml文件执行表单验证，当用户提交表单请求后，struts会优先执行xml文件，如果校验不通过是不会让请求访问指定action的。 本文介绍一下struts2通过xml文件进行校验的方法并说
  • 记录-感悟 braveCS 感悟
    再翻翻以前写的感悟，有时会发现自己很幼稚，也会让自己找回初心。   2015-1-11 1. 能在工作之余学习感兴趣的东西已经很幸福了； 2. 要改变自己，不能这样一直在原来区域，要突破安全区舒适区，才能提高自己，往好的方面发展； 3. 多反省多思考；要会用工具，而不是变成工具的奴隶； 4. 一天内集中一个定长时间段看最新资讯和偏流式博
  • 编程之美-数组中最长递增子序列 bylijinnan 编程之美
    import java.util.Arrays; import java.util.Random; public class LongestAccendingSubSequence { /** * 编程之美 数组中最长递增子序列 * 书上的解法容易理解 * 另一方法书上没有提到的是，可以将数组排序（由小到大）得到新的数组， * 然后求排序后的数组与原数
  • 读书笔记5 chengxuyuancsdn 重复提交struts2的token验证
    1、重复提交 2、struts2的token验证 3、用response返回xml时的注意 1、重复提交 (1)应用场景 (1-1)点击提交按钮两次。 (1-2)使用浏览器后退按钮重复之前的操作，导致重复提交表单。 (1-3)刷新页面 (1-4)使用浏览器历史记录重复提交表单。 (1-5)浏览器重复的 HTTP 请求。 (2)解决方法 (2-1)禁掉提交按钮 (2-2)
  • [时空与探索]全球联合进行第二次费城实验的可能性 comsci
         二次世界大战前后,由爱因斯坦参加的一次在海军舰艇上进行的物理学实验 -费城实验   至今给我们大家留下很多迷团.....      关于费城实验的详细过程,大家可以在网络上搜索一下,我这里就不详细描述了      在这里,我的意思是,现在
  • easy connect 之 ORA-12154: TNS: 无法解析指定的连接标识符 daizj oracleORA-12154
    用easy connect连接出现“tns无法解析指定的连接标示符”的错误，如下： C:\Users\Administrator>sqlplus username/[email protected]:1521/orcl SQL*Plus: Release 10.2.0.1.0 – Production on 星期一 5月 21 18:16:20 2012 Copyright (c) 198
  • 简单排序:归并排序 dieslrae 归并排序
    public void mergeSort(int[] array){ int temp = array.length/2; if(temp == 0){ return; } int[] a = new int[temp]; int
  • C语言中字符串的\0和空格 dcj3sjt126com c
       \0 为字符串结束符，比如说：                       abcd (空格)cdefg； 存入数组时，空格作为一个字符占有一个字节的空间，我们
  • 解决Composer国内速度慢的办法 dcj3sjt126com Composer
    用法： 有两种方式启用本镜像服务： 1 将以下配置信息添加到 Composer 的配置文件 config.json 中（系统全局配置）。见“例1” 2 将以下配置信息添加到你的项目的 composer.json 文件中（针对单个项目配置）。见“例2” 为了避免安装包的时候都要执行两次查询，切记要添加禁用 packagist 的设置，如下 1 2 3 4 5
  • 高效可伸缩的结果缓存 shuizhaosi888 高效可伸缩的结果缓存
    /** * 要执行的算法，返回结果v */ public interface Computable<A, V> { public V comput(final A arg); }   /** * 用于缓存数据 */ public class Memoizer<A, V> implements Computable<A,
  • 三点定位的算法 haoningabc c算法
    三点定位， 已知a,b,c三个顶点的x,y坐标 和三个点都z坐标的距离，la，lb,lc 求z点的坐标 原理就是围绕a,b,c 三个点画圆，三个圆焦点的部分就是所求 但是，由于三个点的距离可能不准，不一定会有结果， 所以是三个圆环的焦点，环的宽度开始为0，没有取到则加1 运行 gcc -lm test.c test.c代码如下 #include "stdi
  • epoll使用详解 jimmee clinux服务端编程epoll
    epoll - I/O event notification facility在linux的网络编程中，很长的时间都在使用select来做事件触发。在linux新的内核中，有了一种替换它的机制，就是epoll。相比于select，epoll最大的好处在于它不会随着监听fd数目的增长而降低效率。因为在内核中的select实现中，它是采用轮询来处理的，轮询的fd数目越多，自然耗时越多。并且，在linu
  • Hibernate对Enum的映射的基本使用方法 linzx0212 enumHibernate
      枚举   /** * 性别枚举 */ public enum Gender { MALE(0), FEMALE(1), OTHER(2); private Gender(int i) { this.i = i; } private int i; public int getI
  • 第10章 高级事件（下） onestopweb 事件
    index.html <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/
  • 孙子兵法 roadrunners 孙子兵法
    始计第一 孙子曰： 兵者，国之大事，死生之地，存亡之道，不可不察也。 故经之以五事，校之以计，而索其情：一曰道，二曰天，三曰地，四曰将，五 曰法。道者，令民于上同意，可与之死，可与之生，而不危也；天者，阴阳、寒暑 、时制也；地者，远近、险易、广狭、死生也；将者，智、信、仁、勇、严也；法 者，曲制、官道、主用也。凡此五者，将莫不闻，知之者胜，不知之者不胜。故校 之以计，而索其情，曰
  • MySQL双向复制 tomcat_oracle mysql
    本文包括: 主机配置 从机配置 建立主-从复制 建立双向复制   背景 按照以下简单的步骤: 参考一下： 在机器A配置主机(192.168.1.30) 在机器B配置从机(192.168.1.29) 我们可以使用下面的步骤来实现这一点   步骤1：机器A设置主机 在主机中打开配置文件 ,
  • zoj 3822 Domination(dp) 阿尔萨斯 Mina
    题目链接：zoj 3822 Domination 题目大意：给定一个N∗M的棋盘，每次任选一个位置放置一枚棋子，直到每行每列上都至少有一枚棋子，问放置棋子个数的期望。 解题思路：大白书上概率那一张有一道类似的题目，但是因为时间比较久了，还是稍微想了一下。dp[i][j][k]表示i行j列上均有至少一枚棋子，并且消耗k步的概率（k≤i∗j）,因为放置在i+1~n上等价与放在i+1行上，同理
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他