前言 国庆的时候断断续续用 IDA 强拆了前六个炸弹便没再管了。本着为自己负责的原则，在这里把所有炸弹好好再拆一遍。 先用 objdump 把可执行文件反汇编到 bomb.asm 中。 打开 bomb.c 看看： 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505

本笔记为北京大学 2024 年秋季学期《机器学习》（04632036）的课程笔记。该课程由张牧涵老师开设。张老师的课程讲述非常精彩且有特点，全程板书且穿插了不少 insights。 本来头两讲是在 iPad 上进行笔记记录的，第三节课发现直接用 Markdown 可以跟得上，遂将笔记整理于此。 笔记按知识模块形式呈现如下。 目录： 01-线性回归 02-逻辑回归 03-偏差方差分解 04-支持向

前言 要死掉了 Random 前置知识 随机算法的流程：无偏估计->P[ALG is correct] >= Constant -> 多次重复降低失败率 算法 1：最大割的 2 - 近似，每次随机选点加入 SSS，重复若干次 Median Trick：若一个黑盒能以 p>0.5p>0.5p>0.5 概率正确回答某个 Yes/No 问题答案，那么可以通过重复

Here's something encrypted, password is required to continue reading.

向前-向后数学归纳法 某种比较神秘的数学归纳法变体。形式如下： 当一个命题满足如下条件时： 命题关于无穷多个自然数成立； 当 n=k+1n=k+1n=k+1 时命题成立可以推知 n=kn=kn=k 时命题成立。 则命题对全体自然数成立。 比较常见的想法是，证明命题对于 n=2kn=2^kn=2k 成立，然后证明 k+1  ⟹  kk+1\implies kk+1⟹k。比如均值不等式： 1n∑

是写给自己看的备忘录，如果有写的不清楚的东西见谅（ 真的很感谢助教大人，他们帮到了我很多。 Intro to Calculational Programming Specification 可以理解为“目的”一类的东西。 describes what task an algorithm is to perform, expresses the programmers’ intent, sh

期中有小点寄，加训。 太长了所以拆成了好几篇。 3b1b 的一些观后感见这里。 第一章至第二章的小总结在这里。 向量空间 拆成了若干几部分。 第一部分：向量空间的基本定义/线性相关与线性无关 第二部分：向量组的极大无关组与秩 第三部分：子空间的基/维数与矩阵的秩 第四部分：线性方程组的解 矩阵的运算 我们容易验证，同阶的矩阵是满足线性空间的八大公理的，所以构成线性空间。数域 KKK 上全体

Here's something encrypted, password is required to continue reading.

救救期中。。 三角函数的一些公式 tan⁡2x+1=sec⁡2x\tan^{2}x+1=\sec^{2}xtan2x+1=sec2x 是很重要的关于 tan⁡x\tan xtanx 的处理，很多时候和 dtan⁡x=sec⁡2xdx\mathrm{d}\tan x = \sec^{2} x \mathrm{d}xdtanx=sec2xdx 一起处理问题。 然后是三角函数的 Reduction F

Preface 因为我觉得我要沉淀下期中了所以自己记给自己看一下。 不保证内容的可读性，因为懒得去想对应语言的表达所以中英文夹杂了一下。 不保证内容的正确性，如果能帮忙指出错误，感激不尽。 Category Definition 一个范畴 C\mathsf CC 包含着如下东西： 一堆对象，记作 C0\mathsf C_0C0​； 一堆态射（morphism），记作 C1\mathsf C