第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
免安装版的Mysql MySQL关是一种关系数据库管理系统，所使用的 SQL 语言是用于访问数据库的最常用的 标准化语言，其特点为体积小、速度快、总体拥有成本低，尤其是开放源码这一特点，在 Web 应用方面 MySQL 是最好的 RDBMS(Relational Database Managemen ...
分类：
数据库 时间：
2021-06-02 16:11:25
阅读次数：
0
<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml"> <head><meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <title>sss</ti ...
分类：
其他好文 时间：
2021-06-02 15:43:35
阅读次数：
0
题目 Atcoder 思路 代码 #include <iostream> using namespace std; const int N = 200010; int n, m, a[N], b[N]; int check(int mid) { for (int i = 1; i <= n * 2 ...
分类：
其他好文 时间：
2021-06-02 15:33:04
阅读次数：
0
题目 Atcoder 思路 代码 #include <iostream> #include <cstring> #include <algorithm> using namespace std; const int N = 100010; int n, w[4][N], to[N], st[N]; ...
分类：
其他好文 时间：
2021-06-02 15:31:22
阅读次数：
0
题目 Atcoder 思路 代码 #include <iostream> #include <algorithm> #include <cstring> using namespace std; const int N = 100010, M = N << 1; int n, m; int h[N] ...
分类：
其他好文 时间：
2021-06-02 15:30:41
阅读次数：
0
你知道吗 //1. 为什么有的编程规范要求用 void 0 代替 undefined？ //2. 字符串有最大长度吗？ //3. 0.1 + 0.2 不是等于 0.3 么？为什么 JavaScript 里不是这样的？ //4. ES6 新加入的 Symbol 是个什么东西？ //5. 为什么给对象添 ...
分类：
编程语言 时间：
2021-06-02 15:19:39
阅读次数：
0
golang中的package time提供了用来表示时间的相关数据结构，包括： time.Location 表示一个时区信息； time.Time 表示一个带时区的时间信息； time.Duration 表示一个可转换成任意单位的时间长度信息； time.Ticker 表示一个周期定时器，用来执行 ...
分类：
其他好文 时间：
2021-06-02 14:59:55
阅读次数：
0
//普通for循环 void test(){ int arr[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }; for (int i = 0; i < sizeof(arr) / sizeof(arr[0]); ++i){ cout << arr[i] << " "; } cou ...
分类：
其他好文 时间：
2021-06-02 14:53:43
阅读次数：
0
习题 11.4编写你自己的单词计数程序，扩展你的程序，忽略大小写和标点。例如，"example."、"example,"和"Example"应该递增相同的计数器。 #include <string> #include <map> #include <iostream> #include <algor ...
分类：
其他好文 时间：
2021-06-02 14:07:14
阅读次数：
0
