形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
Linus 真心诚意地夸过哪些人或技术？本科俄亥俄州立大学和马里兰大学选哪个好？
for 循环的 "for" 是什么意思？为什么用这个词？
是不是机器学习的框架都偏向 Python ？如果是，为什么？
超越人类的人工智能 (AI) 是否能够实现？
编程的时候 命名 方法或变量 词穷了怎么办？
有哪些算法惊艳到了你？
大家对计算机专业是鼓励还是劝退？为什么？
AI 20年内将会给我们的生活带来什么改变？
为什么1KB等于1024B？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如何看待科学网发布文章称「我国数学家证明 NP=P」，是真的吗？如果是，会带来怎样的影响?迄今为止押宝多核的策略几乎都失败了,为什么开发者如此抵触多核?
linux 在终端打开程序后关闭终端，程序也跟着关闭了怎么办？
请问进大学前后自学计算机有哪些书目或方法？
清华大学计算机专业本科这位在「自己写的 CPU 上运行自己写的操作系统」的同学是什么水平？
计算机专业学生为什么要学《大学物理》，学来干什么？
大牛Bengio 团队最新的研究和我自己之前的研究成果重复了，应该怎么办？
为什么32位机之后直接发展64位机，而没有33位机或者48位机？
计算机考研哪些学校性价比比较高？
自动化专业就业方向是什么，会变成程序猿吗？
数据结构与算法中，树一般会应用在哪些方面？为什么？
计算机是如何启动的？
灭霸使用了什么样的随机数生成方法来保证公平？
计算机学术界是不是喜欢发明一些没什么用的概念?
EDA软件(与IC设计相关的如ISE.etc)的发展趋势?
如何看待复旦大学重点实验室多篇论文被质疑抄袭美国教授?
什么是递归？
大二学生，计算机科学与技术专业，学到数据结构和组原有点心态爆炸了，看不懂敲不出代码，还有救吗 ？
路由跟踪为什么会有两个局域网？
装满的硬盘中是 1 多还 0 多？
C#程序如何调用Python程序？
在 Minecraft 中是否能搭建出足够运行 Minecraft 游戏本身的计算机？
你认识的日本人都有什么互联网痛点功能得不到满足？日本社会特有的或者中美很流行但日本没有
数学对计算机专业重要吗？
为什么说「动态类型一时爽，代码重构火葬场」？
Java到底有多难？
电脑病毒「熊猫烧香」当年有多凶残？
工程上存在那么多不确定情况，为什么计算机不能利用它们产生真随机数，而只能根据逻辑产生伪随机数？
很厉害的程序员都读过CSAPP,SICP,操作系统,算法导论,编译原理这些书吗?
带一堆指针的链式结构怎么写才好？