摘要：问题描述 背景 MNIST是一个包含大量经过正则化、中心化处理的手写数字及其标签的数据集，其中包括大小为60000的训练集和10000的测试集。 softmax函数，$softmax(x_i)=\frac{e^{x_i}}{\sum_{j=1}^{j=n}{e^{x_j}}}$是一个归一化指数函数， 阅读全文

摘要：——“基于正确规格的程序就可以被认为是正确的程序 ” 本单元的三次作为均为根据jml规格完成代码。三次作业依次为实现Path路径类和PathContainer路径容器类；将PathContainer类扩展成Graph类以实现图相关问题的处理；将Graph类扩展成RailwaySystem类以支持多种 阅读全文