形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
计算机科学在合成生物学中有哪些应用？为什么有些数学系学生会瞧不起 CS（计算机）系学生？
一个没有喷子的互联网会是什么样的？
形式化方法的研究方向到底是干什么的？
如何看待 2019 年 11 月 26 日 IPV4 地址耗尽？会产生什么样的影响？
为什么软件要自动安装在系统盘呢？
当前人工智能特别是深度学习最前沿的研究方向是什么？
如何评价哈工大的左旺孟老师？
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
in memory computing 存内计算是学术圈自娱自乐还是真有价值？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如果用计算机按照物理模型完模拟一个小型世界，是否需要模拟人的眼睛呢？在计算机中utility应该怎么翻译?
g为R→R的函数且g(g(x))=-x^13-x，怎么证明g不可导？
为什么C语言整型常量十进制形式的类型与八进制、十六进制的不一样？
计算机专业大一寒假该如何规划？
为什么char *a="xxxxx", *b="xxx"; strcpy(a, b);的用法不行？
CS专业工资那么高为什么大家不都去学CS？
编程时怎么把函数当做变量使用？
路由跟踪为什么会有两个局域网？
大学专业是计算机科学与技术，大一是否需要买电脑？
什么是张量 (tensor)？
为什么一些人很瞧不起 Java？
能讲一下超导研究的历史和未来的研究方向吗？
计算机专业如果想去从事学术，应具备哪些基础知识？
如何评价昆明理工大学的计算机科学与技术专业？
为什么说「动态类型一时爽，代码重构火葬场」？
迄今为止押宝多核的策略几乎都失败了,为什么开发者如此抵触多核?
Windows自带的文本编辑器原理？
为什么有人会排斥用苹果电脑？
为什么要开源？
MRAM、ReRAM和FRAM哪个更好？
计算机专业的学生如何系统的学习前端技术？
为什么Windows更新需要多次重启？而Linux不需要？
高中就已经写过 10w 行代码的人都是什么人？
在 C++ 里实现矩阵库的关键点是什么？
国内的本科 CS 教学和国外相比有什么优劣？
为什么编程语言中没有一种 if，来判断大概率为真（或假）的情况，来提升 CPU 分支预测的速度呢？
从语言学的角度，为什么拉丁字母比汉字更适合编程语言？
为什么 108 键的全键盘具备单独的小键盘，还保留字母上面的数字呢？
国外发达国家码农是真混得好么?