# 上确界的数学定义 大前天晚上在搞高数,看到个例题,给出上确界的数学定义。 众所周知,在实数集中,设$$E$$为非空实数集,$$\exists M \in R,\forall x \in E, x \leq M$$,则$$M$$是$$E$$的一个上界。 既然描述中用了一个上界,证明肯定不止一个上界,毕竟比只要$$\exists A \in R$$,满足$$M < A$$,就能说明$$A$$也是$$M$$的上界。 所以这就有了本章的标题,上确界——一个集合的最小上界。 用口语很简单,所有上界中,最小的那个就是上确界。 但数学- 剩余部分藏起来了( ̄∇ ̄) -

展开阅读

# GitHub 文档中文化 真是可喜可贺! 自巴别塔塌了后,各界大佬纷纷为语言互通做了很多努力。 比如谷歌的机器翻译,夭折的 GitHub 官方本地化,楼教主的油猴插件等等。 但我们终于等来了官方的文档中文化。 GitHub 被微软收购后的确做了不少利于开源的事情,比如免费的私人库,又比如这次的文档中文化。 这样一来,可以直接使用母语查阅,也可以左边窗口英语,右边窗口中文,学了 git ,还学了专业词汇,岂不美哉! [GitHub 中文文档](https://help.github.com/cn)

展开阅读

# 暑期计划 因为众所周知的原因,想在这两个月里过的~~跟往常一样~~充实,故此立个 flag 吧。 ~~反正最终解释权在我手里~~ ## 技能 ### 算法 1. 回到一年前的巅峰水平 2. 去几个 OJ 找找当年的感觉 ### 编程 1. 2级 C & C++ & Python 以上水平 2. 捡起两年前学的PHP、JS、CSS,把博客改一改 ### 项目 1. 捋一遍我的[Dark-Zhihu](https://userstyles.org/styles/157877/dark-zhihu- 剩余部分藏起来了( ̄∇ ̄) -

展开阅读

# 博客程序变更说明 因为之前用的 WordPress 太™的臃肿了,而且还不支持原生Markdown。 加之我在可见的未来里,应该说不定可能有概率会周更,还是换成[Typecho](http://typecho.org/)吧。 目前网站处于转换期,很多功能与之前的文章都有点问题,我会尽早修复。

展开阅读

Git commit message 编写风格仅限个人与 The S/L Studio使用,除此之外仅供参考。Headertype 用于说明 commit 的类别,subject是 commit 目的的简短描述,不超过50个字符。Debug(Fix)Fix: bugID(issue#ID) or summarye.g. Fix: issue[#123] why The Null is so niubility修复 bug ,且不影响其功能实现。新特性实现(Feat)e.g. Feat: 128-core CPU optimization重构(Refactor)- 剩余部分藏起来了( ̄∇ ̄) -

展开阅读