- 博客(7)
- 收藏
- 关注
RSS订阅原创 office 2019 word公式键盘输入空格无响应
笔者的一个遗留问题：win10系统，office2019 word公式输入，空格无法激活公式转换解决方法：进入语言设置，将Beta版选项取消，使用系统预设字体具体操作：windows设置找到“时间和语言”选项并进入找到左侧语言选项，点击后选择右上角“管理语言设置”选择“更改系统区域设置”当前系统区域设置，如果此前勾选了Beta版，将勾选取消...
2021-10-25 15:06:44
1288
原创 期末总结（三）：设计规约
1. Java中的函数和方法参数：参数类型是否匹配，在静态类型检查阶段完成返回值：返回值类型是否匹配，也在静态类型检查阶段完成一个完整的方法，包括方法的规约spec和方法的实现体implementation2. 规约：面向沟通编程2.1 编程文档变量的数据类型定义：Java在编译时检查变量类型定义，确保程序中没有不符合变量类型声明的地方final关键字定义了“不可改变”的设计决策，Java同样会检查为什么要写出假设？：第一：自己记不住，第二：别人不懂代码中蕴含的”设计决策“：给编译器读
2021-07-06 19:02:49
260
原创 期末总结（二）：数据类型与类型检验
1. 编程语言中的数据类型变量：用特定数据类型定义，可存储满足类型约束的值Java数据类型包括：基本数据类型：int, long, boolean, double, char, etc.类型名均为小写字母对象数据类型：例如，字符串类型String表示一个字符序列；大整数BigInteger类型表示一个任意大小的整数。类型名以一个大小字母开头关于两种数据类型的比较如下：对象类型形成层次结构：所有非基本数据类型都是类，除了Object类，每个类都继承自一个父类，用extends块标识。如果省略ex
2021-07-06 01:13:49
163
原创 哈工大2021春计算机系统大作业——程序人生-Hello’s P2P
图5.25：hello.o反汇编文本中对sleepsecs引用的代码和重定位条目如图5.26，图5.27所示，由hello.oELF格式文件重定位条目信息、helloELF格式文件符号表得到关于sleepsecs重定向信息：r.offset = 0x60r.symbol = sleepsecsr.type = R_X86_64_PC32r.addend = -4ADDR(s) = ADDR(.text_main) = 0x401105ADDR(r.symbol) =...
2021-06-30 11:30:58
855
原创 哈工大2021软件构造lab2 实验总结
哈工大2021软件构造lab2 实验总结1.实验目标概述本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现 ADT。具体来说：针对给定的应用问题，从问题描述中识别所需的 ADT；设计 ADT 规约（pre-condition、post-condition）并评估规约的质量；根据 ADT 的规约设计测试用例；ADT 的泛型化；根据规约设计 ADT 的多种不同的实现；针对每种实现，设计其表示（representation）、表示不变性（rep inva
2021-06-18 10:44:18
613
2
原创 哈工大2021软件构造lab1 实验总结
文章目录前言一、Magic Squares1. isLegalMagicSquare()2. generateMagicSquare()二、Turtle GraphicsProblem 1: Clone and importProblem 3: Turtle graphics and drawSquareProblem 5: Drawing polygonsProblem 6: Calculating BearingsProblem 7: Convex HullsProblem 8: Personal ..
2021-06-07 00:12:46
562
7
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人