Login
Create new posts
大爷告诉我可以这么做，比如 Valid Braces，但这真的表明这是正则语言吗？难道不是用了扩展的正则表达式？ {a^nb^n | n \ge 0} 这貌似是上下文无关但非正则的经典例子吧，用泵引理可以很容易证明。这不就是 valid braces 的一个子语言嘛？
不是 Dreamweaver 那种 WSYIWYG，是基于 react 之类框架的那种生成。起因是我觉得这些玩意儿已经这么组件化、严谨了，是可以做到类似传递的 GUI 框架那种拖动的（可能前端已经做到过了，不过还是想基于这些框架再做一遍）。 主要的难点可能在于 CSS，但我感觉 Flexbox 是足够完备来支撑这一点的，或许可以参考 react native 是如何把 CSS 的子集用来布局移动端的。 我早就有这个想法了，大概年初写 react 写吐的时候。今天看到这俩回答[1][2]又想起来了。
比如，我要从https://www.eliseos.org/en/water/post/73 返回 https://www.eliseos.org/en/water/list/1
https://chinese.stackexchange.com/q/28095/18671 比如我这种人，就会去上面装老外，提一些对老外很有价值的问题
比如我在这里的回复就被恺神吐槽了，应该用 \begin{align}输入多行公式，而不是使用\手动切行。 那么可以做到如果我做了后者，就智能提示我应该用前者吗？
龙神说 sbt 还不支持 JDK 9，这是什么原理？JDK 9 的 breaking changes 有哪些？
我们需要看合订本，是吗？ https://colliot.org/zh/2018/01/%e7%94%a8-angular-%e5%bc%84%e4%ba%86%e4%b8%80%e4%b8%aa%e8%83%8c%e5%8d%95%e8%af%8d%e7%9a%84%e7%bd%91%e7%ab%99-eliseos-org/ 虎哥名人名言： 整个弄下来的感想就是，Angular 是真的好用，Angular 生态是真的不错，universal 完全按官方走一遍就活了，现在线上运行的版本就是 universal 的，右键查看源码可以看到是渲染好的页面发过来的。angular cli 一路可以 generate 到底，基于 NgModule 的路由懒加载也是开箱即用，不需要任何配置，非常美妙。
这个网站现在还是 Angular 的吗？
给定标准布朗运动 Bt 假设 s 是个停时，那么 B′t={Bt2Bs−Btif t≤sif t>s 是标准布朗运动。
弱反射原理 mathbb{P}{M_t ge a} = 2mathbb{P}{B_t ge a}，其中 M_t = sup_{sin[0,t]}B_s 是布朗运动 B_t 在 [0,t] 内达到的最大值。 它可以写作mathbb{P}{B_t ge a}=dfrac{1}{2}mathbb{P}{M_t ge a}，这个在直观上很容易理解，因为 B_t ge a 必然有 M_t ge a，而 M_t 第一次到达 a 之后，后续任何点大于或小于 a 的概率都是 1/2。 强反射原理 给定标准布朗运动 B_t，假设 s 是个停时，那么
begin{equation} B'_t= begin{cases} B_t & text{if } t le s 2B_s-B_t & text{if } t > s end{cases} end{equation}
仍是标准布朗运动。 这实际上就是「第一次到达 a 之后，后续任何点大于或小于 a 的概率都是 1/2」的严格表述。所以后者可以推出前者。
感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关？
找到了相关文章 Formalising Real Numbers in Homotopy Type Theory，让我来看一看。
怎么用类型系统表述戴德金分割呢？
textbf{} extbf{}
我现在懂了，就是戴德金分割
不成立。现在的语法也有这样的歧义
Create new posts