V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  Rang666  ›  全部回复第 2 页 / 共 7 页
回复总数  140
1  2  3  4  5  6  7  
@huzhikuizainali 筛选掉的不一定是有界的,至少有一个是无界的(证明第 4 行)

U 是有界的不能证明 U 外面就是无界或有界的,只能证明 U 内部肯定是有界的,所以必须要有一个更小的区间在 U 里面达成矛盾,前面的证明只是说有这么一个 U 存在,但是不能说明 ab 能精确到 U 内部,所以要构建出来能达到 U 内部的

U 覆盖到 0 那块是说你在 1/x 那个,U 永远有界,但是要在连续的闭区间内,0 不可能在 U 里面,你那个开区间就有可能是无界的,因为不连续了或者没定义了,没法说 U(0,delta)是有界的
你这只是证了 u 在 ab 区间内,不代表有一个更小的 ab 区间能嵌在 u 内,还有就是你能证明无限多个 u 一定能覆盖住最大的 ab 区间吗

对你后面给的那个你 u 有界也没法覆盖到 0 不是
才意识到 mixexplorer 似乎可以
用 tasker 跑,安卓还真没想到有啥批量重命名的
2025 年 1 月 29 日
回复了 bwijn 创建的主题 Python scrapy 的 item 队列把内存挤爆
内存不够就放硬盘存着?
我买 pixel 送的一年,感觉不如 GPT ,主要是上下文不连贯,经常一个对话不会看上面的回答,必须要我自己给指示才行,GPT 没这个问题,别的日常差不多够用了
2024 年 11 月 19 日
回复了 good1uck 创建的主题 推广 [推广]软考刷题神器,想软考的朋友有福了
想起来当年软考用的酷安上的 老子软考,现在应该是没了
2024 年 9 月 14 日
回复了 miaeLKK 创建的主题 App Store 求推荐闹钟 app
sleep as Android
2024 年 9 月 4 日
回复了 webberQian 创建的主题 问与答 有没有手写版或者手写笔推荐的
敲字的话不如用 typst 敲公式敲得快,后面用 pandoc 转转
2024 年 8 月 13 日
回复了 hanggoing 创建的主题 软件 「众筹」想要众筹开发一个 Memos 安卓移动端
那你去 pr 啊...
2024 年 8 月 6 日
回复了 werwer 创建的主题 输入法 初学者应该选择哪种双拼方案?
微软,不需要小鹤那种一个键按两遍比如 aa 这种用的比较多的字;支持设备也多,换电脑好配置
2024 年 8 月 2 日
回复了 FlyingBackscratc 创建的主题 互联网 为什么集美们爱看小红书?我实在是不理解
刷 v2 也差不多
@panlista 这个是盗版
1. 大量的按同一个键很烦的,比如啊,我记得是 aa
2. 配置麻烦,随便用谁的电脑都能很方便地调成微软双拼,调整完再复原,小鹤比不了
2024 年 7 月 9 日
回复了 ggp1ot2 创建的主题 软件 寻找这样一款每日待办提醒的软件
为什么不试试滴答清单
2024 年 7 月 5 日
回复了 HancockXu 创建的主题 问与答 国内有类似于 Scapple 这样的思维导图软件吗?
我才发现 view->show inspector 能改字体,感觉要好不少
2024 年 7 月 4 日
回复了 HancockXu 创建的主题 问与答 国内有类似于 Scapple 这样的思维导图软件吗?
@HancockXu 没有 Mac ,win 上也没个便宜好用的替代,obsidian 跟 excalidraw 都不方便添加节点和画联系
2024 年 7 月 3 日
回复了 HancockXu 创建的主题 问与答 国内有类似于 Scapple 这样的思维导图软件吗?
op 有发现新的工具了吗,不光是中文字体渲染不行,东西多了箭头渲染出来也不太好看,容易被挡住
1  2  3  4  5  6  7  
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   5498 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 46ms · UTC 03:38 · PVG 11:38 · LAX 19:38 · JFK 22:38
♥ Do have faith in what you're doing.