百科问答小站 logo
百科问答小站 font logo



形式化方法的研究方向到底是干什么的? 第1页

  

user avatar   david-dong-20 网友的相关建议: 
      

想马上就可以实际使用的话千万别做formal method啊,去做机器学习吧,容易上手容易出成果。工业界对有用没用最敏感了,你去搜索看看职位,看看全世界有多少formal method的工作吧。不能说它完全没用,有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的,因为难度比较高,出结果比较慢。快速实用的东西做机器学习是最方便的。




  

相关话题

  为什么我们总能听到计算机图形学,而很少听到计算机音频学之类的? 
  AI 20年内将会给我们的生活带来什么改变? 
  你心中希望的本科CS教育应该是怎样的? 
  计算机是如何计算逆矩阵的? 
  如何看待 2022 年秋招算法岗竞争如此激烈? 
  Yann LeCun、Geoffrey Hinton或Yoshua Bengio能得图灵奖吗? 
  对于少年儿童 7-8岁,如何开始计算机科学教育启蒙(Computer Science)? 
  如何评价中国科学院大学硕士生季子越在社交媒体发表恨国精日言论? 
  如何看待 2019 年 11 月 26 日 IPV4 地址耗尽?会产生什么样的影响? 
  计算复杂性理论是否具有足够的现实意义,如今有哪些比较「现实」的应用? 

前一个讨论
2016 大选话题下,希拉里支持者的回答很多都限制了评论,对此你有什么看法?
下一个讨论
计算机(CS)专业大学生怎样平衡绩点和编程能力?





© 2025-06-05 - tinynew.org. All Rights Reserved.
© 2025-06-05 - tinynew.org. 保留所有权利