形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
C++中 union 储存的 char 成员能否通过 int 成员读取？为什么现在有这么多人工智能无用论？
你认识的日本人都有什么互联网痛点功能得不到满足？日本社会特有的或者中美很流行但日本没有
请教大家，我明年2022年8月份去美国读cs，后年2023年5月份就毕业了，那我还有机会找实习吗？
如何看待计算机科学几乎渗透到所有学科的研究当中？
计算机专业学生为什么要学《大学物理》，学来干什么？
计算机科学领域有哪些「民科」和「反智现象」？
读博觉得很累，是我的抗压能力还不够吗？
有哪些你看了以后大呼过瘾的编程书？
准大学生在知乎上看大学专业时，发现所有专业都存在大量劝退，如何在其中筛选出哪些是有用的，哪些是牢骚？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
光刻机，计算机半导体硬件研发和制造，需要那些学科?形式化方法的研究方向到底是干什么的？
为什么在项目中要尽量避免使用浮点数，不使用浮点数，那该如何计算浮点数？
为什么埃式筛法的时间复杂度是O(nloglogn)？
程序员面试，面试官更注重代码量、项目经验还是操作系统、数据结构这种基础课程？两者比例是五五开还是多少？
如何评价王垠《计算机科学入门班报名》收费12000？
学计算机，不太喜欢编程，有哪些出路？
香农是如何想到信息论的？
为什么说人类无法组装出一个细胞？
如何评价周志华在微博对 AlphaGo 和机器学习技术的评论？
UC Berkeley 的 MS CS 如何?
你看过/写过哪些有意思的代码？
什么才算是真正的编程能力？
如何评价中国科学院大学硕士生季子越在社交媒体发表恨国精日言论？
Linus 真心诚意地夸过哪些人或技术？
什么是张量 (tensor)？
要想完全放弃Windows操作系统而使用 Linux需要多少勇气？
对于初入职场的程序员, 读书 读好的代码 造轮子 哪个更重要?
如何看待法国物理学家对量子计算的强烈批评？
如何评价中国首个量子计算机操作系统「本源司南」，具有怎样的意义？对哪些领域有利好？
为什么有人会排斥用苹果电脑？
向各领域业内人士求助，有什么注意事项？
石头和塑料袋对于计算机传感器的差别在于什么？为什么无人驾驶系统会依然存在对周围环境的误判？
开发人员如何构建自己的学习笔记系统？
为什么国家将加快人工智能研究生培养？又为什么很多研究生评论人工智能是个大坑呢？
计算机的能量转换过程是什么？
如何看待 H1B 已经禁止 programmer 申请？
回顾人类历史，计算机的出现和进化对人类的进程造成了多大的影响？
有哪些「上帝算法」？
大家在计算机学习路上，都看过哪些神一般的书？