摘要：
# 面向对象设计与构造第三单元 ## JML简介 JML(Java Modeling Language)是用于对`Java`程序进行规格化设计的一种表示语言。规范的`JML`语言描述了正确的`Java`程序的功能性要求，但具体如何实现，以及实现的性能如何就交给了开发人员了。 `JML`以`javad 阅读全文
posted @ 2023-05-18 16:18
clapp
阅读(166)
评论(0)
推荐(1)
摘要：
# AtCoder Regular Contest 159 [传送门](https://atcoder.jp/contests/arc159) ## A - Copy and Paste Graph 图的邻接矩阵为 $$ \left( \begin{matrix} A & A & \cdots & 阅读全文
posted @ 2023-05-07 11:17
clapp
阅读(96)
评论(0)
推荐(0)
摘要：
# 面向对象设计与构造第二单元 在我之前所学的所有编程知识都是关于顺序执行的，就是程序在任何时候只能执行一个步骤。然而能够并行的执行程序中的多个部分，在很多时候可以大大提高程序的效率。这个单元最主要的内容就是理解并编写并发执行的程序，这对于我所学的编程知识来说是一种质的飞跃。 ## 前置芝士 ### 阅读全文
posted @ 2023-04-15 17:34
clapp
阅读(131)
评论(0)
推荐(0)
摘要：
# 面向对象设计与构造第一单元 ## 问题：表达式的化简 > - 表达式中仅含有
posted @ 2023-03-16 15:31
clapp
阅读(252)
评论(0)
推荐(0)
浙公网安备 33010602011771号