自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

yqj2065的博客

每天进步一点点...

  • 博客(10)
  • 资源 (7)
  • 收藏
  • 关注

原创 Java Native Interface例程

windows下,使用BlueJ和Pelles C编写的例程。jni

2016-05-18 04:57:30 616

原创 Scheme:Y combinator

Y combinator、Y组合子。λ表达式都是匿名函数,那么丘奇的λ演算如何定义递归呢?递归通常指一个函数直接或间接地调用自身,名字都没有,怎样调用?不动点组合子/Y combinator从理论上解决这个问题。一个简单的求阶乘的函数(可以写任意的一个递归函数为例):(define factorial (lambda (n) (if (= n 0) ...

2016-05-11 04:55:41 947

原创 Scheme之功能分解和封装内部函数/块结构

待解决的问题:输出0-x之间 3的倍数而且含5的数,如15,54,555等等(或者输出这种数的个数)。在《编程导论(Java)》中以这个例子介绍结构化分解。所以用Scheme实现一下。package semantics.method;public class HelperMethodDemo{ //简单情况:输出0-x 之间 3的倍数而且含5的数. ////// pr

2016-05-10 22:11:27 1324

原创 什么是currying/柯里化

闭包,它在支持函数柯里化的编程语言,天然存在的概念。柯里化/currying,指将多元函数转化为多个一元函数连续定义。

2016-05-10 00:15:38 3381

原创 高阶函数之函数作为参数

SICP 1.3.1  Procedures as Arguments,说明高阶函数之函数作为参数的原因:若干个函数拥有相似的算法或代码结构,对此加以抽象。(define (sum-integers a b)  (if (> a b)      0      (+ a (sum-integers (+ a 1) b))))(define (pi-sum a b)  (i

2016-05-08 21:55:01 1592

原创 函数式编程之根-拉姆达运算/演算(λ-calculus)

学习函数式编程的大图(big map)/鸟瞰图

2016-05-08 14:38:26 12247

原创 [SICP]函数定义

接学习函数式编程,从了解变量开始(Scheme之变量)以丘奇的λ演算为根基的函数式语言,函数是重要的程序单元。例如λx.( x+1),即“对于参数x,(计算)x+1”。Scheme中,使用lambda表达式定义函数,重点为函数的形式参数列表(formal arguments list)和函数体。格式为:(lambda ( arguments ) (body))1. la...

2016-05-07 17:40:10 1020

原创 学习函数式编程,从了解变量开始(Scheme之变量)

Scheme与C系列语言的一个重大差异,在于对变量(variable)的理解和处理。

2016-05-07 13:41:29 2743

原创 C语言教程的老掉牙的写法

一个法官用老法律判案,必然荒唐。C语言教程中,存在许多类似的问题,因为它们参考的还是ANSI C(通常叫C89)。现在有C99和C11,怎么办?

2016-05-03 17:50:38 1636

原创 Android远程服务例程

一个Android远程服务例程。在例子中涉及的原理或其他知识,请自行搜索。在Android系统中,每个应用程序都运行在自己的进程中。跨进程的服务称为远程服务。其原理类似Java 的Remote Method Invocation/RMI ,参考远程方法调用RMI初步 。Android远程服务遵循服务器-客户端模型。因此服务器-客户端之间的协议,可以用Java接口封装。在RM

2016-05-03 00:22:54 874

针对接口编程的使能工具

针对接口编程的使能工具

2017-05-07

God-Print工具包

学习Java设计模式或面向对象设计使用的工具。

2017-05-01

God-Print工具

学习Java设计模式或面向对象设计使用的工具。yqj2065课程中使用。先请阅读readme

2017-05-01

junit-4.8.2-sources.jar

源代码分析的目标JUnit-4.8.2。http://blog.csdn.net/yqj2065/article/details/39839155

2014-10-07

编程导论_codes_2013.4.1

《编程导论(Java)》 1.书中代码片段所属的完整代码; 2.练习/习题中要求你阅读(精读或泛读)的代码; 3.运行本书中程序需要的支持代码或第三方包。

2014-08-01

Type Systems

类型理论(Type theory),E文。 作者Luca Cardelli Digital Equipment Corporation Systems Research Center

2008-11-13

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除