形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
面向对象编程的弊端是什么？计算机专业的学生怎样练习编程才能把编程学精通啊？
国内研究生不小心跟了一个水货老师是什么样的体验？
壁虎是如何吸附在光滑的墙壁上的？
为什么在项目中要尽量避免使用浮点数，不使用浮点数，那该如何计算浮点数？
数论方向的研究生前景如何？
为什么只听说 Windows 会有病毒，苹果 Mac 没有？
计算机专业到底是不是“围城”？
大佬们，我应该选啥研究方向？
不同x86体系结构下的汇编语言是可以移植的吗？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
在苏联时期苏联人用什么计算机？高中就已经写过 10w 行代码的人都是什么人？
为什么会有 U 盘独个文件不可以超过 4GB 这种设定？
数组最小最大数的最优算法是什么？
为什么中国自主研发CPU之路十分艰难？
如何理解动态规划？
IT 公司招聘研发人员时是否很少问编译原理、离散数学等理论内容而更偏向具体技能，为什么？
去互联网公司/软件公司(技术岗) 实习要注意哪些问题？
对于一个大一计科新生，有什么代码行数在 500~1000 的程序（C 语言）可以试着写来练手？
数论方向的研究生前景如何？
不小心删库是一种怎样的体验？
偏序性质的有向无环图的最大独立集如何求解?
CS专业工资那么高为什么大家不都去学CS？
在上学的同时自学完这些物理、数学、计算机技术、哲学等内容，大概需要多长时间？
十进制有什么优点？为什么世界各地的数学不约而同的选择了十进制？
计算机专业未来就业方向有哪些？
开发人员如何构建自己的学习笔记系统？
如果计算机语言是中国人发明的，hello world 会变成什么？
为什么程序比较难写、bug 比较难调呢？
「贪心算法」的算法思路是什么，它存在什么缺陷？
怎样算是「风骚」的代码？
「贝塞尔曲线」有哪些作用和特点，该如何正确使用？
如何看待郑州大学招聘时，将AAAI, CVPR等计算机top会议与中科院四区期刊视为同等价值？
如何区分 Intelligence 表示智能还是情报？
如何看待 H1B 已经禁止 programmer 申请？
如何向完全不懂编程的小伙伴解释「程序写死」？
数组最小最大数的最优算法是什么？
是不是机器学习的框架都偏向 Python ？如果是，为什么？
如何看待微博女权发起「拒绝男程序员」活动？
脑机接口和成熟的基因编辑是否会改变世界?