zzljlu的专栏

原创 在《可计算性与计算复杂性》中你最想学到什么？（限于吉林大学）

hi，学习过《可计算性与计算复杂性》的朋友们，大家好！我正在写一个针对《可计算性与计算复杂性》课程的笔记（可任意免费发布，当然这只是个笔记，不会像课本那样全面、专业），希望它能够对后来的学习者有所帮助。我从2011年1月份开始就在酝酿这件事，现在差不多已经写了一些我希望学到的知识点，我想得到大家对《可计算性与计算复杂性》课程的各种好恶的任何反馈。目前，我已经完成了二、三、四章大部分（我以后会慢慢贴到博客中，下载地址为：），这表明我将在数月之内完成其他章节。但这只是根据我个人的想法写出来的，我想了解大多数人期

原创 计算机程序的构造与解释(SICP)

计划用半年的时间把《计算机程序的构造与解释》这本书读完，并完成一半以上的习题。所用的软件：系统：windows xp解释器：DrRacket, version 5.1语言：SICP(PLaneT 1.13) ，如何获得该语言，请看这里。习题答案目录：第1章 构造过程抽象1.1节 程序设计基本元素1.2节 过程与它们所产生的计算第2章 构造数据抽象

原创 博客新地址

这个博客已经不再更新了，zui

原创 django的一些知识点

1，部署django时静态文件如何处理：https://docs.djangoproject.com/en/dev/howto/static-files/2，富文本编辑框如何在页面中显示：

翻译 给Lisp程序员的Python简介

*本篇译文还在初始阶段，希望各位提出反馈意见，另外一个更适合浏览的版本在这里*==============================================================给Lisp程序员的Python简介作者：Peter Norvig，译者：jineslong这是一篇为Lisp程序员写的Python简介（一些Python程序员告诉我，这篇文章

转载 Programmer Competency Matrix

Programmer Competency Matrix（原文章请点击这里）Note that the knowledge for each level is cumulative; being at level n implies that you also know everything from the levels lower than n.Computer Sci

原创 SICP Exercise 4.15

这是图灵在他的论文中提到的停机定理：证明：我们不可能写出一个过程halts?，使它能正确的对任何过程p和p的参数a，判断出p对a是否终止。证明思路：假设我们能写出这样的过程halts?，然后我们去构造一个过程，使得其结果与我们的假设矛盾。下面就是图灵构造的能够引出矛盾的过程：1 (define (run-forever) (run-forever))2 (define (try p)

原创 SICP Exercise 4.16

首先，我们先定义一下关于unassigned的定义和函数：;;Representing unassigned constant(define UNASSIGNED (quote '*unassigned*))(define (unassigned? val) (eq? val '*unassigned*))1、修改lookup-variable-value，这个比较简单，

原创 SICP Exercise 4.14

Exercise 4.141、Eva的map能够工作是应该的，因为Eva在求值器中定义了map。2、那么Louis的map为什么不能工作呢？首先，让我们来看一下map的基本使用方式（在scheme中，而不是在求值器中）：(map (lambda (x) (* 2 x)) '(1 2 3 4))=> (2 4 6 8)可以看出map函数的使用方式和其他作为基本过程安装的函数（如

原创 SICP Exercise 4.13

;; Exercise 4.13我认为make-unbound!应该只删除第一个frame里面的约束。我的原因有一下几点：1，make-unbound!和define对应，前者是删除约束，而后者是添加约束（有时是改变已有的约束）。define是在第一个frame中定义约束，所以make-unbound!也应该是从第一个框架中删除约束。2，根据封装的原则，不应该在当前enviro

转载 network-manager与interfaces冲突

【转自】http://blog.csdn.net/xinling1588/article/details/7037294，我在这里只是修改了一些原文章的格式。Ubuntu下修改网络配置有两种方式：图形界面方式(network-manager)和修改/etc/network/interfaces，但是如果两种方式的网络设置不同，就会产生冲突，即：network-manager与/etc/netw

原创 单向链表反转

今天在看一篇文章中说RethinkDB公司在面试的过程中发现很多程序员不能通过下面的题目：请写出一个C函数，实现反转一个单向链接表的功能。我就试试自己能否做出来。我现在越来越不相信写的代码了，必须经过我的测试之后，我稍微放心。所以我也写了测试程序，我希望下面的代码能够达到好的可读性。#include #include #include #define ARRAY_SIZ

转载 语义网相关文章：一年汇总

链接地址如下，先保留在这里，改天整理。http://blog.baojie.org/2012/04/16/year-one-summary/

原创 用python写语言的解释器

我花了一下午的时间完成了一个简单语言的解释器，我会在最后帖出所有代码，但是今天不打算详细解释程序的每一个步骤，最近考虑找实习、做论文，要花一些时间。有时间了我会解释每一部分，在这里只提醒一下读者，程序的写作过程和它呈现出来的不一样，总体来说我的写作过程是先写一个只包含一条指令的解释器，然后逐渐加入其他指令。ps：我是多么的想看看高手们写程序的过程，而不只是结果，但是就像graham说的“写的过程往

原创 如何查看common lisp函数的文档？

Common Lisp有几百个函数，不可能把所有的函数用法都记得很清楚，所以就希望在编写程序时可以随时的查看函数的文档描述。首先，我找到documentation函数，其用法是： (documentation 'symbol 'type)例如，我想查看make-hash-table函数，其用法和结果如下：CL-USER> (documentation 'make-hash-

转载 使用Google Web 1T 5-gram

转自：http://www.jiangfeng.me/blog/160=======================================最近的工作用到了Google的海量语言模型，因其海量，使用它时远没有想像当中那么简单。经过一周时间的探索，总算找到一种较为合理的方法，记录一下:-)Google语言模型的一些基本情况和背景可以参考52nlp上的这篇介绍，以及LD

转载 Instagram 架构分析笔记

转自：http://www.dbanotes.net/arch/instagram.html=================================================Instagram 团队上个月才迎来第 7 名员工，是的，7个人的团队。作为 iPhone 上最火爆的图片类工具，instagram 用户数量已经超过 1400 万，图片数量超过 1

原创 java.lang.NoClassDefFoundError: org/apache/lucene/index/memory/MemoryIndex

Lucence3.0.2高亮显示时异常:     root cause:          java.lang.NoClassDefFoundError: org/apache/lucene/index/memory/MemoryIndex 解决方案:     在Web工程下导入lucene-memory-3.0.2.jar包.

原创 各种代理设置方法

在实验室需要通过代理上网，所以经常遇到需要设置代理达情况，不管是用apt安装软件还是编写程序，。1，设置apt-get的代理（unbuntu系统）：These are three methods of using apt-get with a http-proxy.Temporary proxy sessionThis is a temporary meth

原创 试验代码功能

原创 光线跟踪程序

这是ansi common lisp中的一个例子，在这里先帖出运行结果：程序如下：(defun sq (x) (* x x))(defun mag (x y z) (sqrt (+ (sq x) (sq y) (sq z))))(defun unit-vector (x y z) (let ((d (mag x y z))) (values (/ x d) (/

转载 匹配Unicode字符的正则表达式

本篇文章转载自：http://joedanny.iteye.com/blog/156903这里是几个主要非英文语系字符范围(google上找到的): 2E80～33FFh：中日韩符号区。收容康熙字典部首、中日韩辅助部首、注音符号、日本假名、韩文音符，中日韩的符号、标点、带圈或带括符文数字、月份，以及日本的假名组合、单位、年号、月份、日期、时间等。3400～4DFFh：中日韩认同表意文字

原创 戏说语义网——简介

（这是曾经发在bbs上的文章，现在粘贴过来，作为一个副本。）     万维网毫无疑问是20世纪伟大的发明，但它也有缺陷，不知你是否注意到咱学院很多好网站不容易找到，例如：http://ccst.jlu.edu.cn/JCSB/webRoot/index.html。我们人类搜索信息的主要方式是提问的形式，例如，我把爸爸的妈妈的表弟的儿子的媳妇叫什么？（额～，我承认我有点恶搞），很可惜，你如果这样

转载 jarjar：方便的java打包工具

今天为打包java代码破费周折，最好在stackoverflow上有人提议用jarjar包，下载下来后发现非常好用，所以就想把这个过程记录下来，但是在google上敲入jarjar之后发现了下面这篇文章，讲的很详细，于是索性转载过来。原帖网址为：http://blog.cogipard.org/articles/java-library-repackage-tool-jarjar项目主页在Go

原创 SICP Exercise 4.12

SICP Exercise 4.12在这个练习中我们使用框架原有的表示，即把框架表示为表的序对，而不是练习4.11中的方式。为了把环境的遍历和框架的遍历分开，我增加了两个过程，如下：(define (scan var frame) "在框架frame中查找var，

原创 SICP Exercise 4.9

SICP Exercise 4.9;(for ; (define i 0); (< i 10); (set! i (+ i 1)); (display i));(for )(define (for-init exp) (cadr exp))(

原创 SICP Exercise 4.8

SICP Exercise 4.8;(define (fib n); (let fib-iter ((a 1); (b 0); (count n)); (if (= count 0);

原创 SICP Exercise 4.7

SICP Exercise 4.7a）为什么let*表达式可以重写为一些嵌套的let表达式？因为嵌套的let表达式可以让已经做了的约束都是可见的。例如：(let* ((x 3) (y (+ x 2)) (z (+ x y 5)))

转载 linux core dump

core dump及应用【1】core dump 概念http://en.wikipedia.org.nyud.net:8080/wiki/Core_dumpA core dump is the recorded state of the working memory

原创 SICP Exercise 4.6

SICP Exercise 4.6;(let ((var1 val1) (var2 val2) ...) body)(define (let->lambda exp) (let ((vars (let-vars exp)) (vals (let-vals

原创 SICP 第4章求值器完整代码

如果我们可以立即看到自己修改求值器后的运行结果，那将极大的激发我们的兴趣，所以这里给出第4章4.1节中元循环求值器的完整代码，这样在做练习提时，我们立马就可以看到其效果。在这里，我们求值器分为6个部分，它们分别是：evalapplydata_structurere

原创 SICP Exercise 4.5

SICP Exercise 4.5(define (expand-clauses clauses) (if (null? clauses) 'false (let ((first (car clauses)) (rest (

原创 SICP Exercise 4.4

SICP Exercise 4.4a）因为数据导向的方式增加起来比较方便，所以我们继续采用联系4.3中的方式：(define (eval-and exp env) (define (and-loop exps env) (if (null? exps)

原创 SICP Exercise 4.3

Exercise 4.3在这个练习中，我需要一些对表的操作，下面就是关于表的操作：(define (make-table) (let ((local-table (list '*table*))) (define (assoc key records)

转载 Conditional Random Fields: A Beginner’s Survey

Conditional Random Fields: A Beginner’s SurveyOne interesting project that I am involved in these days involves certain problems in In

原创 SICP Exercise 4.2

SICP Exercise 4.2a）由于eval中把过程应用放在最后面检查，就可以简单的认为到达此处的任意复合表达式就是过程应用：(define (application? exp) (pair? exp))所以如果把过程应用放到赋值前面之后，所有的赋值等语句将被认

原创 SICP Exercise 4.1

SICP Exercise 4.11，用let表达式去控制求值的顺序：(define (list-of-values-left-to-right exps env) (if (no-operands? exps) '() (let ((firs

原创 Computer Science Conference Rankings

Computer Science Conference Rankings

原创 名言

Paul Graham:nothing brings people closer than a common enemy.Nothing yields meaty problems like starting with the wrong assumptions.

原创 SICP Exercise 3.55

Exercise 3.55从上图中可以看到，partial-sums的第i个元素等于其第(i-1)个元素加上stream的第i个元素。所以代码如下：(define (partial-sums s) (cons-stream (stream-car s)