摘要：
# 面向对象设计与构造第三单元 ## JML简介 JML(Java Modeling Language)是用于对`Java`程序进行规格化设计的一种表示语言。规范的`JML`语言描述了正确的`Java`程序的功能性要求，但具体如何实现，以及实现的性能如何就交给了开发人员了。 `JML`以`javad 阅读全文
摘要：
# AtCoder Regular Contest 159 [传送门](https://atcoder.jp/contests/arc159) ## A - Copy and Paste Graph 图的邻接矩阵为 $$ \left( \begin{matrix} A & A & \cdots & 阅读全文
摘要：
# 面向对象设计与构造第二单元 在我之前所学的所有编程知识都是关于顺序执行的，就是程序在任何时候只能执行一个步骤。然而能够并行的执行程序中的多个部分，在很多时候可以大大提高程序的效率。这个单元最主要的内容就是理解并编写并发执行的程序，这对于我所学的编程知识来说是一种质的飞跃。 ## 前置芝士 ### 阅读全文
摘要：
# 面向对象设计与构造第一单元 ## 问题：表达式的化简 > - 表达式中仅含有$x,y,z$三种未知数 > - 表达式仅含有$+,-,*,**,\sin,\cos,dx,dy,dx$几种运算 - $dx,dy,dz$分别表示对$x$求导，对$y$求导，对$z$求导。 - **表示乘方，例如$2** 阅读全文