形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
机器学习领域是否已经达到饱和？IOI国际金牌是什么水平，在此之上更高的水平是什么样的？
当游戏设计师需要具备哪些基本素养？
用什么方法调研和查找某个科研领域的最新的热点研究成果？
如何让自己的英文学术写作能力接近英语母语者的水平？
如何通俗地解释一下 TCP/UDP 协议和 HTTP、FTP、SMTP 等协议之间的区别？
为什么现在有这么多人工智能无用论？
电脑发展史上有哪些伟大的思想和技术？
UC Berkeley 的 MS CS 如何?
迄今为止押宝多核的策略几乎都失败了,为什么开发者如此抵触多核?
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
如何看待物理学家 Lee Phillips 对 Python 的批评?应用统计专业是虚假需求吗？
如何看待 2022 年秋招算法岗竞争如此激烈？
假设中国人最先开发电脑和设计程序语言，那么各种程序语言会使用汉字吗？
为什么根据 IP 地址查询物理所在地，而不是 mac 地址？
壁虎是如何吸附在光滑的墙壁上的？
计科和软工的区别？报哪个专业好些？
计算机系为什么要学数据库原理和设计？
中国的高校计算机教育存在哪些问题？
编程时怎么把函数当做变量使用？
回顾人类历史，计算机的出现和进化对人类的进程造成了多大的影响？
计算机系为什么要学数据库原理和设计？
如果你有一台超级计算机，你会拿来做什么？
使用 open addressing 的 Hash 表载荷过高为什么会降低 CPU 的缓存命中率？
Java到底有多难？
数学的符号系统有没有缺陷？
人工智能从业者有哪些「职业护城河」？
你遇到过哪些高质量的 C++ 面试？
为什么人工智能用 Python？
互联网世界中有可能诞生类生物的东西吗？
量子计算机的出现会给实际生活带来怎样的改变？
面向对象编程的弊端是什么？
我们高中数学为什么不重视算法？高中学的数列，三角函数，求导，圆锥曲线相关问题的解法和算法有什么关系？
如何看待科学网发布文章称「我国数学家证明 NP=P」，是真的吗？如果是，会带来怎样的影响?
如何看待网传字节跳动或分拆 TikTok 为美国公司，面对「海外封杀」这会是一种有效的措施吗？
面对大数据杀熟、算法困住骑手，民主促进会中央建议推行算法开发主体责任制，你怎么看？
为什么编程语言中没有一种 if，来判断大概率为真（或假）的情况，来提升 CPU 分支预测的速度呢？
有没有一种可能，做出来512g内存的计算机，这样就不需要外存了，那os这门课是不是内容可以少点？
开源精神是否可能应用到别的领域？
不同x86体系结构下的汇编语言是可以移植的吗？