# 上确界的数学定义 大前天晚上在搞高数，看到个例题，给出上确界的数学定义。 众所周知，在实数集中，设$$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)- 剩余部分藏起来了(￣∇￣) -

展开阅读

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5