摘要：
GoogleNet 学习笔记 上一篇blog介绍了简洁优美的resnet，这一篇介绍一下相对复杂的GoogleNet 提出背景 GoogleNet的提出是在2014年，当时大多数网络都追求深度，但是看如下几幅图片 在利用CNN识别出图中的小狗时，势必要为每个卷积层选择合适的kernel 阅读全文
摘要：
Resnet 学习笔记 前言 学了几个月的神经网络，感觉也没学到什么东西，炼丹能力倒是提升不少。。。不能只停留在应用方面，还是要掌握理论，因此就想借助博客园把我学到的理论知识都记录下来，也算是加深记忆了。 最近在看一些著名的网络模型，就从Resnet着手写下第一篇博客（主要是GoogleNe 阅读全文
摘要：
OO课程告一段落，是时候总结总结了。 一. 第四单元作业的设计架构 1.1 第一次作业 这一次作业总体上花了我不少时间，为的就是能写出来一个像样的架构（毕竟前几个单元的作业简直无法直视）。 这次作业主要的请求都是基于class和interface。因此我建了两个辅助类ClassInfo和Interf 阅读全文
摘要：
1.JML语言的理论基础及应用工具链 在谈JML的理论之前，我觉得有必要提一下JML的起源（研讨课分享了一下，这里再重述一遍） 上世纪50年代，就已经有早期的编程语言出现 然而那个时代，软件开发基本局限于自己或自己部门内部的使用，需求并没有很多，也并不复杂（或者说人们并没有意识到有那么多事情可以通过 阅读全文
摘要：
为期三周的魔鬼电梯终于结束了，老师口中OO难度的顶峰也终于过去了。让我来好好分析一下这三周的作业吧。 第一部分——设计策略 第一次作业 这次作业由于只是傻瓜单电梯，故在难度上远不及第三次嵌套多项式。不过这次作业对于初次接触多线程的我还是有很多困难，主要困难在于理解线程，不在算法设计。 我设计了两个线 阅读全文
摘要：
面向对象设计与构造已进行了三次表达式求导的作业。是时候做个总结（了结）了。。。 一. 三次作业的程序结构分析 第一次作业是简单多项式求导，即只含底数为x的指数函数相加减构成的表达式。第一步是要获取输入并对错误的输入格式给出反馈。利用正则表达式能很容易解决这一内容，只不过对第一项要单独考虑（但正则的使 阅读全文