ASC_8384 发布的文章

上确界的数学定义

• 作者: ASC_8384
• 时间: 2019-07-04
• 分类: 学习,数学
• 评论

Notice: Undefined offset: 1 in /www/users/HK437682/WEB/var/Widget/Abstract/Contents.php on line 154

# 上确界的数学定义 大前天晚上在搞高数，看到个例题，给出上确界的数学定义。 众所周知，在实数集中，设$$E$$为非空实数集，$$\exists M \in R,\forall x \in E, x \leq M$$,则$$M$$是$$E$$的一个上界。 既然描述中用了一个上界，证明肯定不止一个上界，毕竟比只要$$\exists A \in R$$，满足$$M < A$$，就能说明$$A$$也是$$M$$的上界。 所以这就有了本章的标题，上确界——一个集合的最小上界。 用口语很简单，所有上界中，最小的那个就是上确界。 但数学是精密的，怎么能用如此儿戏的语言呢？然后，数学界就向我展示了他的niubility。 设$$E$$为非空实数集，$$\exists \alpha \in R$$，满足： 1.$$\forall x \in E, x \leq \alpha$$ 2.$$\forall \delta > 0, \exists x_i \in E,x_i > \alpha \- \delta$$ 那么，$$\alpha$$就是$$E$$的上确界，又称之为$$sup(E)$$。 下确界同理。 这个第二点，十分精准的定义了啥叫再小一点点就不是了，叹为观止。 <!--more--> 仿佛又回到了两年前、五年前和七年前，唉，时光荏苒，我该回去了。

展开阅读

GitHub 文档中文化

• 作者: ASC_8384
• 时间: 2019-07-03
• 分类: 推荐,版本控制
• 评论

Notice: Undefined offset: 1 in /www/users/HK437682/WEB/var/Widget/Abstract/Contents.php on line 154

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

展开阅读

暑期计划

• 作者: ASC_8384
• 时间: 2019-06-29
• 分类: 杂谈
• 评论

Notice: Undefined offset: 1 in /www/users/HK437682/WEB/var/Widget/Abstract/Contents.php on line 154

# 暑期计划 因为众所周知的原因，想在这两个月里过的~~跟往常一样~~充实，故此立个 flag 吧。 ~~反正最终解释权在我手里~~ ## 技能 ### 算法 1. 回到一年前的巅峰水平 2. 去几个 OJ 找找当年的感觉 ### 编程 1. 2级 C & C++ & Python 以上水平 2. 捡起两年前学的PHP、JS、CSS，把博客改一改 ### 项目 1. 捋一遍我的[Dark-Zhihu](https://userstyles.org/styles/157877/dark-zhihu)，咕咕了好久 2. [图片转字符串](https://github.com/ASC8384/Img2Char)，总得让我的 To-Do 勾上两个 3. 把某一个站的部分数据扒下来，~~不过得等新硬盘到了再说~~，做数据分析入门用 4. The Null 的设计初稿的demo的雏形 ### 英语 1. 四、六级词汇 2. 看片，不带字幕的那种 3. 看网站，不带翻译的那种 ## 生活 ### 修身 1. 电影（艺术:商业 = 1:2） 2. 书籍，除专业书外，《科幻世界》《精神我析》《娱乐至死》《资本论》（大妈2玩的我真是那啥啊）、“反乌”两部 ### 健身 1. 慢跑减脂 2. 囚徒技艺，除倒立（真心太难）和竖旗（没杆子( ･´ω`･ )） ### 社会 1. 体会下996 2. 争取跑完一个团

展开阅读

博客程序变更说明

• 作者: ASC_8384
• 时间: 2019-06-23
• 分类: Web,杂谈
• 3 条评论

Notice: Undefined offset: 1 in /www/users/HK437682/WEB/var/Widget/Abstract/Contents.php on line 154

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

展开阅读

Git commit log 编写风格

• 作者: ASC_8384
• 时间: 2019-06-22
• 分类: 学习,linux,版本控制
• 评论

Git commit message 编写风格

仅限个人与 The S/L Studio使用，除此之外仅供参考。

展开阅读

1. 1
2. 2
3. 3
4. 4
5. 5
6. 后一页 »