日语的语气
もの/もん
KMP & AC自动机
字符串匹配的基本方法就是，逐位移动模式串，检查当前位置是否匹配。似乎只有这样才能够不遗漏地检查所有可能匹配上的情况。容易发现，这样做的复杂度是的。而事实是，我们可以做到比这更好。
01 范畴
Categories
00 How does Japanese Work
我是2023年1月开始学日语的，距今已经四个月了。准确地说，2022年夏天的时候我已经认识50音图的平假名了，但开始正式地学语法是今年才开始的。学日语给我的生活带来了很多乐趣， 尤其是当我在动漫里听到一句复杂的话而发现自己居然能分析出它的语法原理，或是突然发现本来耳熟能详的一句话原来是由这样的语法支撑着时，总是非常兴奋。
2024 王浩 - 从数学到哲学
9 数学与计算机
2025 Legal High
黛：可是，那真相是什么呢？古美门：我们又不是神，不可能知道真相是什么的。
01 Supervised Learning
机器学习面对的问题主要分为两种，分别称为“监督学习(supervised learning)”和“非监督学习(unsupervised Learning)”。
监督学习
机器学习面对的问题主要分为两种，分别称为“监督学习(supervised learning)”和“非监督学习(unsupervised Learning)”。
00 What is Machine Learning
当我们说“机器学习(machine learning)”时，我们指的是一种解决问题的方法，这种方法不同于传统的“计算机算法”。
04 哥德尔完备性定理
我们已经说明了基于一阶逻辑语言的相继式演算具有可靠性(soundness)，也即：选定符号集，对于任意-formula集合和-formula ，如果成立，那么一定有成立。可靠性是简单而直接的，我们只是把定义展开就得出了结论。更困难的反过来的问题。我们想证明基于一阶逻辑语言的相继式演算的完备性(completeness)：任何与，只要成立，…