就标题中的问题, 数学有 “extensional” 和 "intensional" 之分. 通俗地说 extensional 的等同关系比 intensional 的等同关系更不严格. 而集合论中的等同关系通常是 extensional 的.

楼主对数字的理解大概还停留在比例数(有理数). 但等式的左边是无理数. 有一个方便理解的方法, 从编程的角度来看, 它是一个函数, 它的定义域是自然数, 它的到达域(codomain)是一个比例数. 而等式的右边, PI 是一个无理数, 按照某些收敛公式, PI(以及右边等式) 也是一个定义域为自然数, 到达域是比例数的函数;
用 ts 的语法写即就是:
left : NaturalNumbe -> RationalNumbe = sigma(n, n => 1/n^2)
right : NaturalNumbe -> RationalNumbe = leibnizFormulaForPI(n)^2/6


如果是 “less extensional” 的等同关系, 我们会要求这两个函数对于任意自然数 n, 返回的比例数都等同.
但这里是 “more extensional” 的等同关系, 我们的要求是, 给定任意一个正实数(虽然我们在这里还没有定义正实数) e, 存在一个自然数 N, 对于任何大于 N 的自然数 n,等式左右的结果的差的绝对值都小于 e. 也就是
abs(left(n), right(n)) < e.

后端还按 4 楼的做.
表格先在前端解析, 给客户一个表格预览, 哪些数据属于表头, 哪些列对应什么收费项让客户填.
选好以后前端传 json 给后台就行了.

@weishao666 图片看起来不是 lsp 的回复报文

有怀孕不用, 要用和制汉语当然是读 にんしん

JDWP

也许同一个域名下的不同结果可以合并起来

你需要一个 ExpressOrderThreeSectionsCodeTaskFactory, 里面 Autowired#IExpressOrderApiService 字段, 它有一个 ExpressOrderThreeSectionsCodeTask createTask(String orderNo, String countryCode, String provinceName, String cityName, String districtName, String address) 方法. 当然这个 factory 也可以用 @\Bean 实现

js 的 Error 对象是有异常栈的, 也许你 ErrorHandler 没有继承 Error?
https://developer.mozilla.org/en-US/docs/web/javascript/reference/global_objects/error

所有发布必须携带版本号, 在仓库里冻结二进制文件和源代码. 不做增量更新, 保证现场代码与源码对应

aop 拿到事务和是否为特定用户, 如果是就 setReadOnly(true)

www.protondb.com 先看后买, 不支持就不玩

@monetto
虽然手边没有 pycharme, 但是我猜它的 suppress warning type hint 是这样实现的
https://www.python.org/dev/peps/pep-0484

Compatibility with other uses of function annotations
A number of existing or potential use cases for function annotations exist, which are incompatible with type hinting. These may confuse a static type checker. However, since type hinting annotations have no runtime behavior (other than evaluation of the annotation expression and storing annotations in the __annotations__ attribute of the function object), this does not make the program incorrect -- it just may cause a type checker to emit spurious warnings or errors.

To mark portions of the program that should not be covered by type hinting, you can use one or more of the following:

a # type: ignore comment;
a @no_type_check decorator on a class or function;
a custom class or function decorator marked with @no_type_check_decorator.
For more details see later sections.

In order for maximal compatibility with offline type checking it may eventually be a good idea to change interfaces that rely on annotations to switch to a different mechanism, for example a decorator. In Python 3.5 there is no pressure to do this, however. See also the longer discussion under Rejected alternatives below.

服务器上打的 jar, 在本地用命令跑起来可以复现这个问题吗? 如果不能复现, 就是环境的问题, 如果能复现, 用 IDEA 给 jar 包打断点.

@monetto alt + enter suppress warring for statement. 这样相当于掩耳盗铃

@aguesuka "运行" 应该是 "复现"

控制变量法. 三个帖子看下来我都不清楚 ic 打的包本地能不能运行. 如果不能运行, 给登录打个端点, 一路跟踪到 ThreadLocal 不就完了.

我也怀疑是编码问题, 不过是把异常 catch 住没日志的那种.

上一个以隔代好著称的叫做 cndota

wolfram alpha