MathI
Differentiable “Local” Formally: f(x)≤f(x0),x∈I∩(x0−δ,x0+δ)f(x)\le f(x_0), x\in I\cap(x_0-\delta,x_0+\delta)f(x)≤f(x0),x∈I∩(x0−δ,x0+δ), then we have a local maximum Local的定义就是用 δ−ϵ\delta-\epsilon
Prog1-Part2
感觉自己下半学期学的有点问题，写点笔记复习一下 感觉下半学期的重点是编译原理，主要可以分为这么几个部分： Lexer: 把程序转化为Token Parser: 把Token转化为语言的数据类型 Elaborator: 静态类型检查 Evaluator: 求值 自我感觉1.3.4.掌握的还行，Paser还是有点不明白。 以及3.4.的Derivation Tree还要再记一下表示方法。 编译原理
ITCS
快到期末周了，为自己的Cheat Sheet做点准备 Naive Set Theory 感觉唯一要看的是两个集合的power和一个证明过程。 CaO，一翻Slide发现还有几个定义要说。 几个定义 $\binom{A}{k}={X $ ⊆A:∣X∣=k}\subseteq A: |X|=k\}⊆A:∣X∣=k} BA={f:A→B}B^A=\{f: A\to B\}BA={f:A→B} aRb
东方学读书笔记
绪论部分 几个前提： 东西方并不是自然的存在，不仅存在于自然中 东方本质上不存在是错的 聊东方学不能只聊东方学。不研究双方力量关系，权力结构，观念等就无法全面认识东方学。 东方学并不只是虚妄之语，而是几个世纪以来文化和实权等的积累。 霸权（hegemony）：社会中总有一些文化形式对其他的文化形式可以产生支配。 为方便后文阐述，提到了当代现实的三个方面： 纯粹知识与政治知识的区分：认为“纯
日本剧情片二则
电脑散热炸了？玩不了Dota2就只能看点电影缓解一下了QwQ。 《浮云》和《情书》这俩日本电影都挺好的，克制地表达这一块日本整的真的没得说。 《情书》 这部先看，所以先写这个。 整体剧情是在对未婚夫的一次祭奠活动后，女主在他的同学录中找到了未婚夫初中时的旧住址（理论上被拆了），想着两个都没了（，就写了信过去。 神奇的是，她竟然收到了回信。原因是当地还有一个和男主同名同姓（藤井树）同届的女生，而快
Hello World
Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quic