1设 $f$ 是实直线 $\bbR$ 上的实函数, 若有常数 $M>0$
使得对任何有限个两两不同的实数 $x_1,\cdots,x_n$ 都有 $\dps{\sev{\sum_{i=1}^nf(x_i)}\leq M}$. 证明:
$\sed{x;\ f(x)\neq 0}$ 是至多可数的.解答:...
分类：
其他好文 时间：
2014-05-27 01:59:09
阅读次数：
327
谓词---####什么是谓词：谓词：在计算机语言的环境下，谓词是指条件表达式的求值返回真或假的过程。#####谓词基本用法：基本谓词的用法，创建一个谓词，这个谓词的判断条件是汽车的name是否与Herbie相同需要注意的是，如果不使用单引号的话，谓词格式将会把字符串理解成keyPath，如果使用单引...
分类：
其他好文 时间：
2014-05-24 02:03:39
阅读次数：
342
一、#define的基本用法1.#define命令剖析1.1
#define的概念#define命令是C语言中的一个宏定义命令，它用来将一个标识符定义为一个字符串，该标识符被称为宏名，被定义的字符串称为替换文本。该命令有两种格式：一种是简单的宏定义，另一种是带参数的宏定义。（1）简单的宏定义#def...
分类：
其他好文 时间：
2014-05-19 19:00:00
阅读次数：
263
1 (1)Let $\sed{x_k}_{k=1}^n \subset (0,\pi)$, and
define $$\bex x=\frac{1}{n}\sum_{k=1}^n x_i. \eex$$ Show that $$\bex
\prod_{k=1}^n \frac{\sin x_k}{x...
分类：
其他好文 时间：
2014-05-19 14:46:27
阅读次数：
388
http://space.itpub.net/14466241/viewspace-624132示例代码如下：namespace
SampleListT{ class Program { static void Main(string[] args) { //using System...
分类：
其他好文 时间：
2014-05-19 13:28:56
阅读次数：
233
随着WEB2.0及ajax思想在互联网上的快速发展传播，陆续出现了一些优秀的Js框架，其中比较著名
的有Prototype、YUI、 jQuery、mootools、Bindows以及国内的JSVM框架等，
jQuery是继prototype之后的又一个优秀的Javascript框架。它是由 Jo....
分类：
Web程序 时间：
2014-05-19 13:06:45
阅读次数：
247
[ sed简介: ]
sed是一个很好的文件处理工具, 它本身是一个管道命令, 以行为单位进行处理, 可以用于对数据行进行新增、选取、替换、删除等操作。
sed命令行格式：sed [-nefri] 'range command' file
[ sed工作流程: ]
使用vim这种屏幕编辑器编辑一个文件的时候, 我们需要把这个文件打开, 这里存在两个问题:
1. 打开一个比较大的文件会消耗很多内存。
2. 我们无法写脚本调用vim来编辑文件, 但是sed可以通过写脚本编辑文件。...
分类：
系统相关 时间：
2014-05-18 06:53:12
阅读次数：
551
UNIX和DOS/Windows系统的纯文本格式的换行方式是不同的，基于DOS/Windows的文本文件在每一行末尾有一个CR(回车)和LF(换行)，而UNIX文本只有一个换行。
如果想将一个Unix文本转换为Windows文本，可以使用如下的sed命令行
sed -e 's/$/\r/' myunix.txt > mywin.txt
在该脚本中，'$'规则表达式将与...
21.NSTimer定时器22.tableView的基本用法23.tableView的常用属性24.Cell的重用原理:25.UITableViewCell结构26.使用xib封装一个view的步骤27.代理的使用场合28.使用delegate的步骤29.通过代码自定义cell步骤30.监听键盘的通...
分类：
其他好文 时间：
2014-05-17 21:04:21
阅读次数：
492
开始在这里记录在jd的点滴成长~~~3月20日入职，距离今天两个月还差5天，不过这段时间完成的东西还真不少，学习了很多的linux命令和Axure产品设计，比如：awk神器、sed、sort、head、tail、find、xargs、grep等等，收获很大~~~其中到今天为止已经完成了一个功能非常强...
分类：
其他好文 时间：
2014-05-16 01:03:10
阅读次数：
314
