记录一篇来自斯坦福, 觉得还不错的, 直观主义逻辑的入门文章Ref: https://plato.stanford.edu/entries/type-theory-intuitionistic/

Java SynchronizersJava当中自带了五种类型的 Synchronizer 分别是SemaphoreCountDownLatchCyclicBarrierPhaserExchanger Semaphore**A counting semaphore. **Conceptually, ...

谈一谈Java反射 (下)​ 在Java 7版本中, 为了增强反射, 提高反射调用方法的效率, Java引入了一种全新的反射调用方式, 即MethodHandle 调用​ 根据Javadoc> A method handle is a typed, directly executable ...

谈一谈Java反射 (上)​ 小到Minecraft的注解框架, 大到Spring实例化其Beans, 我们难免都会接触到Java一个非常重要的功能 - 反射 ( Reflection ) , 但提到反射, 伴随而来的往往还有三个字 - 效 率 差 应该在实际开发中避免使用。 那么反射究竟在哪里慢 ...

字符串匹配03 - KMP 算法在计算机科学中，Knuth-Morris-Pratt字符串查找算法（简称为KMP算法）可在一个主文本字符串S内查找一个词W的出现位置。此算法通过运用对这个词在不匹配时本身就包含足够的信息来确定下一个匹配将在哪里开始的发现，从而避免重新检查先前匹配的字符。这个算法是由 ...

字符串匹配02 - Sunday 算法问题:​ 给定字符串 SSS 和模板字符串 TTT , 求 TTT 是否在 SSS 中出现过, 如果有, 则返回 TTT 在 SSS 中第一次出现的位置.在上一篇中我们讲到,暴力求解虽然很容易实现,也很容易理解,在随机字符串和随机模板串的表现也不错,但毕竟这个 ...

字符串匹配01 Brute-Force 暴力求解问题:​ 给定字符串 SSS 和模板字符串 TTT , 求 TTT 是否在 SSS 中出现过, 如果有, 则返回 TTT 在 SSS 中第一次出现的位置. 思路刚开始拿到这个问题, 很容易就会想到暴力的解法 - 即在 SSS 中枚举, 尝试匹配模板串 ...

主定理 Master Theorem对于采用分治策略的算法, 其递归方程一般可用主定理口算求解 内容假设有递推关系式 T(n)=aT(nb)+Θ(n), a≥1,b>1T(n) = aT(\dfrac{n}{b}) + \Theta(n), \space a \ge 1, b > 1T ...

与两群🕊的重庆欢乐谷之行国庆一大早起床上厕所就听到QQ响(不然我怎么可能这么早起来,啪~!)然后就被第一群🕊问要不要一起去欢乐谷玩因为觉得最近心情实在不是很好,想想就答应了下来然后打了个滴滴到轻轨站(滴滴打了个9折都花了50多...我们学校离轻轨站真的够远的....)紧接着坐了两个多小时轻轨辗 ...

拉回 Pullbacks在范畴论Category Theory中，一个数学分支，拉回Pullback（也称为纤维积或笛卡尔方块）是由具有公共上域的两个态射 f:X→Zf:X \to Zf:X→Z 与 g:Y→Zg:Y \to Zg:Y→Z 组成的图表的极限。拉回经常写作P=X×ZY.P=X\tim ...