形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
香农是如何想到信息论的？如何看待 CMU 新开设的 AI 专业？
为什么推荐系统要推荐用户喜欢的东西？
虚拟地址、线性地址、物理地址之间是如何转换的？
人工智能是不是走错了方向？
为什么推荐系统要推荐用户喜欢的东西？
怎么解释「正定矩阵」？
为什么身边的人都想学计算机，计算机真的有那么好吗？
如何看待 Google 2004 年在硅谷公路旁一巨型广告牌上贴出的那道数学题用于招聘？
2022 年最适合写业务代码的编程语言是哪个？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
现在填报计算机专业是否是一个正确的选择？为什么c/cpp语言的函数好像没有按照驼峰命名法呢？
什么是「宏」？ 为什么以前计算机老师说不要用 word 中的「宏」？
如何看待明尼苏达大学因插入实验性漏洞，被禁止贡献 Linux 内核代码？
为什么不把路由器集成在计算机里？
为什么很多计算机系的学生一点不会电脑的基本操作？
有哪些「上帝算法」？
为什么编程语言中没有一种 if，来判断大概率为真（或假）的情况，来提升 CPU 分支预测的速度呢？
形式化方法的研究方向到底是干什么的？
如何用通俗的语言解释拓扑排序？
在北美（加拿大，美国）IT程序员是青春饭么？
开放科学是什么？将来会有怎样的发展？
量子计算机的工作原理如何解释？
和亲戚借30w去美国留学合适吗？
如何看待 2019 年 11 月 26 日 IPV4 地址耗尽？会产生什么样的影响？
如何看待 2022 年秋招算法岗竞争如此激烈？
知乎上，女性是否较少回答技术/学术类问题，即使她从事的是相关行业？
什么叫做学计算机有天赋？
不同x86体系结构下的汇编语言是可以移植的吗？
形式化方法的研究方向到底是干什么的？
有哪些值得一看的数学家、物理学家或者计算机科学家的传记？
科研是大国和大经济体的游戏吗？对于小国或者小经济体有何用？
CPU 的指令集存放在什么地方？
深度学习到底是「实验科学」还是「理论科学」？能否称为「算法」？
当前人工智能特别是深度学习最前沿的研究方向是什么？
本科，选港大还是上交？
熊猫烧香病毒的技术性有多高？
如果计算机语言是中国人发明的，hello world 会变成什么？
有哪些你看了以后大呼过瘾的编程书？
如果世界是虚拟的，那么这个世界是“并行”的还是“并发”的?