形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
哪些开发会用到微积分、离散数学、线性代数、概率论的知识？你是怎样申请到 PhD 的呢？
为什么很多人觉得计算机专业的会修电脑？
在计算机科学领域，为何不使用拼音代替英文做为关键字?
名校计算机专业出来的只能当苦逼的程序员吗?
IT 公司招聘研发人员时是否很少问编译原理、离散数学等理论内容而更偏向具体技能，为什么？
如何看待MIT教授文小刚 "matter = quantum information"的观点？
数论方向的研究生前景如何？
中国的超级计算机都在做哪些工作？
有哪些「上帝算法」？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如何评价Remove China Apps在印度被追捧？随着各个领域越来越多的人都开始学习编程，计算机专业的人优势在哪里?
按照这个推荐的顺序学下来计算机水平能达到什么程度？
如果一个行业大佬向你说了一件幼稚的事情，你会觉得这话是另有玄机，还是大佬自己就没整明白呢？
学了机械如何补救一下？
为什么计算机科学中的神经网络模型得出来的结果被认为是科学的，而中医诊断却不被认为是科学的？
为什么程序比较难写、bug 比较难调呢？
如何用通俗的语言解释拓扑排序？
电脑发展史上有哪些伟大的思想和技术？
程序员不需要知道太多数学，你认同吗？
十进制有什么优点？为什么世界各地的数学不约而同的选择了十进制？
最数学的计算机科学方向有哪些？
虚拟地址、线性地址、物理地址之间是如何转换的？
编程入门门槛真的很低吗？
有没有一段代码，让你为人类的智慧击节叫好？
路由跟踪为什么会有两个局域网？
计算机能不能真正意义上存储一个无理数？
计算机能不能真正意义上存储一个无理数？
计算机科学中有哪些典型的练手项目？
电脑发展史上有哪些伟大的思想和技术？
为什么最后 1% 的进度条很难加载？
怎样算是「风骚」的代码？
为什么在计算机改变了人类命运的今天，冯·诺依曼的知名度始终低于爱因斯坦？
灭霸使用了什么样的随机数生成方法来保证公平？
360和火绒你们选哪一个？
如何评价哈工大的左旺孟老师？
你写过什么有趣的程序？
如果世界上有两个相同的媒体访问控制（MAC）地址会发生什么事？
人类的哪些科技已经接近瓶颈，很久没有重大突破了？
中国科学家做出何种贡献可以毫无争议地获得诺贝尔物理奖？