形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
有没有一段代码，让你为人类的智慧击节叫好？是不是机器学习的框架都偏向 Python ？如果是，为什么？
计算机能不能真正意义上存储一个无理数？
如果“P=NP”得到证明，意味着什么？
量子计算机的工作原理如何解释？
为什么计算机科学没有系统的学派？
你所学的研究生专业叫什么名字？
计算机专业到底是不是“围城”？
为什么在项目中要尽量避免使用浮点数，不使用浮点数，那该如何计算浮点数？
什么是张量 (tensor)？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如何看待Windows系统性能不及国产麒麟操作系统？AI 20年内将会给我们的生活带来什么改变？
有哪些「上帝算法」？
在计算机中utility应该怎么翻译?
在苏联时期苏联人用什么计算机？
为什么很多理工科出身的优秀的学生最终选择做咨询或金融？工作几年后对当时的选择是否感到一丝遗憾？
为什么很多程序无法计算负数的立方根？
为什么计算机科学专业背景的人喜欢黑机器学习？
你的程序员学习之路是怎样的？你现在对于编程有哪些感想？
计算机专业未来就业方向有哪些？
0.0.0.0和255.255.255.255这两个IP地址到底有啥用？
编程时怎么把函数当做变量使用？
为什么图片反复压缩后普遍会变绿，而不是其他颜色？
计算机专业如果想去从事学术，应具备哪些基础知识？
C/Ｃ++ 标准库为什么不支持直接删除一个文件中的部分内容？
如何评价中科大实现了媲美人脑能效的类脑突触原型器件？
因为保研不能接受税后50w人民币年薪的海外工作offer，该如何平复心情？
当今社会真的需要电脑吗?
「计算」会改变信息量么？
为什么人们会崇拜一个编程语言？
为什么人会有不吃东西会死这个概念？这是上帝给我们订的预设条件吗？
如何评价 MLSys 这个会议？
用数据线连接手机和电脑后，可以在手机上访问电脑硬盘中的文件吗?
今年刚上岸，跟一个老师学习了一段时间后，可以换老师吗？
形式化方法的研究方向到底是干什么的？
非科班出身，如何成为程序员？
计算机科学中有哪些典型的练手项目？
在上学的同时自学完这些物理、数学、计算机技术、哲学等内容，大概需要多长时间？
如何评价王垠《计算机科学入门班报名》收费12000？
为什么说人类无法组装出一个细胞？