Why Not Markdown

一些声明 declaration

这里是spinach/hehelego,
这个repository将会发布我的一些 学习笔记/解题报告.

• 所有内容以CC0协议发布.
• 如果您发现此git repo中的内容的任何问题(包括但不限于错误/语义不清/引用不明/非规范引用)
  请联系我进行修正.
  我不能保证及时回复,但是我很重视我写出的内容的质量,我不会忽略您指出的问题.
• 部分文档中的markdown语法不规范,会导致无法正常渲染, 如果发现这种问题, 请联系我.
  那些文档是在windows环境下,使用typora编写的.

TOC

• WhyNotMarkdown/
  此repo的根目录,放置一些算法竞赛相关的笔记
• WhyNotMarkdown/static/
  一些文档会链接的静态文件(如图片).
• WhyNotMarkdown/record_and_tricks/
  使用各种工具时遇到的问题的解决过程记录,和常用技巧整理.
• WhyNotMarkdown/course_note/
  我在张江理工修读的课程时的笔记.
  在coursera/edx/MITOCW等平台上学习时的课程记录.
• WhyNotMarkdown/superset_of_OI/
  我的算法竞赛训练记录和解题报告.

关于我 about me

个人信息泄漏警告

• 曾经是BHSF OIer
• 目前在ShanghaiTech读CS, undergraduate
• 常用id: hehelego/spinach/54spinach
• 在telegram,github,zhihu,stackexchange;LOJ/UOJ/luogu/codefoces可以找到我

---

random thoughts

关于大学生活(以及今后)的reminder

do the right thing.
meaningful or interesting.
stay focused,be motivated.

可观测宇宙足够大,
去找你认可的意义和价值, 去探索吸引你的乐趣, 去体验你真实的感受.

---

TODO

• note on basic program semantics theory: 1dc5ca4e726cf585dc58781312b2e0288cfff34f
• course note of stochastic process: f1c8b6529ab1fce76f341134b85e159f82b8746a
• note on the normalization properties of STLC: 9e710d7cd89602ffe8c6e6b2113f5685524cce09
• note on monad transformers (and possibly algebraic systems): 94fbcc1f24b51e16526cb20ac7d1226684204dfc
• note on omega automata and temporal logic model checking: 9fcec622efb28628961b73516c46036b38fdd9c6