形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
为什么我们总能听到计算机图形学，而很少听到计算机音频学之类的？AI 20年内将会给我们的生活带来什么改变？
你心中希望的本科CS教育应该是怎样的?
计算机是如何计算逆矩阵的？
如何看待 2022 年秋招算法岗竞争如此激烈？
Yann LeCun、Geoffrey Hinton或Yoshua Bengio能得图灵奖吗？
对于少年儿童 7-8岁，如何开始计算机科学教育启蒙(Computer Science)?
如何评价中国科学院大学硕士生季子越在社交媒体发表恨国精日言论？
如何看待 2019 年 11 月 26 日 IPV4 地址耗尽？会产生什么样的影响？
计算复杂性理论是否具有足够的现实意义，如今有哪些比较「现实」的应用？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
计算机领域有哪些经典的典故或笑话？AlphaGo 和人类棋手比起来谁消耗的资源更多？
差分隐私中敏感度如何计算？
人工智能是不是走错了方向？
对于少年儿童 7-8岁，如何开始计算机科学教育启蒙(Computer Science)?
指向指针的指针的指针的指针是什么？指向指针的指针的指针的指针是什么？
东京大学情报理工iip申请经验？是否有希望？
你写过哪些比较酷的十行以内的 Matlab 代码？
大佬们，我应该选啥研究方向？
电脑病毒「熊猫烧香」当年有多凶残？
为什么IT书籍的翻译质量相比其他尤其被诟病？
电子（EE）专业犹豫要不要研究生转计算机专业（CS）？
如果把 AES、DES 等各种加密算法排列组合，然后对一明文进行逐一加密，这样的组合加密算法强度大吗？
近几年有哪些关于机器学习中隐私（Privacy）和安全（Security）相关的研究值得关注?
为什么微软不把 Windows 下的 API 做得更「安全」些？
量子计算机的出现会给实际生活带来怎样的改变？
电脑病毒「熊猫烧香」当年有多凶残？
编程语言发展史上有哪些趣事？
如何看待北大古生物「一个人的毕业照」主人公转行计算机？「冷转码」（冷门专业转码农）现象反映出哪些问题？
为什么只有计算机专业非常看重顶会，而其他专业对顶会并不认可？
《黑客帝国》中的先知是人还是程序？
在计算资源有限的情况下，有什么深度学习的选题可以推荐/避免？
如果有人想走遍中国所有的省级行政区（含港澳台），总路程最小可以是多长？
如果比尔盖茨生在中国，仅以在微软工作期间在工程方面的贡献能评得上工程院院士吗？
MRAM、ReRAM和FRAM哪个更好？
为什么手机最后 1% 的电量有时很耐用？
为什么程序比较难写、bug 比较难调呢？
人工智能是当前最好的计算机专业吗?
编程语言发展史上有哪些趣事？
大佬们，我应该选啥研究方向？