V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  yangff  ›  全部回复第 29 页 / 共 129 页
回复总数  2574
1 ... 25  26  27  28  29  30  31  32  33  34 ... 129  
2017-03-12 11:50:25 +08:00
回复了 darouwan 创建的主题 Android 为何国内手机用户对虚拟按键和背面指纹有那么大的敌意
如果一定要说误触,那也是因为手机边框变窄之后,抓着手机的时候手掌碰到两侧边框导致拖拽无法正确识别,讲道理这是 ROM 的问题,又不是不能改
2017-03-12 11:49:03 +08:00
回复了 darouwan 创建的主题 Android 为何国内手机用户对虚拟按键和背面指纹有那么大的敌意
说误触的,我从丧门星用到猴米,从来没误触过……

虚拟键的位置太高按不到,再问自杀
2017-03-11 22:27:35 +08:00
回复了 Aspx 创建的主题 问与答 各位 dalao 20 块买个 Google Voice 号码值不值
@cinhoo 加号就是 00 啊……
主要问题是只有开着环聊才能接到电话
2017-03-11 20:59:02 +08:00
回复了 Totoria 创建的主题 硬件 GTX 1080Ti 到了 付感想和测试
@WildCat 嘻嘻,还好没听坛友们说的一步到位 1080
2017-03-11 20:14:30 +08:00
回复了 Totoria 创建的主题 硬件 GTX 1080Ti 到了 付感想和测试
交火 交火 交火 交火
加钱 加钱 加钱 加钱

我替各位回复了
@ltux 你不会换个方向吗……
2017-03-10 00:35:00 +08:00
回复了 Kilerd 创建的主题 问与答 Linux 虚拟机里面用显卡的性能可以达到多少
@Tink 不支持 N 卡的
2017-03-08 12:09:41 +08:00
回复了 syncher 创建的主题 问与答 怎样找"循环不变式"?
@syncher
2017-03-07 23:37:56 +08:00
回复了 syncher 创建的主题 问与答 怎样找"循环不变式"?
是这样的,现在我要证明`max = A[1] for i = 1 to A.length if A[i] > max max = A[i]`这个程序能给出 A[]这个数组的最大值,我们没办法一条一条地考察这个程序,因为循环的存在,他可能被执行任意多次

怎么做,一个直观的想法就是,我要有一个特性能得到最后的正确性,并且这个特性总成立。

在这里就是

“对于一个有限长度的 n (循环终止时), max 是 A[1..n]中最大的”

那么对于这段程序,用归纳法,显然 n=1 的正确性

若假设 n=k 正确,当 n=k+1 时,我们首先有 max 是 a[1..k]的最大值,又由` A[i] > max max = A[i] `, 使之成为 A[1..k+1]的最大值

于是就可归纳得到对于任意长度(终止的 n ) max ,也就是 max 是 A[1..n]中最大的得证

从而证明了循环的正确性
2017-03-07 23:30:18 +08:00
回复了 syncher 创建的主题 问与答 怎样找"循环不变式"?
max 是 a[1..i]的最大值
2017-03-07 11:01:59 +08:00
回复了 bojackhorseman 创建的主题 生活 宿舍有人打鼾咋整
2017-03-04 19:18:40 +08:00
回复了 zgqq 创建的主题 Linux 有没有大佬用 archlinux 工作的?
= =
拿出一年前的 VM 镜像滚了一次,一点事都没有……
2017-02-16 06:58:26 +08:00
回复了 kevin1852 创建的主题 硬件 内存已经涨疯了
汇率个屁,汇率 6 到 7 内存涨了 100%
2017-02-16 05:25:38 +08:00
回复了 ixbozai 创建的主题 程序员 这种情况应该 hook 哪个 WINAPI???
也有可能是环境变量吧
2017-02-09 18:59:29 +08:00
回复了 DlYgod 创建的主题 分享创造 女朋友的微博情绪监控
"以讯飞分词接口和大连理工的情感词汇本体库为基础,分析一句话的情绪值"

https://api.prprpr.me/emotion/?text=%E6%88%91%E4%BB%8A%E5%A4%A9%E5%BE%88%E5%BC%80%E5%BF%83

{"code":1,"emotion":5,"words":["我","今天","很","开心"]}

https://api.prprpr.me/emotion/?text=%E6%88%91%E4%BB%8A%E5%A4%A9%E5%BE%88%E4%B8%8D%E5%BC%80%E5%BF%83

{"code":1,"emotion":5,"words":["我","今天","很","不","开心"]}
2017-02-09 14:53:05 +08:00
回复了 phlips5437 创建的主题 问与答 求助长期使用 nuc 的 v 友,各位的 nuc 上 vt 能否有效开启
装了什么奇怪的东西?(比如 360
2017-02-07 23:51:44 +08:00
回复了 yuanhua123 创建的主题 问与答 人民币求大佬写个 Serv-U 搭建 FTP 登录界面
2017-02-07 23:10:01 +08:00
回复了 yuanhua123 创建的主题 问与答 人民币求大佬写个 Serv-U 搭建 FTP 登录界面
serv-u 不是自带吗。。
1 ... 25  26  27  28  29  30  31  32  33  34 ... 129  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2426 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 46ms · UTC 06:54 · PVG 14:54 · LAX 23:54 · JFK 02:54
Developed with CodeLauncher
♥ Do have faith in what you're doing.