形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
为什么会有 U 盘独个文件不可以超过 4GB 这种设定？59款中国 APP 在印度被禁用，会对行业带来哪些影响，互联网公司应当如何应对？
KB和MB的概念是什么？在网速中为什么会用到？
为什么说用了10年C++的程序员也不敢说自己精通C++？
子网掩码与ip地址有实际关系吗？
俄罗斯人编程为什么那么厉害？
有哪些算法惊艳到了你？
为什么国外大学计算机系本科生培养如此强调函数式编程？
为什么微软不把 Windows 下的 API 做得更「安全」些？
计算机考研哪些学校性价比比较高？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
vs2013 有必要 使用 visual assist或resharper吗？x86的8和6分别指什么？
现在越来越多大学生转cs，那计算机专业会不会供大于求？
计算机基础知识对程序员来说有多重要？
信息论的冗余剔除应用与密码学破解？
当游戏设计师需要具备哪些基本素养？
为什么计算机科学没有系统的学派？
学习数论图论有必要先学抽代和高代吗？
如果一个行业大佬向你说了一件幼稚的事情，你会觉得这话是另有玄机，还是大佬自己就没整明白呢？
当今社会真的需要电脑吗?
CPU的功耗和什么相关？为什么一个while(1);就可占满CPU的功耗？
差分隐私中敏感度如何计算？
知乎上有哪些著名的“计算机科学”领域的“民科”？
学计算机，不太喜欢编程，有哪些出路？
如果有人想走遍中国所有的省级行政区（含港澳台），总路程最小可以是多长？
如何看待 NIPS 2018 submission达到近 5000 篇？
数据结构与算法中，树一般会应用在哪些方面？为什么？
请问进大学前后自学计算机有哪些书目或方法？
在苏联时期苏联人用什么计算机？
为什么很多程序无法计算负数的立方根？
为什么计算机刚开机就要转散热风扇？
本科录取了伦敦政经（LSE）的经济和新加坡国立大学（NUS）的商业分析，如何选择？
如何看待佛罗里达大学博士生自杀后其导师李涛被爆出鼓励造假，李涛发表声明要求澄清？
高中就已经写过 10w 行代码的人都是什么人？
为什么现在网上普遍低估公务员的收入?
信息论的冗余剔除应用与密码学破解？
不同x86体系结构下的汇编语言是可以移植的吗？
如果世界是虚拟的，那么这个世界是“并行”的还是“并发”的?
CS专业工资那么高为什么大家不都去学CS？
公司是否能够亦或是否有权截获员工在公司电脑使用https访问网站的内容？如何实现？