- 博客(217)
- 资源 (6)
- 收藏
- 关注
RSS订阅
原创 Meta-Learning with Latent Embedding Optimization
LEO 思想MAML 虽然可以通过少量梯度下降就能找到适应新任务的最优参数，然而对extreme low-data regimes在高维参数空间上操作时，还是过于不便。而LEO 则通过学习关于模型参数的a data-dependent latent generative representation，并在这种低维的latent space 中执行基于梯度下降，可以一定程度上绕过这些痛点。LEO 算法能够捕获数据中的不确定性，将基于梯度的自适应优化过程，从模型参数的高维空间中分离出来，并通过实验...
2020-05-27 16:30:40
1676
原创 过去的三年
白驹过隙，三年过去了，又学了一些东西，可是很久没写博客，因为懒。今天突然想吐个槽。然，语文不好，思维跳跃，想到什么写什么。代数系统：《抽象代数》-->《泛代数》-->《范畴论》。这些学科最好都学一下，它们不仅在“密码学”，“形式化”中有很多应用，在神经网络中也有不少应用，比如将 Backpropagation 抽象为 functor；比如研究 Symmetry Net...
2018-05-25 15:13:43
619
3
原创 多维空间树 kd-tree
#lang scheme( define ( make-node point axis left-child right-child ) ( define ( dispatch msg . args ) ( cond [ ( eq? msg 'point ) point ] [ ( eq? msg 'axis ) axis
2015-05-26 17:08:07
1651
原创 Emacs 降魔系列之制作 Python IDE
个人的武装配置比较搓。希望大神指正下。我们先去这里收集主人公闯关道具 —— 昊天塔 emacs for windows：http://ftp.gnu.org/gnu/emacs/windows/我使用的是冥界版 24.3。释放 emacs 的灵压，将其解压 emacs 在你需要的目录下，在解压后生成的 bin 目录下，点击 addpm.exe，会在 “C:\Users\Ad
2015-04-12 23:55:15
5656
4
原创 百世经纶一页书
大学 4 年的计算机专业的生活快结束了，看完了大部分的书，还有一小部分没看完，记之。看了比较杂，有些也不是很好分类。>>>>>>>>>>>>>>>>>>>>>>>道格拉斯 《图论导引》王树禾《图论及其应用》《有向图理论，算法及其应用》《欧拉图理论》《图论与代数结构》《复杂网络理论及其应用》《网络群体与市场》>>>>>>>>>>>>>>>>
2014-10-27 23:03:28
2487
9
原创 高度平衡树 -- AVL 树
原本打算用 Cpp，Ada，Python 各重写一份，觉得这种行为比较2.因为还是 Scheme 的表达最优雅.#lang scheme( define nil '() )( define ( root tree )( car tree ) )( define ( left-tree tree )( cadr tree ) )( define ( right
2014-08-17 00:39:03
2206
原创 二分图最大匹配 -- 匈牙利算法
Algorithm.( Augmenting Path Algorithm )Input: An X-Y bigraph G, a matching M in G, and the set U of M-unsaturated vertices in X. Idea: Explore M-alternating paths form
2014-07-09 23:51:03
1505
原创 DFA最小化 -- Hopcroft算法 Python实现
问了 30 个技术群，也问了无数的前辈，真是各种不礼貌，吃了无数闭门羹，还是自己看着有点眉目了还有 wiki 的伪代码看了总觉得奇怪，于是看了同一页面其他语言翻译过来的伪代码，发现葡萄牙语和俄罗斯语那里的 if 判断都还缺少一个条件国内的资料比较少，这几份学习资料不错，比我稀里糊涂的思路要好，分享下：http://www.liafa.univ-paris-diderot.f
2014-07-03 18:11:18
5585
3
原创 矩阵树定理速证
凯莱公式:spanning_trees_num( G ) = spanning_trees_num( G - e ) + spanning_trees_num( G · e )矩阵树定理：G 对应的拉普拉斯矩阵（度矩阵 - 邻接矩阵）L( G ) 删除任意一行一列得到的行列式的值det( L*( G ) )即生成树的个数，即spanning_trees_num( G
2014-06-22 17:04:19
2709
原创 并查集小记
实现不相交集合数据结构的几种方式：单纯的快速查找：若id相同则在一个集合中，下图中，（ 2， 3， 4， 9 ）为一集合， 3 和 6 不在一个集合中合并集合时，需逐个比较将两个集合的 id 统一，慢缺陷：合并慢==================================================2.单纯的快速合并：
2014-06-07 00:43:25
1403
原创 有向图的强连通算法 -- tarjan算法
在有向图 G 中，若两个顶点相互可达，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。非强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。比如下面第一幅图( a, b, e ), ( d, c, h ), ( f, g ) 分别为三个 SCC。
2014-06-05 18:51:10
2109
原创 python 装饰器与AOP
无高见1.缓存from functools import wrapslineseq = '==' * 20def memo( func ): cache = {} @wraps( func ) def wrapper( *args ): result = cache.get( args ) if resul
2014-05-27 20:33:55
2038
原创 python中lambda的另类使用
Lambda挺强大，有兴趣的人看下关于lambda的理论，就清楚邱奇编码的实现了。带if/else：( lambda x, y: x if x 科里化：( lambda x: ( lambda y: ( lambda z: x + y + z )( 1 ) )( 2 ) )( 3 )递归：func = lambda n: 1 if n == 0 e
2014-05-17 13:36:14
7598
原创 图的一因子
图特定理：对于任意点集S ∈V( G )，满足o( G - S ) ≤ | S |，G则存在一因子。（ o代表分量中点数为奇数的分量个数 ）证明：必要性：很显然，若是G存在一因子，G - S中的奇分量的个数必然要小于S的个数，不然G - S中的某个奇分量中的点得不到匹配。充分性：反证，假设G满足任意S，o( G - S ) ≤ | S |，但是G不存在一因子。但
2014-05-06 18:31:17
2392
2
原创 蚁群算法求解旅行商问题 python
这组数据，刚开始只运行到2879m，于450m差的比较远，后来发现是路径距离算错了，再后来变成了1789m，发现是初始化点没选择，改了下，最后运行结果是440m。python有点慢，需要运行一段时间。import randomimport copyimport timeimport sys( ALPHA, BETA, RHO, Q ) = ( 1.0, 2.0, 0.
2014-04-12 15:41:01
10414
5
原创 压入与重标记算法（预流推进算法）
最大流算法之压入与重标记算法（预流推进算法）今天是平安夜，明天是圣诞节，明天也是我的生日，到目前都是直接贴代码，懒动手，今天好好写一篇博客。 — —Pandora_Scheme1.算法发现者: Goldberg && Tarjan( 87 ); 不了解
2013-12-24 18:07:00
5146
3
原创 blender 导入动画到 unity
看自由小径教程，自己记的乱七八糟的笔记。1.骨架设置：物体模式下，添加头部骨架。改名head。（object mode 下的骨架透视：选中骨架，在 viewport display 中选中 in front。）编辑模式下，选中头骨，按 E 拉出 3 条腿骨，删除与头部相接的腿骨。复制旋转出另外两条腿。改名 leg.up.L，leg.down.L 等等。（姿态模式下，观察骨架运动关系。）编辑模式下，依次选中 3 条 up 腿，最后选中 head，Ctrl + P 保持偏移量（出现虚线.
2020-07-06 17:26:07
10993
原创 有点迷糊的 B 树 delete 操作
1.如果键 在节点 中，且 是叶子节点，则从 中删除键 。2. 如果键 在节点 中，且 是内部节点，请执行以下操作：a. 如果节点 中位于 之前的子节点 至少有 个键，则在以为根的子树中找到 的前驱值。将中的 替换为,并递归地删除 。b. 对称地，如果节点 中位于 后面的子节点 至少有 个键，则在以 为根的子树中找到 的后继值 。将 中的 替换为 ，并递归地删除 。c. 否则，如果 和 都只有 键，那么...
2020-05-30 16:54:16
207
原创 Standard ML 无穷数据
datatype 'a seq = Nil| Cons of 'a * ( unit -> 'a seq );exception Empty;fun head( Cons( x, xf ) ) = x | head( Nil ) = raise Empty;fun tail( Cons( x, xf ) ) = xf() | tail( Nil ) = rais
2016-04-05 15:23:10
1163
转载 sat-solver
python 实现的 sat-solver，用了三种算法，DPLL，Genetic，HillClimbing ：https://github.com/DRTooley/PythonSatSolver。
2016-04-03 18:29:46
4658
原创 计算群论 Schreier-Sim algorithm
计算群论 Schreier-Sim algorithm：http://www.m8j.net/data/List/Files-118/Documentation.pdf
2016-04-03 18:28:13
1575
原创 Kunth 的 LR parsing 论文
http://www.dc.uba.ar/materias/tl/2010/c2/files/Knuth-1965-TranslationofLanguages.pdf
2016-04-03 18:25:52
517
原创 Beautifulsoup 小用
用 beautifulsoup 爬了下伯克利大学 programming languages and compilers 的课件import reimport requestsfrom bs4 import BeautifulSoupr = requests.get( "http://inst.eecs.berkeley.edu/~cs164/fa11/lectures/in
2016-02-08 13:57:29
574
原创 win7 下 bochs 运行 Hello World OS
安装 bochs，dd for windows，nasm用 bochs 中 bximage.exe 创建新的 img 文件编写 Hello.asm org 07c00h ; 告诉编译器程序加载到 7c00处 mov ax, cs mov ds, ax mov es, ax call DispStr ; 调用显示字符
2015-12-05 18:56:07
3798
2
原创 CrackMe 之Afkayas 破解
rtcAnsiValueBstr 是取输入字符串的第一个字母的 ascii 码注册码是 len( 输入 ) * 0x17CFB + ascii( 输入的第一个字符 )
2015-11-18 00:50:28
824
原创 CrackMe 之 Acid Burn 破解
注册码是蓝线之上就生成好的，但是，是在红色断点处 call 之后才载入到数据区域的。注册码算法是取输入的第一个字节乘以 0x29 再翻倍后，头部接 CW-，尾部接 -CRACKED。
2015-11-16 00:52:41
1227
原创 汇编语言 冒泡排序
.section .datamsg:.string "value is %d\n"arr:.int 1, 10, 5, 2, 20, 55, 7, 124, 77, 55.section .text.globl mainmain: pushl %ebpmovl %esp, %ebpsubl $32, %espmovl $10, -4(%ebp
2015-11-08 12:45:00
1154
原创 python rmq
import mathdef init( arr ): arr_len = len( arr ) exp = int( math.log( arr_len, 2 ) ) DP = [ [ 0 for col in range( exp + 1 ) ] for row in range( arr_len + 1 ) ] for index, item in
2015-10-09 01:20:25
799
原创 用 ply 制作计算器
import ply.leximport ply.yacctokens = ( "NAME", "NUMBER" )literals = [ "=", "+", "-", "*", "/", "(", ")" ]t_NAME = r"[a-zA-Z_][a-zA-Z0-9_]*"def t_NUMBER( t ): r"\d+" t.value = int( t.
2015-09-25 15:28:15
976
原创 PL/0 文法
-> -> [][][] -> CONST{ ,}； -> = -> {} -> VAR{ ,}； -> {|} -> ；{} -> procedure； -> ||||||| -> := -> begin{ ；} -> |odd -> [+|-]{} -> {} -> ||() -> +|- ->
2015-09-25 13:50:38
3778
原创 正规子群
一个群 G 是带有下列性质的合成法则的集合 G：1.合成法则满足结合律：(ab)c = a(bc) 对 G 中任意 a，b，c 成立2.G 中包含单位元 e，使得对于 G 中的任意元素 a，有 ea = ea = a3.G 中任意元素 a 均有逆元 b，满足 ab = ba = e群 G 的阶是其中包含的元素个数，记作 | G |( Z, + ) 是整数集合在加
2015-09-17 20:08:22
18670
2
原创 金刚石图纹
.info { position: relative; margin-bottom: 5px; } .info input { width:
2015-08-04 13:05:39
1115
原创 Householder 变换与 QR 分解
import randomimport copyEPS = 0.00001class MatrixException( Exception ): passclass Matrix( object ): def __init__( self, rows, cols, values_list = None, description = None ):
2015-07-27 08:33:16
10016
原创 bresenham 画线算法
var canvas = document.getElementById( "C" ); var context = canvas.getContext( "2d" ); var image_data = context.getImageData( 0, 0, 600, 600 ); function put_pixel( i
2015-07-25 21:52:33
855
转载 将 emacs 用来开发 SML
http://courses.cs.washington.edu/courses/cse341/13wi/sml_emacs.pdf
2015-07-14 12:32:01
1018
原创 scheme 中的宏使用
#lang scheme( define-syntax my-when ( syntax-rules () [ ( _ pred body ... ) ( if pred ( begin body ... ) ( void ) ) ] ) )( my-when ( = 2 1 ) ( display 1 ) ( disp
2015-07-04 11:54:06
2253
群论应用于组合学
2018-11-28
《实流形和复流形上的分析》
2018-10-31
计算几何导论
2014-08-11
计算机程序的构造和解释
2014-08-11
Delphi2010语法手册
2014-08-11
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人