形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
一台 400W 的电脑在一个 15m² 的密闭房间内全功率工作，会对室温造成怎样的影响？C语言能用指针修改其他程序的地址的值吗？
计算机专业学生为什么要学《大学物理》，学来干什么？
如何看待 2020 年 1 月 15 日国产统一操作系统 UOS 20 正式版发布？它能普及开来吗？
非高中oi选手在清华计算机系就读是什么体验？
对自己深度学习方向的论文有idea，可是工程实践能力跟不上，实验搞不定怎么办？
为什么有人会排斥用苹果电脑？
Java到底有多难？
in memory computing 存内计算是学术圈自娱自乐还是真有价值？
当人工智能复杂到超出任何人类的理解能力时应该如何管理？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如何评价哈工大的左旺孟老师？要想完全放弃Windows操作系统而使用 Linux需要多少勇气？
有哪些算法惊艳到了你？
对神经网络某一层做了小改进，效果却提升显著，可以发论文吗？
计算机存储浮点数的时候，为什么不使用十进制来存储呢？
如何看待「机器学习不需要数学，很多算法封装好了，调个包就行」这种说法？
非科班出身，如何成为程序员？
自动化专业就业方向是什么，会变成程序猿吗？
为什么CPU主频一般都比FPGA快，但是却说FPGA可以帮助CPU加速？
python是用C实现的，Java是用C++实现的，那为什么不直接用C或C++呢？
如果用计算机按照物理模型完模拟一个小型世界，是否需要模拟人的眼睛呢？
C 语言自带函数返回值为指针类型的数组为什么不需要释放内存?
如何评价王垠《计算机科学入门班报名》收费12000？
大学读计算机相关专业，可以买 MacBook 吗?
大家对计算机专业是鼓励还是劝退？为什么？
人类大脑的聪慧程度以 IQ 为标准，那么人工智能的水平用什么指标来衡量呢？
写一个操作系统内核有多难？大概的内容、步骤是什么？
为什么手机最后 1% 的电量有时很耐用？
要设计一段C++程序将这组数按要求重新排序时，有哪些好的算法？
机器学习到底是什么，如何使用这项技术？
为什么 AI 发展到今天，围棋能下过李世石、柯洁，仍不能完成帮人类洗衣物、做饭这种简单的事？
准大学生在知乎上看大学专业时，发现所有专业都存在大量劝退，如何在其中筛选出哪些是有用的，哪些是牢骚？
非计算机专业学生怎么走上计算机技术之路？
我们高中数学为什么不重视算法？高中学的数列，三角函数，求导，圆锥曲线相关问题的解法和算法有什么关系？
计算机学术界是不是喜欢发明一些没什么用的概念?
为什么说 MD5 是不可逆的？
18考生，考上同济大学车辆工程专业，但内心喜欢计算机专业，请问有必要转专业吗（车辆是同济王牌之一）?
本科，选港大还是上交？
中科大博士编写游戏外挂被抓，事情真相是怎样的？
如何用通俗的语言解释拓扑排序？