Time of Update: 2018-12-05
SICP Exercise 4.9;(for ; (define i 0); (< i 10); (set! i (+ i 1)); (display i));(for <init> <condition> <change> <body>)(define (for-init exp) (cadr exp))(define (for-condition exp) (caddr exp))(define (for-change exp)
Time of Update: 2018-12-05
SICP Exercise 4.8;(define (fib n); (let fib-iter ((a 1); (b 0); (count n)); (if (= count 0); b; (fib-iter (+ a b); a; (- count 1)))));(define (fib n); (define
Time of Update: 2018-12-05
嵌入式系統(Embedded Systems)定義電氣工程師協會(IEE)的定義:嵌入式系統是用來控制或監視機器、裝置或工廠等大規模系統的裝置。嵌入式系統的體繫結構可以分成四個部分:嵌入式處理器、嵌入式外圍裝置、嵌入式作業系統和嵌入式應用軟體。嵌入式處理器包括:EMPU, EMCU, EDSP,
Time of Update: 2018-12-05
Cygwin是許多自由軟體的集合,最初由Cygnus Solutions開發,用於各種版本的Microsoft Windows上,運行UNIX類系統。Cygwin的主要目的是通過重新編譯,將POSIX系統(例如Linux、BSD,以及其他Unix系統)上的軟體移植到Windows上。它包含兩部分:提供類比Linux API功能的DLL(cygwin1.dll);一系列提供Linux觀感的工具。GNU+Cygnus+Windows=cygwin,
Time of Update: 2018-12-05
原文發在:http://www.shspace.net/thread-711-1-1.html近日偶感網路變慢,於是找了些工具查看本機網路使用方式。所用工作為免費版本的“瑞星卡卡上網助手”,用其查看連網程式,一看嚇一跳!!!QQ運行後居然在我的機子上開了10幾個網路連接埠啊??!!!天哪,什麼軟體需要這樣多連接埠進行通訊?!!真不知道QQ都使用這些連接埠時行了哪些操作,個人覺得QQ很有必要公開這些。下面貼2張圖對比一下:圖1 未登入QQ前的連網程式情況圖2
Time of Update: 2018-12-05
今天在看一篇文章中說RethinkDB公司在面試的過程中發現很多程式員不能通過下面的題目:請寫出一個C函數,實現反轉一個單向連結資料表的功能。我就試試自己能否做出來。我現在越來越不相信寫的代碼了,必須經過我的測試之後,我稍微放心。所以我也寫了測試程式,我希望下面的代碼能夠達到好的可讀性。#include <stdio.h>#include <stdlib.h>#include <time.h>#define ARRAY_SIZE(array)
Time of Update: 2018-12-05
前幾天在微博上看到牛人劉鐵岩的幾篇微博,覺得很好,也瞭解到了其他一些牛人。現在把其微博整理在此: =================================================================== 不知不覺加入微軟研究院也有7年多了,研究方向從原來的訊號處理轉到現在的機器學習和資訊檢索,其間得到了不少良師益友的協助。有幾個人不能不提,因為他們對我產生了很大的影響。先預報一下,回頭慢慢講講他們的故事:Hong-Jiang Zhang, Wei-Ying Ma,
Time of Update: 2018-12-05
首先,我們先定義一下關於unassigned的定義和函數:;;Representing unassigned constant(define UNASSIGNED (quote '*unassigned*))(define (unassigned? val) (eq? val '*unassigned*))1、修改lookup-variable-value,這個比較簡單,這裡直接貼出代碼:(define (lookup-variable-value var env) (define
Time of Update: 2018-12-05
這是圖靈在他的論文中提到的停機定理:證明:我們不可能寫出一個過程halts?,使它能正確的對任何過程p和p的參數a,判斷出p對a是否終止。證明思路:假設我們能寫出這樣的過程halts?,然後我們去構造一個過程,使得其結果與我們的假設矛盾。下面就是圖靈構造的能夠引出矛盾的過程:1 (define (run-forever) (run-forever))2 (define (try p)3 (if (halts? p p)4 (run-forever)5
Time of Update: 2018-12-05
;; Exercise
Time of Update: 2018-12-05
SICP Exercise 4.7a)為什麼let*運算式可以重寫為一些嵌套的let運算式?因為嵌套的let運算式可以讓已經做了的約束都是可見的。例如:(let* ((x 3) (y (+ x 2)) (z (+ x y 5))) (* x z))可以重寫為:(let ((x 3)) (let ((y (+ x 2))) (let ((z (+ x y 5))) (* x z))))b)下面我們參考該例子,寫出把let*運算式轉化為let運算式的實現:
Time of Update: 2018-12-05
Exercise 4.141、Eva的map能夠工作是應該的,因為Eva在求值器中定義了map。2、那麼Louis的map為什麼不能工作呢?首先,讓我們來看一下map的基本使用方式(在scheme中,而不是在求值器中):(map (lambda (x) (* 2 x)) '(1 2 3 4))=> (2 4 6
Time of Update: 2018-12-05
不少有志創業的青年總是在問自己:我到底準備好了沒有?其實,企業成功沒有共同的規律,創業未必需要投資一大筆金錢,未必需要建立很大的規模,甚至未必需要一間辦公室或店鋪。有志創業者沒有必要被一些所謂的理論束縛自己的手腳。 技術誤導 不管是在國內還是國外,常常會聽到創業者說:“我的技術是最好的,我的技術真的是最好的。”但是,風險投資不光是投資技術,在整個項目裡技術含量很重要,但它的地位只是一部分而已,還有營銷,還有管理。在80年代,阿波羅電腦比SUN的技術要強,結果現在誰勝出來?還是SUN,是市
Time of Update: 2018-12-05
可能經常會遇到這樣一種情形:訪問某一個網站時可能會花費好長時間來進行串連,或者根本就無法訪問需要的網站。那如何才能知道線路品質的好壞呢?請看本文中的幾個網路測試命令,掌握它們有助於更好地使用和維護網路: 一、Ping 使用格式:ping [x] [-t] [-a] [-n count] [-l size]參數介紹: -t 讓使用者所在的主機不斷向目標主機發送資料 -a 以IP地址格式來顯示目標主機的網路地址 -n count 指定要Ping多少次,具體次數由後面的count來指定 -l
Time of Update: 2018-12-05
Conditional Random Fields: A Beginner’s SurveyOne interesting project that I am involved in these days involves certain problems in Intelligent Tutors. It turns out that perhaps one of the best ways to tackle them is by using Conditional Random
Time of Update: 2018-12-05
hi,學習過《可計算性與計算複雜性》的朋友們,大家好!我正在寫一個針對《可計算性與計算複雜性》課程的筆記(可任意免費發布,當然這隻是個筆記,不會像課本那樣全面、專業),希望它能夠對後來的學習者有所協助。我從2011年1月份開始就在醞釀這件事,現在差不多已經寫了一些我希望學到的知識點,我想得到大家對《可計算性與計算複雜性》課程的各種好惡的任何反饋。目前,我已經完成了二、三、四章大部分(我以後會慢慢貼到部落格中,為:http://download.csdn.net/source/3186901),
Time of Update: 2018-12-05
瞭解了IOC模式的思想以及其優點,再來學習其實現。這篇來詳細看一下Spring中它的實現。 Spring中IOC貫穿了其整個架構,但正如martinflower所說:“saying that these lightweight containers are special because they use inversion of control is like saying my car is special because it has
Time of Update: 2018-12-05
Common Lisp有幾百個函數,不可能把所有的函數用法都記得很清楚,所以就希望在編寫程式時可以隨時的查看函數的文檔描述。首先,我找到documentation函數,其用法是: (documentation 'symbol 'type)例如,我想查看make-hash-table函數,其用法和結果如下:CL-USER> (documentation 'make-hash-table 'function)"Create and return a new hash table. The
Time of Update: 2018-12-05
終於有點對hibernate入門的感覺。方便門外的學習者,給一個簡單的入門例子。 如果你有用過其他持久架構 轉到hibernate其實很簡單。一些原理方面就不講了, robbin講的肯定比我好的多,自己去精華版看看。 我所給的只是我當初剛開始接觸hibernate時候很想要的一個簡單例子和設定方法。 一直沒有找到,所以現在放到這裡給大家看看,(只給想要入門的一個直觀的感應,呵呵) 首先當然要建立一個項目 然後在Project Properties->Paths->Required
Time of Update: 2018-12-05
在配置LOG4J的時候,<?xml version="1.0" encoding="UTF-8" ?><!DOCTYPE log4j:configuration SYSTEM "log4j.dtd"><log4j:configuration xmlns:log4j="http://jakarta.apache.org/log4j/"> <!-- ====================================================