自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(67)
  • 资源 (4)
  • 收藏
  • 关注

原创 antlr + python

python 使用 antlr 做语法分析

2022-12-03 15:43:22 970 1

原创 命令和描述

我对 DSL 的理解。

2021-04-01 16:10:36 163

原创 可怕的 C 语言

C 语言的口号是,信任程序员。这意味着 C 几乎没有任何运行时的操作合理性检查。体现在指针、数组、结构体等等方面。本文通过一个小例子,凸显其多文件编译时的狂野表现。

2021-03-05 19:16:19 171

原创 符号化和头脑算法复杂度

思想方法有没有优劣呢,如何让生活更轻松……

2021-02-23 12:54:31 163 1

原创 数,数据结构,接口,函数

抽象代数思维与面向接口编程,函数的表示,不定接收者的参数需求了状态

2020-12-14 11:07:23 106

原创 数学中有因果关系吗?

静态无因果

2020-11-12 16:10:23 1331

原创 Java 序列化的 “小陷阱”

Java 序列化很方便,但使用时有几点需要注意的地方。尤其是潜在的栈溢出问题以及更加危险的 “多根问题”。

2020-10-01 14:19:10 99

原创 类型系统

我对类型系统的思考

2020-09-21 22:25:13 217

原创 什么是运算律

从小学习的运算律到底是什么?

2020-09-08 19:49:41 3563

原创 数据库技术的两个方面

数据库技术有存储的一面,也有查询的一面。

2020-08-14 14:36:12 130

原创 Exception 的意义

对程序设计语言中异常(Exception)的思考——意义,用法。

2020-07-01 20:24:35 181

原创 再看机器学习

机器学习心得

2020-07-01 20:07:23 99

原创 解释器与名称

关于人脑解释自然语言的思考

2020-06-01 15:46:44 154

原创 数据与代码

数据不是形式概念

2020-05-16 11:01:59 360

原创 关于统一内存和外存

寄存器都被隐藏了,外存还会远吗?

2020-04-24 23:14:48 1032

原创 时代局限性

关于时代局限性的来源,理性与实践的混合。

2020-03-26 22:23:06 1388

原创 关于集中注意力

关于计算的局部性原理在社会问题中的思考

2020-03-23 13:45:09 267

原创 约束系统

SICP 第三章中介绍的约束系统

2020-03-19 21:31:16 875

原创 数字电路模拟

Scheme 数字电路模拟

2020-03-18 00:00:10 410

原创 虚函数的 Scheme 视角

用 Scheme 理解多态

2020-03-13 22:58:34 112

原创 eqv? eq? equal?

如何判断两个对象是否相等?

2020-03-06 17:08:28 539

原创 关系代数中除法的SQL实现

目前,SQL 没有直接实现关系除法,需要我们用低阶谓词来表达

2020-03-05 13:21:10 5300 3

原创 Scheme 局部变量

总结 Scheme 的几种局部变量定义方式

2020-03-04 19:55:45 411

原创 读《计算机与人脑》(二)

《计算机与人脑》读书笔记,第二部分

2020-03-03 00:40:23 885

原创 螺旋矩阵

一道非常有趣的算法练习题

2020-02-29 18:41:49 132

原创 读《计算机与人脑》(一)

冯诺依曼《计算机与人脑》读书笔记

2020-02-27 21:20:42 1730

原创 Huffman 编码树

Scheme 生成 Huffman 编码,SICP 题解

2020-02-26 15:34:57 337

原创 The Little Schemer 笔记(第一章)

Scheme 经典

2020-02-23 23:12:25 215

原创 矛盾双方哪一方应该让步?

矛盾可以通过双方中任意一方的改变解决,哪一方应该改变,还是各让一步?

2020-02-23 21:23:09 175

原创 集合的表示

Scheme 用无序表,有序表,二叉树实现抽象数据结构 集合

2020-02-21 17:26:18 399 1

原创 “平面”与“总线”

两个有趣的一词多义现象

2020-02-21 15:59:07 91

原创 符号数据

理解 Scheme 中的符号数据,实现一个简单的符号求导系统。

2020-02-19 23:22:09 602

原创 辨析两对概念

表意符号和形式系统有什么区别?接近极限和求出极限有什么区别?

2020-02-17 15:34:57 188

原创 两个有序数列的中位数

二分查找

2020-02-16 18:06:21 299

原创 Chez Scheme 编译与环境搭建 Windows10

在 Windows 上编译 chez scheme 9.5.2(截至2020.2.16的最新版)

2020-02-16 00:06:25 1462

原创 八皇后问题

八皇后问题的分析与解答,Scheme,Python。

2020-02-13 18:32:12 147

原创 排列组合枚举

递归生成序列的排列组合

2020-02-12 18:21:37 673

原创 北交 操作系统 课程笔记(一)

北京交通大学 操作系统 课程笔记

2020-02-11 22:28:58 717

原创 关于 SQL 注入攻击

理解 SQL 注入攻击原理,讨论如何从根本上防止 SQL 注入攻击

2020-02-09 20:09:13 175

原创 表达与实现的区别

关于计算本质的思考

2020-02-08 20:44:08 308

racket-7.6.0.14-x86_64-win32-cs.exe

以 chez scheme 为后端的 drracket,兼具chez 的速度和 racket 的界面。可以用来运行 sicp 中的代码,只要在源文件中添加 #lang scheme 就可以了。

2020-02-27

chez-scheme.7z

Scheme 编程语言最快的实现。压缩包里是源代码,在Windows和Linux都可以编译。有4个需要联网(GitHub)下载的组件,我手动添加进去了,适合不方便访问GitHub的情况。

2020-02-15

C++作业_选课系统

C++程序设计课程的作业,允许使用STL。功能要求是,有注册学生、注册课程、选课、退课的功能。大体实现思路是,对于每个课程和学生,用map保存其信息,灵活方便;为实现注册功能,用指针线性表管理学生和课程,方便动态创建和统一析构;为实现选课和退课功能,维护学生和课程之间的二元关系及其逆关系(用指针序偶的集合实现)。可见,学生信息和课程信息在内存中是唯一的,选课和退课的操作都是对指针进行的,节省内存。注意,与硬盘交互的文件功能可能存在问题。

2019-01-23

算法(第四版)官方库

算法(第四版)一书中采用了自己写的库。如果不导入官方库,将导致部分示例代码无法运行。下载后,在 Java Build Path中引入这个包。Eclipse中右键工程名-> Properties -> Java Build Path -> Libraries -> Add Extenernal JARs,选中C:\Users\username\algs4\algs4.jar

2019-01-22

空空如也

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

TA关注的人

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