05 2023 档案

buaa面向对象第三单元

摘要：# 面向对象设计与构造第三单元 ## JML简介 JML(Java Modeling Language)是用于对`Java`程序进行规格化设计的一种表示语言。规范的`JML`语言描述了正确的`Java`程序的功能性要求，但具体如何实现，以及实现的性能如何就交给了开发人员了。 `JML`以`javad 阅读全文

posted @ 2023-05-18 16:18 clapp 阅读(163) 评论(0) 推荐(1) 编辑

AtCoder Regular Contest 159简要题解

摘要：# 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 阅读(76) 评论(0) 推荐(0) 编辑