charlesdong1989
charlesdong1989

DrScheme

http://download.plt-scheme.org/bundles/4.2.5/plt/plt-4.2.5-bin-i386-linux-ubuntu-jaunty.sh

下载
chmod -x plt-4.2.5-bin-i386-linux-ubuntu-jaunty.sh
sudo sh plt-4.2.5-bin-i386-linux-ubuntu-jaunty.sh

安装 libjpeg62
sudo apt-get install libjpeg62

Scheme教程
http://www.htdp.org/2003-09-26/Book/curriculum-Z-H-5.html#node_idx_152

你可能感兴趣的:(DrScheme)

  • 用DrRacket写scheme语言的hello world just4rmb
    最近在看经典书籍《SICP》，书中使用的是scheme语言。我有个习惯，在学习一门新语言的时候，总是要跟着书敲几个程序的，虽然这本书不是来介绍scheme语言的。于是，就去找scheme的解释器，都推荐DrScheme，但是一搜，这个软件现在已经集成到DrRacket这个软件中了，就下载下来了。但是下下来之后一脸茫然，因为不知道怎么用！就打开帮助文档，是大片的英文。。。一般来说，语言入门都会有一个
  • 和角公式 Rappy 公式&定理证明函数式编程算法c
    今天做SICP练习1.15，需要用到和角公式，虽然会写，但是忘了怎么证明了，在mathworld里找到了很精彩的证明：这里用到了欧拉公式，之前发过日志记录了证明了，不过发现用积分来证十分巧妙！;SICPex1.15;在弧度x很小时，其正弦值sinx可以用x代替。;并且有恒等式sinx=3sin(x/3)-4sin3(x/3);使用DrScheme执行;;;;;;;;;;;;;;;;;;;;;;;;
  • SICP，等我(2011-08-04) Pope怯懦懦地
    TMD谁把list翻译成“列表”的，明明是“序列”的意思嘛——Pope,2012本科的时候啃过SICP，好像只读完了前两章。现在忙了，反而觉得应该好好看看，连以前不入眼的练习也决定一道道过。解释器是用的DrRacket，前身是DrScheme。不知道为啥改了这么个怪名字-_-!练习1.2;Exercise1.2(/(+54(-2(-3(+6(/45)))))(*3(-62)(-27)))让我惊奇的
  • 几个免费的Scheme（Lisp）解释器 z690933166 Schemelisp
    转载自：几个免费的Scheme（Lisp）解释器Lisp是一个古老的函数式编程语言，Scheme则起源于MIT的一种Lisp方言。当前编程语言的一些特性，如尾递归、匿名函数、动态改变代码的功能等等，不少是受到了Lisp的启发。这里介绍几个能在Windows下使用的免费Scheme语言或Lisp语言的环境。DrScheme。这个是我一直在用的Scheme解释器，界面设计得既漂亮又方便。调试、括号匹配
  • 《How to design programs》第二回 ldw220817 Schemelisp设计规范drscheme
    今天归纳第四章《条件表达式和函数》。一、条件表达式说到条件表达式，先说布尔型变量（Boolean）。Boolean也是scheme的一个基本类型。lisp在断言时，空表和nil是false，其余都是true。scheme的不同实现有所不同。在drscheme中（原先是MITScheme），可以直接为true和false。下面使用drscheme中的规范。长话短说，直接上代码。(=33)这个表达式很
  • 《How to design programs》引子 ldw220817 Scheme笔记lispdrscheme
    花了一暑假研究drscheme中的，发现以此作为scheme的教程再合适不过了。而美中不足的是章节数太多，看完需要花费大量的时间，所以我就简要的将自己学到的东西按章节进行总结。由于自己是一个大四生，现在在准备考研。所以更新速度可能会慢些。但是质量绝对可以保证。drscheme的中文版下载地址是 http://ishare.iask.sina.com.cn/f/36128627.html或是我的百度
  • DrScheme charlesdong1989
    http://download.plt-scheme.org/bundles/4.2.5/plt/plt-4.2.5-bin-i386-linux-ubuntu-jaunty.sh下载chmod-xplt-4.2.5-bin-i386-linux-ubuntu-jaunty.shsudoshplt-4.2.5-bin-i386-linux-ubuntu-jaunty.sh安装libjpeg62su
  • SICP section 1.1 zzljlu
    1.5BenBitdiddle发明了一种检测解释器究竟采用哪种顺序求值的方法，应用序还是正则序： (define(py)(py))(define(testxy)(if(=x0)0y))(test0(p1)) 上面的过程p，我稍稍做了修改，因为我的解释器（DrScheme）不能够定义没有参数的过程，下面解释这如何根据表达式： (test0(p1)) 的结果，判断解释器的求值顺序。 如果解释器采用正则
  • SICP 1.22 答案 t0uch Scheme
    程序写出来了，但是时间没打印，DrScheme不支持。。。 (define (smallest-divisor n) (find-divisor n 2)) (define (find-divisor n test-divisor) (cond ((> (* test-divisor test-divisor) n) n) ((divides? te
  • SICP Exercise 1.22 遇到的问题 frenchmay SICP
    进行SICP Exercise 1.22 时遇到无法加载runtime过程的问题。 我的开发环境是DrScheme 4.2. 于是将原文的例子做了修改。修改例程和结果例程如下： 修改例程 (define (smallest-divisor n) (find-divisor n 2) ) (define (find-divisor n test-divisor) (co
  • sicp 1.5 Bloodwolf SICP
    下面这段代码：   (define (p) (p)) (define (test x y) (if (= x 0) 0 y)) (test 0 (p)) 应用序（applicative-order）求值： (test 0 (p)) (test 0 (p)) ... 求值过程不会结束，DrScheme即是应用序求值  
  • Sicp笔记1.1节 cfmonkey的笔记本
    Sicp笔记1.1节sicp刚进大学的时候看过三章,现在基本上忘光了.只能从头看,希望这次能看完.我用的scheme环境是drscheme,功能十分好.scheme是一门很简单的函数式语言,看一遍它的R5RS标准基本上就可以用了.fulltextversionhttp://mitpress.mit.edu/sicpTheactsofthemind,whereinitexertsitspowerov
  • 完整的scheme amb求值器 dennis_zane SchemeRESTF#
        在第二个分析求值器的基础上实现了完整的amb求值器，在drscheme选择R5RS标准下测试通过。注意，在show details面板里将disallow redefinition of initial bindings选项去掉，允许重定义过程。给出完整代码： <!----> (define apply - in - underly
  • 完整的scheme amb求值器 庄周梦蝶
       在第二个分析求值器的基础上实现了完整的amb求值器，在drscheme选择R5RS标准下测试通过。注意，在showdetails面板里将disallowredefinitionofinitialbindings选项去掉，允许重定义过程。给出完整代码：(define apply-in-underlying-scheme apply)(define (amb-eval exp env succe
  • 几个免费的Scheme（Lisp）解释器 skyremember 编程Schemeide语言emacslisp
    几个免费的Scheme（Lisp）解释器 关键字:lispschemeLisp是一个古老的函数式编程语言，Scheme则起源于MIT的一种Lisp方言。当前编程语言的一些特性，如尾递归、匿名函数、动态改变代码的功能等等，不少是受到了Lisp的启发。这里介绍几个能在Windows下使用的免费Scheme语言或Lisp语言的环境。DrScheme。这个是我一直在用的Scheme解释器，界面设计得既漂亮
  • 和角公式 Rappy
    今天做SICP练习1.15，需要用到和角公式，虽然会写，但是忘了怎么证明了，在mathworld里找到了很精彩的证明：这里用到了欧拉公式，之前发过日志记录了证明了，不过发现用积分来证十分巧妙！;SICPex1.15;在弧度x很小时，其正弦值sinx可以用x代替。;并且有恒等式sinx=3sin(x/3)-4sin3(x/3);使用DrScheme执行;;; ; ;;;;;;;;;;; ;;;;;;
  • 推荐一个LISP的开发工具 Intel_ISN 开发职场工具lisp休闲
    也许大家对LISP这个历史悠久的语言会很陌生，但是这个诞生于上个世纪中叶的编程语言到现在还是拥有顽强的生命力。MIT的6.001课程还将它作为计算机科学的入门语言。最近在学习LISP过程中了解了一个很强大的IDE，它的名字叫DrScheme.它是一个图形化的开发工具，用起来也很方便。这里是它的链接：[url]http://download.plt-scheme.org/drscheme/[/url
  • 我的SICP习题答案（1.21~1.23） CG@CPPBLOG
    我的SICP习题答案（1.21~1.23）1.21> (smallest-divisor 199)199> (smallest-divisor 1999)1999> (smallest-divisor 19999)7>1.22在DrScheme中没有对应的runtime过程，我们用内建的current-milliseconds来代替，这个过程返回的是系统的ms数。同时，在Windows下无法精确表
  • sicp 3.12 3.13 3.14习题解答 庄周梦蝶
    习题3.12，append不是改变函数，不会改变x的结构。append!是改变函数，显然第一个response是(b)，第二个就是(bcd)。图就不画了，画了一次太麻烦了。习题3.13,利用set-cdr!形成环，比较有意思：(definez(make-cycle(list'a'b'c'd)))z在DrScheme上表示为：#0=(abcd.#0#)形象地展示了一个环，显然运行(last-pair
  • 在Drscheme使用stream的问题 simohayha Google
    这几天的sicp第三章快结束了，可是stream这边，我始终无法在drscheme中使用，因此在google大神的帮助下，找到了解决方法; 原文在这里： http://schemewiki.org/view/Cookbook/MiscSICP 要在drscheme中使用stream，必须在代码中加入下面这部分： (require (lib "defmacro.ss&q
  • 在Drscheme使用stream的问题 simohayha Google
    阅读更多这几天的sicp第三章快结束了，可是stream这边，我始终无法在drscheme中使用，因此在google大神的帮助下，找到了解决方法;原文在这里：http://schemewiki.org/view/Cookbook/MiscSICP要在drscheme中使用stream，必须在代码中加入下面这部分：(require(lib"defmacro.ss"));cons-stream:obj
  • SICP使用DRscheme遇到的问题 simohayha F#
    阅读更多SICPExercise1.22(define(timed-prime-testn)(newline)(displayn)(start-prime-testn(runtime)))(define(start-prime-testnstart-time)(if(prime?n)(report-prime(-(runtime)start-time))))(define(report-prime
  • SICP使用DRscheme遇到的问题 simohayha F#
    SICP Exercise 1.22 (define (timed-prime-test n) (newline) (display n) (start-prime-test n (runtime))) (define (start-prime-test n start-time) (if (prime? n) (report-p
  • 关于旗正规则引擎下载页面需要弹窗保存到本地目录的问题 何必如此 jsp超链接文件下载窗口
    生成下载页面是需要选择“录入提交页面”，生成之后默认的下载页面<a>标签超链接为：<a href="<%=root_stimage%>stimage/image.jsp?filename=<%=strfile234%>&attachname=<%=java.net.URLEncoder.encode(file234filesourc
  • 【Spark九十八】Standalone Cluster Mode下的资源调度源代码分析 bit1129 cluster
    在分析源代码之前，首先对Standalone Cluster Mode的资源调度有一个基本的认识： 首先，运行一个Application需要Driver进程和一组Executor进程。在Standalone Cluster Mode下，Driver和Executor都是在Master的监护下给Worker发消息创建(Driver进程和Executor进程都需要分配内存和CPU，这就需要Maste
  • linux上独立安装部署spark daizj linux安装spark1.4部署
    下面讲一下linux上安装spark，以 Standalone Mode 安装   1）首先安装JDK   下载JDK：jdk-7u79-linux-x64.tar.gz  ，版本是1.7以上都行，解压 tar -zxvf jdk-7u79-linux-x64.tar.gz     然后配置 ~/.bashrc&nb
  • Java 字节码之解析一 周凡杨 java字节码javap
        一： Java 字节代码的组织形式   类文件 {     OxCAFEBABE ，小版本号，大版本号，常量池大小，常量池数组，访问控制标记，当前类信息，父类信息，实现的接口个数，实现的接口信息数组，域个数，域信息数组，方法个数，方法信息数组，属性个数，属性信息数组 } &nbs
  • java各种小工具代码 g21121 java
    1.数组转换成List import java.util.Arrays; Arrays.asList(Object[] obj); 2.判断一个String型是否有值 import org.springframework.util.StringUtils; if (StringUtils.hasText(str)) 3.判断一个List是否有值 import org.spring
  • 加快FineReport报表设计的几个心得体会 老A不折腾 finereport
    一、从远程服务器大批量取数进行表样设计时，最好按“列顺序”取一个“空的SQL语句”，这样可提高设计速度。否则每次设计时模板均要从远程读取数据，速度相当慢！！ 二、找一个富文本编辑软件（如NOTEPAD+）编辑SQL语句，这样会很好地检查语法。有时候带参数较多检查语法复杂时，结合FineReport中生成的日志，再找一个第三方数据库访问软件（如PL/SQL）进行数据检索，可以很快定位语法错误。
  • mysql linux启动与停止 墙头上一根草
    如何启动/停止/重启MySQL一、启动方式1、使用 service 启动：service mysqld start2、使用 mysqld 脚本启动：/etc/inint.d/mysqld start3、使用 safe_mysqld 启动：safe_mysqld&二、停止1、使用 service 启动：service mysqld stop2、使用 mysqld 脚本启动：/etc/inin
  • Spring中事务管理浅谈 aijuans spring事务管理
    Spring中事务管理浅谈 By Tony Jiang@2012-1-20 Spring中对事务的声明式管理 拿一个XML举例 [html]  view plain copy print ? <?xml version="1.0" encoding="UTF-8"?>&nb
  • php中隐形字符65279（utf-8的BOM头）问题 alxw4616
    php中隐形字符65279（utf-8的BOM头）问题 今天遇到一个问题. php输出JSON 前端在解析时发生问题:parsererror.   调试: 1.仔细对比字符串发现字符串拼写正确.怀疑是 非打印字符的问题. 2.逐一将字符串还原为unicode编码. 发现在字符串头的位置出现了一个 65279的非打印字符.        
  • 调用对象是否需要传递对象(初学者一定要注意这个问题) 百合不是茶 对象的传递与调用技巧
        类和对象的简单的复习,在做项目的过程中有时候不知道怎样来调用类创建的对象,简单的几个类可以看清楚,一般在项目中创建十几个类往往就不知道怎么来看   为了以后能够看清楚,现在来回顾一下类和对象的创建,对象的调用和传递(前面写过一篇)   类和对象的基础概念:   JAVA中万事万物都是类 类有字段(属性),方法,嵌套类和嵌套接
  • JDK1.5 AtomicLong实例 bijian1013 javathreadjava多线程AtomicLong
    JDK1.5 AtomicLong实例 类 AtomicLong 可以用原子方式更新的 long 值。有关原子变量属性的描述，请参阅 java.util.concurrent.atomic 包规范。AtomicLong 可用在应用程序中（如以原子方式增加的序列号），并且不能用于替换 Long。但是，此类确实扩展了 Number，允许那些处理基于数字类的工具和实用工具进行统一访问。  
  • 自定义的RPC的Java实现 bijian1013 javarpc
            网上看到纯java实现的RPC，很不错。         RPC的全名Remote Process Call，即远程过程调用。使用RPC，可以像使用本地的程序一样使用远程服务器上的程序。下面是一个简单的RPC 调用实例，从中可以看到RPC如何
  • 【RPC框架Hessian一】Hessian RPC Hello World bit1129 Hello world
    什么是Hessian The Hessian binary web service protocol makes web services usable without requiring a large framework, and without learning yet another alphabet soup of protocols. Because it is a binary p
  • 【Spark九十五】Spark Shell操作Spark SQL bit1129 shell
    在Spark Shell上，通过创建HiveContext可以直接进行Hive操作   1. 操作Hive中已存在的表   [hadoop@hadoop bin]$ ./spark-shell Spark assembly has been built with Hive, including Datanucleus jars on classpath Welcom
  • F5　往header加入客户端的ip ronin47
    when HTTP_RESPONSE {if {[HTTP::is_redirect]}{         HTTP::header replace Location [string map {:port/ /} [HTTP::header value Location]]HTTP::header replace Lo
  • java-61-在数组中，数字减去它右边(注意是右边)的数字得到一个数对之差. 求所有数对之差的最大值。例如在数组{2, 4, 1, 16, 7, 5, bylijinnan java
    思路来自： http://zhedahht.blog.163.com/blog/static/2541117420116135376632/ 写了个java版的 public class GreatestLeftRightDiff { /** * Q61.在数组中，数字减去它右边(注意是右边)的数字得到一个数对之差。 * 求所有数对之差的最大值。例如在数组
  • mongoDB 索引 开窍的石头 mongoDB索引
    在这一节中我们讲讲在mongo中如何创建索引       得到当前查询的索引信息      db.user.find(_id:12).explain();        cursor: basicCoursor 指的是没有索引  &
  • [硬件和系统]迎峰度夏 comsci 系统
      从这几天的气温来看，今年夏天的高温天气可能会维持在一个比较长的时间内    所以，从现在开始准备渡过炎热的夏天。。。。    每间房屋要有一个落地电风扇，一个空调(空调的功率和房间的面积有密切的关系)    坐的，躺的地方要有凉垫，床上要有凉席       电脑的机箱
  • 基于ThinkPHP开发的公司官网 cuiyadll 行业系统
    后端基于ThinkPHP，前端基于jQuery和BootstrapCo.MZ 企业系统 轻量级企业网站管理系统 运行环境:PHP5.3+, MySQL5.0 系统预览 系统下载：http://www.tecmz.com 预览地址：http://co.tecmz.com 各种设备自适应 响应式的网站设计能够对用户产生友好度，并且对于
  • Transaction and redelivery in JMS (JMS的事务和失败消息重发机制) darrenzhu jms事务承认MQacknowledge
    JMS Message Delivery Reliability and Acknowledgement Patterns http://wso2.com/library/articles/2013/01/jms-message-delivery-reliability-acknowledgement-patterns/ Transaction and redelivery in
  • Centos添加硬盘完全教程 dcj3sjt126com linuxcentoshardware
    Linux的硬盘识别: sda        表示第1块SCSI硬盘 hda       表示第1块IDE硬盘 scd0      表示第1个USB光驱 一般使用“fdisk -l”命
  • yii2 restful web服务路由 dcj3sjt126com PHPyii2
    路由 随着资源和控制器类准备，您可以使用URL如 http://localhost/index.php?r=user/create访问资源，类似于你可以用正常的Web应用程序做法。 在实践中，你通常要用美观的URL并采取有优势的HTTP动词。 例如，请求POST /users意味着访问user/create动作。 这可以很容易地通过配置urlManager应用程序组件来完成 如下所示
  • MongoDB查询(4)——游标和分页[八] eksliang mongodbMongoDB游标MongoDB深分页
    转载请出自出处：http://eksliang.iteye.com/blog/2177567 一、游标         数据库使用游标返回find的执行结果。客户端对游标的实现通常能够对最终结果进行有效控制，从shell中定义一个游标非常简单，就是将查询结果分配给一个变量（用var声明的变量就是局部变量），便创建了一个游标，如下所示： > var
  • Activity的四种启动模式和onNewIntent() gundumw100 android
    Android中Activity启动模式详解 　　在Android中每个界面都是一个Activity，切换界面操作其实是多个不同Activity之间的实例化操作。在Android中Activity的启动模式决定了Activity的启动运行方式。 　　Android总Activity的启动模式分为四种： Activity启动模式设置： <acti
  • 攻城狮送女友的CSS3生日蛋糕 ini htmlWebhtml5csscss3
    在线预览：http://keleyi.com/keleyi/phtml/html5/29.htm   代码如下：   <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <title>攻城狮送女友的CSS3生日蛋糕-柯乐义<
  • 读源码学Servlet（1）GenericServlet 源码分析 jzinfo tomcatWebservlet网络应用网络协议
    Servlet API的核心就是javax.servlet.Servlet接口，所有的Servlet 类（抽象的或者自己写的）都必须实现这个接口。在Servlet接口中定义了5个方法，其中有3个方法是由Servlet 容器在Servlet的生命周期的不同阶段来调用的特定方法。     先看javax.servlet.servlet接口源码：  package
  • JAVA进阶：VO(DTO)与PO(DAO)之间的转换 snoopy7713 javaVOHibernatepo
      PO即 Persistence Object　　VO即 Value Object 　VO和PO的主要区别在于：　　VO是独立的Java Object。　　PO是由Hibernate纳入其实体容器（Entity Map）的对象，它代表了与数据库中某条记录对应的Hibernate实体，PO的变化在事务提交时将反应到实际数据库中。 　实际上，这个VO被用作Data Transfer
  • mongodb group by date 聚合查询日期 统计每天数据（信息量） qiaolevip 每天进步一点点学习永无止境mongodb纵观千象
    /* 1 */ { "_id" : ObjectId("557ac1e2153c43c320393d9d"), "msgType" : "text", "sendTime" : ISODate("2015-06-12T11:26:26.000Z")
  • java之18天 常用的类(一) Luob. MathDateSystemRuntimeRundom
    System类 import java.util.Properties; /** * System: * out:标准输出,默认是控制台 * in:标准输入,默认是键盘 * * 描述系统的一些信息 * 获取系统的属性信息:Properties getProperties(); * * * */ public class Sy
  • maven wuai maven
    1、安装maven：解压缩、添加M2_HOME、添加环境变量path 2、创建maven_home文件夹，创建项目mvn_ch01,在其下面建立src、pom.xml，在src下面简历main、test、main下面建立java文件夹 3、编写类，在java文件夹下面依照类的包逐层创建文件夹，将此类放入最后一级文件夹 4、进入mvn_ch01 4.1、mvn compile ,执行后会在
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他