westtide 最近的时间轴更新 westtide 最近的时间轴更新 |
westtideV2EX 第 374413 号会员，加入于 2019-01-01 15:03:58 +08:00今日活跃度排名 17987 |
| 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 最近回复了
113 天前 回复了 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 ，大概同理？
2023-03-04 13:13:34 +08:00 回复了 Mark24 创建的主题 › 问与答 › 到哪里去看一些计算机科学的前沿的研究、论文等信息？ |
CACM 和 JACM 吧，理论计算机方向的文章偏多
2023-02-23 09:11:43 +08:00 回复了 FaiChou 创建的主题 › macOS › macOS 下将视频配文字, 有什么简单的工具可以做? |
剪映很简单
2023-02-17 10:54:34 +08:00 回复了 objectxiang 创建的主题 › macOS › [送码][macOS] Barbee - 拯救你的菜单栏空间（刘海屏快来！ |
dG9jb2tlb0BvdXRsb29rLmNvbQ==
谢谢！
谢谢！
2022-12-30 14:47:42 +08:00 回复了 fredhwang 创建的主题 › 问与答 › 阿兹夫定片，网上一查，不敢吃 |
为啥要问程序员们医学问题 hhhh 术业有专攻，去丁香医生上面挂一个呼吸科专科医生问
2022-12-23 18:53:03 +08:00 回复了 meisen 创建的主题 › 程序员 › 发帖感谢 V 友免费送我一盒布洛芬 |
好人一生平安
2022-12-23 12:43:33 +08:00 回复了 Jeff5317 创建的主题 › MacBook Pro › 求大家给推荐个好用的键盘 |
罗技的 MX Keys ，一款我觉得很好用的薄膜键盘。另外就是宁芝的静电容键盘
2022-12-18 23:04:12 +08:00 回复了 LZWDRWEB 创建的主题 › WATCH › Watch 的血氧对新冠来说有用吗？ |
@corot2a 正常值需要>=95%,兄弟你还好吗。。。
Select Language