登录注册

形式化

1 引用 • 303 浏览

参与讨论

关注

关注分享

默认热议好评优选最近回帖关注者查看所有标签

千千插件的由来以及 2026 年的计划
为什么要做千千向上（插件）千千向上插件使命：帮助千千万万的人，能够天天向上，追求幸福，实现梦想。千千插件的核心价值：帮助想要提升自己的用户（非全部用户），包括思维，心灵，行动，时间管理，健康和 AI 等方面全方位提升。唯物辩证法告诉我们：如果一件事你之所以实现不了是因为你条件不够，条件够了就满足了。事物在一定条件 ..

37 3 小时前
思源笔记 v3.5.0 发布，提示块
概述提示块现已发布！请注意：更新后不支持回退：使用新版创建了包含提示块的文档，用旧版打开会导致提示块丢失该版本会批量更新所有文档数据的版本号，数据同步可能需要较长时间，请耐心等待变更记录以下是此版本中的详细变更。引入特性 [链接] 改进功能 [链接] [链接] [链接] [链接] [链接] [链接] 旧版 ..

2.1K 6 天前
软件工程形式化方法初学体会
最近在上一门叫做新技术讲座的课，我估计好多同学是看到讲座这两个字感觉这课会很水才选的，但实际上这门课讲的内容是非常硬核的软件工程形式化方法，而且授课老师也是国内第一批研究软件工程形式化方法的教授，现任日本埼玉大学教授，且上课非常认真负责，每节课都有课堂练习。不过了解了软件工程形式化的概念后，发现这个研究方向真的了不得， ..

471 6 年前