huzhikuizainali

@dalovelanlan 不知道这样会不会有问题。你看我主贴末尾的链接了吧？看起来并不简单啊。

@dalovelanlan 谢谢你的推荐。我看了一下这个插件的介绍。似乎是用来在 vscode 中“安装” .NET Runtime 的插件。我不知道它是否用来处理升级？因为我看到他的介绍中提到“如果您已经安装了一个您想要使用的.NET 版本，请参阅下面的故障排除部分。”

不知道你是否用这个插件做过.NET 的升级？如果有过尝试。不知道是否有一些注意事项可以分享？

@HangoX intelij 是默认就带此功能？还是要单独安装(或付费安装)插件才能实现？截图中的 UML 是人工绘制？还是代码自动生成的？

@HangoX 请问是哪个 idea ？或者哪个插件？

@Alex222222222222
一开始我以为我懂了。看了你最新的回复“这三个东西是一个意思”，我又晕了。

如果例 8 中的任意 c 指的是某一个 c ，而不是 forall 。或者说不是数分当中常用的ε的意思。那么我的问题就消失了。gpt 给出的证明也是合理的。

但如果例 8 当中的 任意 c ， “任意”的含义=for arbitrary= for any=for all 既“这三个东西是一个意思”。那么问题就还是存在。

@Alex222222222222
谢谢，我有点没看懂你的例子。
你列出的三个例子含义是不同的吧？
“for arbitrary c…… ”更符合例 8 当中 “所谓任意”c 的含义吧？ 也就是 “某一个 c” ，而非 “所有”c ，我的理解正确么？

@Alex222222222222
谢谢你的讲解。请问如果这道题题干翻译成英文，“对任意 c”一般用哪个英文单词？也就是表达某一个 c 的意思。

@cosette 谢谢回复。那在这个思考过程中，对于那些第一次投出非 5 非 7 的情况（ 26/36 ） 如何处理？如何看待？

@leoleozhu 是的。如果投出的数字是非 7 非 5 就继续。但是 5 必须在 7 前面投出来才满足“事件”。其实前面详细的数学推导已经使我知道答案了。但是书中给出的这种“简易思考方式”我有点不太理解。