概率论从挂科到重修(一)——概率公理和条件概率

大概等价于《概率论基础教程》的前三章内容。

继续阅读

发表在 数学, 概率 | 留下评论

概率论从挂科到重修(零)——绪论

关于这个系列以及现代测度论基础。

继续阅读

发表在 数学, 概率 | 留下评论

哈代数论读书笔记(五)——同余与剩余

本章内容省略了原书中正十七边形尺规作错的部分,因为之前已经写过这部分的文章了

附 PDF: 哈代数论读书笔记(五)——同余与剩余.pdf (下载4)

继续阅读

发表在 数学, 数论 | 留下评论

哈代数论读书笔记(四)——无理数

上周赶论文托更,还好本章内容较水,没有咕咕咕

附 Vscode 导出的 PDF: 哈代数论读书笔记(四)——无理数.pdf (下载9)

继续阅读

发表在 数学, 数论 | 一条评论

【填坑】欧拉代换

今天突然想起来上学期留的欧拉代换的坑没填;简单找了一下似乎套路不是很复杂,那就在这里记录一下备忘吧.

继续阅读

发表在 微积分, 数学 | 留下评论

用Haskell进行定理证明

类型即命题,程序则证明

继续阅读

发表在 形式验证, 计算机 | 留下评论

高空坠物

前几天在我校OJ上看到这样的一道题

继续阅读

发表在 C++, 计算机 | 留下评论

雀魂麻将算点方法

雀魂麻将点数算法一直令我非常困惑,今日学习了一发总算搞明白了

继续阅读

发表在 游戏, 雀魂 | 一条评论

哈代数论读书笔记(三)——Farey级数

本章内容再次激增,耗时两周完成,感觉计划要调整一下了

另外,博主发现了一个非常好用的 Latex 抓取工具 Mathpix,强推一波

继续阅读

发表在 数学, 数论 | 留下评论

函数式思维下的奇妙世界

天下武功,唯快不破,对于函数式语言更是如此。

基本上,函数式语言慢于大多数命令式语言。但,OJ 们却是一视同仁的。因此经常会有这样的惨案发生:用 Haskell 写个程序,倾尽平生所学投入到优化事业中,提交上去仍然超时;顺手用 C 撸个原型就直接过了。而且,即使想去抄 C 语言中最快的实现然后翻译到 Haskell 中来,也不一定能过,因为在 C 中最快的方法,并不一定在 Haskell 中也快……

继续阅读

发表在 函数式语言, 计算机 | 留下评论