函数式访问器在haskell里被叫做Lens。在面向对象语言里这个没有什么必要，不过作为练习，我们看如何在scala表示van Laarhoven lens.先给出haskell里的lens类型：type Lens s a = forall f. Functor f => (a -> f a) ->...
分类：
其他好文 时间：
2015-03-16 14:19:57
阅读次数：
146
Latex是为了写数学公式的。嗯…但实际这种语言的作用是为了排版的。数学公式只是他的附加属性。但是markdown引入这个完全是为了写公式。其他的Latex语法不支持。CSDN markdown语法支持的latex，分为两类
- 行内公式：$\Gamma(n) = (n-1)!\quad\forall n\in\mathbb N$
这是行内公式： Γ(n)=(n?1)!?n∈N\Gamma(n)...
分类：
其他好文 时间：
2015-03-15 00:51:31
阅读次数：
225
1. ($20$ 分) 证明非线性积分方程 $$\bex x(t)+\lm \int_a^b K(t,s,x(s))\rd s=y(t),\quad \forall\ t\in [a,b] \eex$$ 在 $|\lm|$ 足够小时有唯一连续解.
分类：
其他好文 时间：
2015-01-23 14:35:16
阅读次数：
152
1.修改/etc/hosts 加入集群各节点的主机ip 及主机名。（For all hosts）例如： 192.168.4.190 hl0 192.168.4.191 hl1 192.168.4.192 hl2 192.168.4.193 hl3 2确认已经开启ssh服务。（Forall hosts...
分类：
其他好文 时间：
2015-01-20 20:08:57
阅读次数：
377
设 $f:\bbR^{n\times n}\to\bbR$ 适合 $$\bex f(cA+B)=cf(A)+f(B),\quad f(AB)=f(BA),\quad\forall\ c\in\bbR,\ A,B\in \bbR^{n\times n}. \eex$$
分类：
其他好文 时间：
2015-01-07 09:17:50
阅读次数：
118
问题 设$f$是$\mathbb R$上的周期函数,记$$S=\{T>0:f(x+T)=f(x),\forall x\in\mathbb R\}$$根据确界原理显然$S$有下确界${\rm inf}S$,求证要么${\rm inf}S=0$,要么${\rm inf}S\in S$.证明 只需注意.....
分类：
其他好文 时间：
2015-01-05 23:22:21
阅读次数：
124
问题 设$f$定义在$\mathbb R$上,若$f$在每个点上都是极大值点,证明存在区间$I$使得$f$在$I$上常值.证明 如果$f$在任何闭区间上都不常值,$\forall x_{1}\in \mathbb R$,由于它是极大值点,从而存在$a_{1}>0$使得当$$x\in I_{1}=.....
分类：
其他好文 时间：
2015-01-05 21:45:05
阅读次数：
134
设 $f\in C[0,1]$ 适合 $$\bex \int_x^1 f(t)\rd t\geq \frac{1-x^2}{2},\quad \forall\ x\in [0,1]. \eex$$
分类：
其他好文 时间：
2015-01-05 21:39:47
阅读次数：
163
Oracle有2个引擎来执行PL/SQL blocks 和 subprograms。那么在执行的时候，PL/SQL 引擎把DML 语句发送给SQL 引擎，然后由SQL 引擎执行，执行完毕后，SQL 引擎把结果集在发送给PL/SQL 引擎。 与bulk 相关的有2个语法：forall 和 bulk ....
分类：
其他好文 时间：
2014-12-16 23:51:27
阅读次数：
434
子图同构定义： 给定图$Q=(V(Q),E(Q),L_V,F)$和$G=(V(G),E(G),L_V',F')$, 称$Q$子图同构于$G$ 当且仅当存在一个映射$g:V(Q)\rightarrow V(G)$ 使得\[\forall x\in V(Q), F(v)=F'(g(v))\]和\[\.....
分类：
其他好文 时间：
2014-12-09 22:46:03
阅读次数：
258
