- 博客(7)
- 资源 (5)
- 收藏
- 关注
原创 Monad in Hask(一)
一、 Monad(单子)定义1. 范畴论中的定义Monad可以定义在2-范畴中,在此我们以范畴Cat为例:Monad可以表示为一个四元组(C,T:C→C,η:1C→T,μ:T∘T→T)(C, T: C \to C, \eta: 1_C \to T, \mu: T \circ T \to T) 其中CC是范畴,TT是C上的自函子,η\eta和μ\mu均为自然变换,且满足 μ∘Tη=μ∘ηT=IdT\
2016-06-12 20:22:18
531
原创 欢迎使用CSDN-markdown编辑器
仿射变换可由两个正交变换与一个伸缩变换复合而成,对应的SVD分解如下: svd(A)=U×Λ×VTsvd(A) = U \times \Lambda \times V^{T}
2015-12-09 20:30:59
335
原创 关于ERWIN “Cannot DELETE last xxx because xxx exists.”
删除从表最后一条数据时会出现触发器提示,拒绝删除 解决办法: 在联系的RI ACTIONS 菜单中选择Child Delete 下拉菜单,选中None选项,确定即可。
2015-10-20 23:15:03
1051
原创 汇编语言王爽课程设计二
//该代码为安装程序,运行后即将主程序部分复制到软盘a//测试环境为VMWARE 11 + MS-DOS assume cs:code code segment ;------------------------------BEGIN COPY----------------------------------- begin: mov bx,2000h mov es,bx mov b
2015-07-19 10:01:30
710
原创 BITOJ 木板墙问题(单调栈)
木板墙 考古学家在人迹罕至的一块平地上发现了由一堆木板拼成的墙。令人惊奇的是这些木板的宽度都相同!地下的部分都已腐烂,而地上的部分也有高有低,甚至有的地方根本没有木板,所以考古学家决定带走木板覆盖的面积最大的长方形回去研究。 输入: 首先是整数n(1 最后一个0表示程序的结束。 输出: 其中最大长方形的面积。 测试输入 期待的输出 时间限制
2015-06-12 13:44:28
2200
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人