形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
Java到底有多难？「计算」会改变信息量么？
为什么说「动态类型一时爽，代码重构火葬场」？
计算机图形学是否已经进入瓶颈期？
人工智能达到了什么程度？
按下开机键后，电脑都干了些什么？
人工智能的爆发点究竟是在高校还是在企业？
linux 在终端打开程序后关闭终端，程序也跟着关闭了怎么办？
我这个数有葛立恒数的大吗？
我们高中数学为什么不重视算法？高中学的数列，三角函数，求导，圆锥曲线相关问题的解法和算法有什么关系？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
为什么说 MD5 是不可逆的？C/Ｃ++ 标准库为什么不支持直接删除一个文件中的部分内容？
为什么1KB等于1024B？
计算机是如何启动的？
如何评价清华大学刘知远老师？
为什么不用汉语来开发一个高级计算机语言直接对应01?汉语的横竖撇捺解构比英语要有效的多啊?
有哪些事实没有一定计算机知识的人不会相信？
把「robust」翻译为「鲁棒」最早起源于哪里？
为什么人们会崇拜一个编程语言？
为什么操作系统没有前端和后端，而计算机很多其他领域却分前后端?
到了 2022 年，人工智能有哪些真正可落地的应用？
如果让你重新开始学计算机，你的学习路线会是怎么选择?
“科学爱好者”的“勇气”是不是来自于对知识的无知?
计算机专业必读哪些经典书籍？
汇编语言转换成机器语言，具体在机器这个层面是如何实现的？
如何看待 2022 年秋招算法岗竞争如此激烈？
你认识的日本人都有什么互联网痛点功能得不到满足？日本社会特有的或者中美很流行但日本没有
为什么只听说 Windows 会有病毒，苹果 Mac 没有？
不同x86体系结构下的汇编语言是可以移植的吗？
什么是张量 (tensor)？
计算机行业还能火几年？
科学史上有哪些令人惋惜的遗憾？
硕士出国留学，到美国。需要准备什么呢？
为什么大多数程序主函数成功时都return 0; 不return 1; ？
为什么根据 IP 地址查询物理所在地，而不是 mac 地址？
为什么有人会排斥用苹果电脑？
为什么现在很多人对网络空间安全专业持劝退态度？
本科俄亥俄州立大学和马里兰大学选哪个好？
什么叫做学计算机有天赋？
2022 年最适合写业务代码的编程语言是哪个？