形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
利用无理数压缩数据是否可行？网络上一位长者提出了“完全不依靠人工神经网络与机器学习算法实现人工智能”的理论，大家怎么看？
学了机械如何补救一下？
材料学真的没前途吗？
为什么不把路由器集成在计算机里？
能讲一下超导研究的历史和未来的研究方向吗？
打字速度对编程的影响大吗？
对于一个大一计科新生，有什么代码行数在 500~1000 的程序（C 语言）可以试着写来练手？
大学专业是计算机科学与技术，大一是否需要买电脑？
装满的硬盘中是 1 多还 0 多？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
UC Berkeley 的 MS CS 如何?数论方向的研究生前景如何？
使用 open addressing 的 Hash 表载荷过高为什么会降低 CPU 的缓存命中率？
如何用通俗的语言解释拓扑排序？
为什么一些人很瞧不起 Java？
当今最机智的大学生是不是选学金融+计算机双学位、双方向发展的人？
为什么华尔街的金融岗位相对于硅谷的编程岗位，在进行招聘时，更看重应聘者的大学背景？
大家对计算机专业是鼓励还是劝退？为什么？
如果你有一台超级计算机，你会拿来做什么？
为什么人们会崇拜一个编程语言？
为什么现在有这么多人工智能无用论？
不同x86体系结构下的汇编语言是可以移植的吗？
三进制为何比二进制更好？
如果比尔盖茨生在中国，仅以在微软工作期间在工程方面的贡献能评得上工程院院士吗？
211化学大四本科生想考研转金融或者计算机，金融零基础，计算机只学过C语言。正在纠结，希望给点建议？
深度学习到底是「实验科学」还是「理论科学」？能否称为「算法」？
程序（软件）打开文件的工作原理？
如何评价清华大学刘知远老师？
从语言学的角度，为什么拉丁字母比汉字更适合编程语言？
如何优雅地利用c++编程从1乘到20？
相较于有限状态自动机，有什么东西是只有无限状态自动机才能做的？
学编译原理有什么好书？
在人工智能时代，孩子学编程有什么好处？
三进制为何比二进制更好？
计算机专业学生为什么要学《大学物理》，学来干什么？
研究古希腊史如何入门?
世界顶级开源软件工程师，他们如何谋利？
人工智能是当前最好的计算机专业吗?
计算机学术界是不是喜欢发明一些没什么用的概念?
什么是动态规划（Dynamic Programming）？动态规划的意义是什么？