交换代数的本质难点和反直觉的地方在哪儿?

Colliot9/1/2018, 8:42:10 PM

怎样程度的交换代数可以完全应用数论的直觉?

keyboard_arrow_down
从今天开始,「净土」将可以作为百科!

Colliot7/15/2018, 3:20:34 PM

点击这些标签(学名叫做「实体」),就可以到相应的页面。登陆的用户即可编辑!

keyboard_arrow_down
净土是不是已经凉了

zjuwyd5/24/2018, 6:19:53 AM

现在还有用户吗,还有人在维护吗

keyboard_arrow_down
Arithmetic Duality theorems for 1-motives.

Colliot8/17/2018, 12:58:37 AM

Duality theorems for the Galois cohomology of commutative group schemes.

keyboard_arrow_down
我们已经升级到 Angular 6!

Colliot8/14/2018, 3:38:23 PM

但实际上并感受不出什么变化。特别是 Ivy Renderer 还没有被启用。

keyboard_arrow_down
如何战胜 Angular?

Colliot8/11/2018, 2:22:50 PM

为什么 Angular 的编译持续报告 The pipe 'async' could not be found? ERROR in : Template parse errors: he pipe 'async' could not be found ("

keyboard_arrow_down
We should write "framework independent code"!

Colliot8/12/2018, 5:24:12 AM

We should conquer the frameworks, instead of being slaves of the frameworks, whether it is Angular, React, or something. We should develop our core with only features available in the JavaScript/TypeScript language. For example, instead of directly using dependency injection, we should manually write a factory function. If we want to integrate the DI of, say, Angular, we can wrap around it a layer of injectable classes. But keep in mind that the core must not use the functionalities available only in the framework. This will ease your pain when upgrading frameworks, sharing code between projects on the same subject but using different frameworks (e.g. the web version of this website is built with Angular, while the app is built with React Native).

keyboard_arrow_down
Why does `<TouchableOpacity />` triggers `onPress` twice when pressed on react-native-web?

Colliot8/11/2018, 2:43:12 PM

Yeah I'm talking about react-native-web, not react-native. <TouchableOpacity /> works flawlessly with the original react-native I guess, but when I use it with react-native-web, the defect described in the title comes into play. I don't know how to deal with it. Probably I have to dive into the source code to actually get to know about it. JavaScript libraries are always like this - mysterious, and requires an enormous amount of effort to work with.

keyboard_arrow_down

Latest Replies

ice1000 replied to 一个重大的消息——本站的 Angular 版本不再继续开发,将会用 React 「重新」开发

我们需要看合订本,是吗? 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 的路由懒加载也是开箱即用,不需要任何配置,非常美妙。

fjcfff replied to 阿里巴巴数学竞赛选错赛道了

给定标准布朗运动 Bt 假设 s 是个停时,那么 B′t={Bt2Bs−Btif t≤sif t>s 是标准布朗运动。

Colliot replied to 阿里巴巴数学竞赛选错赛道了

弱反射原理 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」的严格表述。所以后者可以推出前者。

hugify replied to 阿里巴巴数学竞赛选错赛道了

感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关?

hugify replied to 用类型系统描述实数的精髓是什么?

找到了相关文章 Formalising Real Numbers in Homotopy Type Theory,让我来看一看。

hugify replied to 用类型系统描述实数的精髓是什么?

怎么用类型系统表述戴德金分割呢?

ice1000 replied to 用类型系统描述实数的精髓是什么?

我现在懂了,就是戴德金分割

ice1000 replied to 为什么不能对 C++ 的语法进行简化?

不成立。现在的语法也有这样的歧义