形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
为什么Windows更新需要多次重启？而Linux不需要？你们说的ABI，Application Binary Interface到底是什么东西？
生物信息博士如果刷完leetcode，计算机水平够用吗？
有哪些你看了以后大呼过瘾的编程书？
如果比尔盖茨生在中国，仅以在微软工作期间在工程方面的贡献能评得上工程院院士吗？
你遇到过哪些高质量的 C++ 面试？
文件体积达到 1 GB 甚至 1 TB 的图片会呈现何种内容？
面对大数据杀熟、算法困住骑手，民主促进会中央建议推行算法开发主体责任制，你怎么看？
你遇到过哪些高质量的 C++ 面试？
马上计算机研一，想问一下机器学习、深度学习…大家都是怎么入门的？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
为什么计算机无法精确计算小数？假设中国人最先开发电脑和设计程序语言，那么各种程序语言会使用汉字吗？
「计算」会改变信息量么？
自己拍摄、剪辑做美食自媒体，想让大家看看我的作品有什么问题？
59款中国 APP 在印度被禁用，会对行业带来哪些影响，互联网公司应当如何应对？
为什么好多人说大牛都玩Unix/Linux？
为什么国外大学计算机系本科生培养如此强调函数式编程？
有哪些你看了以后大呼过瘾的编程书？
计算机科学领域有什么笑话？
C语言 乘以0.01快？还是除以100快？
如何看待清华大学 2018 年转系申请结果？
欧洲国家是否有墙？
高性能计算中心对建设世界一流大学来说重要吗？
机器学习自嘲的炼丹和化学材料自嘲的炒菜有什么本质上的区别？
中科大博士编写游戏外挂被抓，事情真相是怎样的？
「应试教育」抑制了学生的创造力与想象力吗？是如何做到的？
为什么char *a="xxxxx", *b="xxx"; strcpy(a, b);的用法不行？
如何看待 2021 年图灵奖授予美国计算机科学家 Jack J. Dongarra?
读 CS PhD 之前没有工业界经历真的没关系吗？
电脑发展史上有哪些伟大的思想和技术？
学习能力强但研究能力弱是什么体验？
想裸写编译器，除了编译原理外还有那些资料可以参考？应该从什么开始写起？（用c/c++）？
为什么计算机采用补码而不是原码或反码？
在计算资源有限的情况下，有什么深度学习的选题可以推荐/避免？
计算机基础知识对程序员来说有多重要？
为什么人工智能用 Python？
中央处理器（CPU）有没有假货？
如何看待方舟编译器于 2019 年 8 月 31 日开源？
2022 年最适合写业务代码的编程语言是哪个？
IOI国际金牌是什么水平，在此之上更高的水平是什么样的？