形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
能否仅依靠机械（不包括电路）实现可编程图灵完备的通用计算机？计算机如何理解图像?
编程入门门槛真的很低吗？
如何评价在2018中国计算机大会上360技术总裁谭晓生怒摔话筒？
在北美（加拿大，美国）IT程序员是青春饭么？
985 本科大二，计算机专业，为什么很多普通一本、二本、三本的都比自己懂得多？
为什么图片反复压缩后普遍会变绿，而不是其他颜色？
为什么计算机刚开机就要转散热风扇？
为什么连离我很远很远的服务器会很慢？
如何评价昆明理工大学的计算机科学与技术专业？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
汇编语言转换成机器语言，具体在机器这个层面是如何实现的？有没有比图灵机能力更强的计算模型？
为什么系统调用时要把一些寄存器保存到内核栈又从内核栈恢复？
在 linux 中，用 c 语言如何判断 yum 源是否配置好？
为什么操作系统不能屏蔽底层的架构（arm，x86,mips），为应用软件提供一个统一的运行环境呢？
深度学习到底是「实验科学」还是「理论科学」？能否称为「算法」？
计算机系为什么要学数据库原理和设计？
因为保研不能接受税后50w人民币年薪的海外工作offer，该如何平复心情？
近几年有哪些关于机器学习中隐私（Privacy）和安全（Security）相关的研究值得关注?
国内研究生不小心跟了一个水货老师是什么样的体验？
为什么最后 1% 的进度条很难加载？
0.0.0.0和255.255.255.255这两个IP地址到底有啥用？
一台 400W 的电脑在一个 15m² 的密闭房间内全功率工作，会对室温造成怎样的影响？
按照这个推荐的顺序学下来计算机水平能达到什么程度？
计算机专业真的如此完美吗？
如何看待EE转CS的潮流？
高中就已经写过 10w 行代码的人都是什么人？
如何看待奥巴马呼吁每个美国人都学习编程？
教材上说铁路订票系统是实时操作系统，可是服务器的Linux不是分时操作系统吗？
计算机领域有哪些「将错就错」被沿用至今？
电脑发展史上有哪些伟大的思想和技术？
国外发达国家码农是真混得好么?
灭霸使用了什么样的随机数生成方法来保证公平？
人工智能为什么越来越看不懂了？
去美国读CS博士，方向是机器人导航，视觉方面，推荐一下相关编程方面准备？还有相关算法需要学习哪些？
如何理解动态规划？
子网掩码与ip地址有实际关系吗？
vs2013 有必要 使用 visual assist或resharper吗？
为什么很多理工科出身的优秀的学生最终选择做咨询或金融？工作几年后对当时的选择是否感到一丝遗憾？
如何理解子网掩码？