形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
在湾区工作一年大概能攒下来多少钱？当人工智能复杂到超出任何人类的理解能力时应该如何管理？
如何看待网传字节跳动或分拆 TikTok 为美国公司，面对「海外封杀」这会是一种有效的措施吗？
国内的本科 CS 教学和国外相比有什么优劣？
如何用通俗的语言解释拓扑排序？
现在填报计算机专业是否是一个正确的选择？
Node.js是用来做什么的？
为什么我写代码时总是手滑把main打成mian？
有哪些看起来很简单证明起来却很难的问题？
在 Minecraft 中是否能搭建出足够运行 Minecraft 游戏本身的计算机？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如果世界上有两个相同的媒体访问控制（MAC）地址会发生什么事？做一个不同编程语言之间的converter有没有意义？
编程的时候 命名 方法或变量 词穷了怎么办？
民科是不是很少拿计算机科学开涮？为什么？
有哪些「上帝算法」？
如何看待 H1B 已经禁止 programmer 申请？
如何评价深度学习之父Hinton发布的Capsule论文？
为什么研究生阶段有一大堆 EE 转 CS 的但却很少听说有 CS 转 EE 的？
机器学习到底是什么，如何使用这项技术？
为什么现代电脑游戏无法对cpu的多核充分利用?
谁能帮我讲一下计算机的「前世今生」？
微软声明「因超出合理控制范围的情况而导致无法履行或延迟履行其义务，不承担任何责任或义务」，意味着什么？
请问当下科研工作者真的该一味追逐「风口」么？
计算机领域有哪些「将错就错」被沿用至今？
为什么不把路由器集成在计算机里？
python是用C实现的，Java是用C++实现的，那为什么不直接用C或C++呢？
会多门编程语言的你，最推荐哪3-5门语言？
壁虎是如何吸附在光滑的墙壁上的？
为什么华尔街的金融岗位相对于硅谷的编程岗位，在进行招聘时，更看重应聘者的大学背景？
本科俄亥俄州立大学和马里兰大学选哪个好？
为什么不把路由器集成在计算机里？
如何看待这份2018互联网校招高薪清单？
请问进大学前后自学计算机有哪些书目或方法？
如果计算机语言是中国人发明的，hello world 会变成什么？
HTTP是一个无状态的协议。这句话里的无状态是什么意思？
人工智能是当前最好的计算机专业吗?
在线教育平台上有哪些让你相见恨晚的计算机或互联网课程？
在理想状态下，CPU需不需要工作在一个时钟下？
光刻机，计算机半导体硬件研发和制造，需要那些学科?
为什么说 MD5 是不可逆的？