westtide 最近的时间轴更新 westtide 最近的时间轴更新 |
westtideV2EX 第 374413 号会员，加入于 2019-01-01 15:03:58 +08:00今日活跃度排名 4167 |
| iOS 18.5 可以连接 watchOS 26 吗？ iPhone • westtide • 2 小时 52 分钟前 • 最后回复来自 westtide | 10 |
| macOS Ventura 「信息」应用支持选中多条信息了 Apple • westtide • 2022-06-08 11:12:37 AM • 最后回复来自 justNoBody | 6 |
| macOS 11 beta8 睡眠崩溃 macOS • westtide • 2020-09-29 13:56:23 PM • 最后回复来自 westtide | 10 |
westtide 最近回复了
2 小时 52 分钟前 回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？ |
@mirtest 等手表电池衰减到 80%以下，一次性返厂换电池降级了
2 小时 53 分钟前 回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？ |
@sexyback 返厂降级吧🤣
21 小时 30 分钟前 回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？ |
@mirtest 手机是还有本地备份啦，就是 watch 太难搞了
21 小时 31 分钟前 回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？ |
@whorusq iOS 26 的设计个人感觉就是有点散，找功能不方便，而且刚需的隔空投送功能总是动不动断流。。。。。。绷不住了
1 天前 回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？ |
@processzzp 我试了一下确实不可以连接 watchOS 26 ，提示需要更高版本的系统😭 准备手机返厂降级了。
59 天前 回复了 xiaopanzi 创建的主题 › 程序员 › 国内有哪些大学讲授 Lisp/Scheme/Racket？ |
你是想学函数式编程吗？在学界我们主要用它写定理证明求解器、模型检验工具，例如 https://github.com/uuverifiers/eldarica 和 HOL ，华东师范大学的邓玉欣有详细介绍函数式编程的讲义和课程。
我是过敏性鼻炎+急性鼻窦炎，医生给的处方是：全身抗组胺药（盐酸左西替利嗪）+白三烯受体拮抗剂（孟鲁司特钠片）+局部糖皮质激素鼻喷（糠酸莫米松鼻喷）+祛痰化痰药（桉柠蒎肠溶胶囊）+每天清洗鼻腔（ 0.9%生理盐水喷雾）。以上我联用 4 天之后症状得到了很大缓解。光吃一种抗过敏药可能是不够的，针对眼睛也有滴眼液，你可以再咨询一下医生进行系统地用药。
2024-07-31 16:00:46 +08:00 回复了 bkzly83851 创建的主题 › macOS › 更新了 mac developer beta |
@snsn 一样的问题，看 H265 的视频一直遇到。换到 Movist Pro 也有同样的情况
2023-06-06 09:48:12 +08:00 回复了 vhvlqn 创建的主题 › Apple › iOS17 与 iPadOS17 测试版 bug 汇总 |
@QlanQ 企业微信闪退，微信正常，macOS 变下班 OS 了🤣
2023-03-19 16:21:17 +08:00 回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息 |
练习 3.3：解释如何用有限自动机表示正则类型，使得如果它们的自动机接受相同的语言，则两个类型相等。展示一个代表类型μt.( int,t)→int 的自动机。
《计算理论导引》里面说，finite automata 能接收的字符串组成的语言就是 regular language ，我推测 regular type 就是 regular language ，大概同理？
《计算理论导引》里面说，finite automata 能接收的字符串组成的语言就是 regular language ，我推测 regular type 就是 regular language ，大概同理？
Select Language