- 零知识证明框架:gnark
孙绿如叶~
零知识证明(ZKP)密码学
一.zkSNARKs的一般构造流程首先将一个NP问题拍平(Flatten)构成电路(若干个乘法门/加法门构成),在电路的基础上构造约束,也就是R1CS,有了约束就可以把NP问题抽象成QAP问题。有了QAP问题的描述,就可以在QAP上构建zkSNARKs。二.gnarkgnark是consenSys开发的一个zkSARNK实现,采用Go语言,目前支持groth16,github地址:https://
- UglifyJs Unexpected token: punc (,)
触不到的颜色是否叫彩虹
vue.jswebpack
vue打包报错:查到几种可能原因,一一排除@click调用方法传参多了个逗号仔细检查了,确认没有写多逗号uglifyjs-webpack-plugin代替webpack.optimize.UglifyJsPluginyarnuglifyjs-webpack-plugin--save-devnewwebpack.optimize.UglifyJsPlugin({compress:{warnings:
- Recommended order of a field's mutiple modifiers
MJN
propertiesjava
Fielddeclarationscanalsobeprecededbymodifiersthatcontrolcertainpropertiesofthefield:annotationsaccessmodifiersstaticfinaltransientvolatileAfieldcannotbebothfinalandvolatile.Whenmultiplemodifiersareapp
- 【论文笔记】Training language models to follow instructions with human feedback B部分
Ctrl+Alt+L
大模型论文整理论文笔记论文阅读语言模型人工智能自然语言处理
TraininglanguagemodelstofollowinstructionswithhumanfeedbackB部分回顾一下第一代GPT-1:设计思路是“海量无标记文本进行无监督预训练+少量有标签文本有监督微调”范式;模型架构是基于Transformer的叠加解码器(掩码自注意力机制、残差、Layernorm);下游各种具体任务的适应是通过在模型架构的输出后增加线性权重WyW_{y}Wy实
- using maven and eclipse created a mutiple module project
josonchen
maven
usingmavenandeclipsecreatedamutiplemoduleprojectusingmavenandeclipsecreatedamutiplemoduleproject原文网址:blog.donews.com/skyhero/archive/2006/02/16/728702.aspxMysniscreatedasamutiplemoduleproject.Itisdevi
- 336 Mutiple Threads
黄健华Yeah
01C#12.NET8.0(完结)c#.net
示例Program.csnamespaceThreadingApp{internalclassProgram{staticvoidMain(string[]args){ThreadmainThread=Thread.CurrentThread;mainThread.Name="Mainthread";Console.WriteLine(mainThread.Name);//MainthreadNu
- 实践指南:构建一个零知识证明 DApp [译]
扣3039046426
区块链
实践指南:构建一个零知识证明DApp[译]零知识证明DAppcircomsnarkjs本文将构建一个zk-dApp(零知识证明DApp),以证明用户是否属于某个特定组,而无需透露用户具体是谁。阅读本文前,最好先对以下内容有所了解:public-keycryptographycircom及snarkjs使用truffle使用ethers连接合约前言在过去的几个月中,我在以太坊eth上利用了零知识证明
- webpack打包报错UglifyJs Unexpected token: punc (,)
enjoy嚣士
React+Antdwebpack前端node.js
项目当dev命令运行时能正常运行,打包后却报错UglifyJsUnexpectedtoken:punc(,),>yarnbuildCreatinganoptimizedproductionbuild...Failedtocompile.Failedtominifythebundle.Error:static/js/main.jsfromUglifyJsUnexpectedtoken:punc(,)
- Unity 贴图拷贝与性能对比
牙膏上的小苏打2333
Unityunity贴图
CooooopyGetPixelsGetRawTextureDataRenderTextureGraphics.CopyTexture性能对比GetPixelsvarpixels=tex.GetPixels();tex2.SetPixels(pixels);tex2.Apply();GetRawTextureDatavarpixels=tex.GetRawTextureData();tex2.Lo
- Chapter 19. Architecture Decisions
城里的月光_欧阳
Oneofthecoreexpectationsofanarchitectistomakearchitecturedecisions.Architecturedecisionsusuallyinvolvethestructureoftheapplicationorsystem,buttheymayinvolvetechnologydecisionsaswell,particularlywhenth
- 1.判断是不是闰年
C.&H.
日期类竞赛题
importjava.util.Scanner;publicclassMain{publicstaticvoidmain(String[]args){Scannersc=newScanner(System.in);intyear=sc.nextInt();if(isR(year)){System.out.println(year+"是闰年");}else{System.out.println(ye
- 判断日期,判断闰年
imyLove7
C语言入门c语言
题目:输入某年某月某日,判断这一天是这一年的第几天?程序分析:以3月5日为例,应该先把前两个月的加起来,然后再加上5天即本年的第几天,特殊情况,闰年且输入月份大于3时需考虑多加一天。#includeintmain(){intday,month,year,sum,leap;printf("\n请输入年、月、日,格式为:年,月,日(2015,12,10)\n");scanf("%d,%d,%d",&y
- 日期类 - 1. 判断闰年
芜湖的五胡
算法
请编写函数,判断闰年。函数原型//判断闰年boolIsLeapYear(intyear);说明:参数year为年数。若year是闰年,则函数值为true,否则为false。按照现行历法(格里高利历):四年一闰,百年不闰,四百年再闰。即:年数是4的倍数且不是100的倍数,或者年数是400的倍数,则为闰年,否则为平年。注:为简化函数设计,作以下限制年数一律为正整数(即不考虑公元前的情况);不考虑历法演
- 【Qt报错】This application failed to start because it could not find or load the Qtplatform plugin
爱吃小熊饼干、
C++c++qt
在VS中的relesse能运行,但是在relesae文件夹生成的exe运行报错:ThisapplicationfailedtostartbecauseitcouldnotfindorloadtheQtplatformplugin"windows’in"”Reinstallingtheapplicationmayfixthisproblem.看了很多帖子就是说用windeployqt命令窗口重新运行
- 为什么Java仍旧生机盎然——对“为什么Java正在消亡”的回应
苹果酱0567
面试题汇总与解析springboot后端java中间件开发语言
[图片上传失败...(image-599293-1649288200226)]0.阅读完本文你将会了解Java作为热门语言之一所面临的争议了解Java的生态环境和未来1.前言原文标题:WhyJavaIsPerfectlyAlive——Aresponseto"WhyJavaIsDying"原文地址:https://betterprogramming.pub/why-java-is-perfectly
- 基于Springboot和Vue的在线小说阅读平台系统(570)
源码出售和定制
vue.js前端springboot后端spring前端框架
获取源码请滑到最底部访问官网项目配套调试视频和相对应的软件安装包1、项目描述具体请看视频演示2、项目开发工具开发工具:Idea或Eclipse数据库:MysqlJar包仓库:Maven前端框架:Vue2后端框架:Springboot3、项目图片4、演示视频基于Springboot和Vue的在线小说阅读平台系统(570)
- 3.2.6 盘古开天地start_kernel
aspirestro三水哥
InterruptPipelinelinuxarmIPIPEXenomai
点击查看系列文章=》InterruptPipeline系列文章大纲-CSDN博客3.2内核初始化(盘古开天地)3.2.1内核初始化的神话3.2.2从头(Head)开始3.2.3从头初始化到身体3.2.4宇之内存的空分复用3.2.5宙之CPU的时分复用3.2.6盘古开天地start_kernel3.2.6盘古开天地start_kernel__primary_switched最后义无反顾的跳转到了st
- 2.3.6 返回用户空间
aspirestro三水哥
InterruptPipelinelinux运维服务器
InterruptPipeline系列文章大纲-CSDN博客2.3el0_irq2.3.1el0_irq代码框架2.3.2kernel_entry0与kernel_exit02.3.3el0_irq_naked与enable_da_f2.3.4trace_hardirqs_off与trace_hardirqs_on2.3.5irq_handler2.3.6返回用户空间目录InterruptPipe
- 2.2 ARM64异常处理
aspirestro三水哥
InterruptPipelinelinuxarm嵌入式硬件
InterruptPipeline系列文章大纲-CSDN博客1异常级别转换异常发生时,如何处理呢?异常级别分为4级,其中EL0不处理异常。当EL0发生异常时,会进入更高的异常级别进行处理。ARM64包含4个异常级别:EL0:非特权模式,常用来跑应用程序;EL1:特权模式,常用来跑内核;EL2:虚拟化监控程序,例如hypervisor;EL3:安全模式,例如securemonitor;同步异常一般在
- minio的联邦扩容
睡不醒的双眼皮
云原生
#1.需要先部署etcd服务自行解决#2.docker运行命令###单机部署dockerrun-itd--nameminio--restart=always--net=host\-e"MINIO_ROOT_USER=admin"\-e"MINIO_ROOT_PASSWORD=Renjc0027"\-e"MINIO_ETCD_ENDPOINTS=http://192.168.100.141:3066
- 原生input实现上传upload功能
葱头的故事
jsjavascript前端开发语言
这里的例子是,点击按钮,选择多个图片文件后,调用接口上传一个个文件记得在选择文件之前,清空原来的数据varfiledata=document.getElementById('picBrowse')filedata.value=''demo导入照片//导入图片importPic(){varfiledata=document.getElementById('picBrowse')filedata.va
- 基于multisim的fm调制解调_基于SDR的FM调制与解调器的实现
weixin_39876514
张博,李少阳,刘宇本文引用地址:http://www.eepw.com.cn/article/201907/402132.htm(西安邮电大学电子工程学院,陕西省西安市710121)摘要:提出了一种基于SDR的FM调制解调器的实现方案,此方案采用ZYNQ平台和AD9361射频收发芯片搭建。首先介绍ZYNQ+AD9361的SDR硬件平台的设计,其次对FM调制解调的原理分析并结合MATLAB进行算法仿
- 至尊王城
爱吃鱼的清
隐私协议IntroductionWeregardsuserinformationsecurityandprivacyprotectionas"lifeline."Weadheretothe"everythingbasedonuservalue"philosophy,andstrivetoimprovethetransparencyofinformationprocessing,enhanceyou
- Arena:Arena模型构建与仿真基础
kkchenjj
工业软件二次开发仿真模拟工业软件开发语言系统架构
Arena:Arena模型构建与仿真基础Arena软件简介Arena软件的历史与发展Arena软件自1983年由SystemModeling公司开发以来,已经成为业界领先的离散事件仿真软件。随着科技的进步和市场需求的变化,Arena软件不断更新迭代,引入了更多先进的功能和用户友好的界面。1999年,SystemModeling公司被DSCLogic收购,随后DSCLogic又被美国科学应用国际公司
- 095.Pay close attention to the bottom right corner
飞帅记忆
095、Paycloseattentiontothebottomrightcorner仔细看右下角Paycloseattentiontotheblackboard!认真看黑板catchone‘sattention吸引注意Iwavedtocatchtheattentionofthewaiter.我挥手想引起服务员的注意turnone’sattentiontoIturnmyattentiontothe
- 能否向右位移?且偏移大小是-1?
echo_hello1
linuxffmpeg
这个问题来自于ffmpegg安装时编译器的报错:E:\software\msys2\tmp\ccgdnG5s.s:Assemblermessages:CClibavformat/alp.oE:\software\msys2\tmp\ccgdnG5s.s:413:Error:operandtypemismatchfor`shr'E:\software\msys2\tmp\ccgdnG5s.s:479
- java web设置首页_java web设置默认首页方法
蓝原光
javaweb设置首页
本文部分来自:https://blog..net/caiwenfeng_for_23/article/details/45486233引文:在构建项目后,我们在使用Tomcat启动后设置默认首页方法有以下几种:1.静态页面在tomcat安装目录下,/conf/web.xml中,添加以下内容:/WEB-INF/views/index.jsp2.动态页面同样是在web.xml中servlet中加入相关
- 鸿蒙HarmonyOS之使用preferences首选项保存获取数据
灵猫小西
鸿蒙harmonyos华为保存数据
一、工具类:PreferencesUtil.ets工具类,包括创建Preferences首选项、保存和获取对应Key的数据等方法示例代码中以保存Token字符串值为例import{preferences}from'@kit.ArkData';import{GlobalContext}from'./GlobalContext';constPREFERENCES_NAME='currPreferenc
- vscode远程调试 bash 文件的 launch.json写法示例
my墨羽
vscodebashjson
{"version":"0.2.0","configurations":[{"name":"${workspace}/train_net.py","type":"python","request":"launch","args":["--config-file","configs/coco-stuff-164k-156/mask2former_maft.yaml","--num-gpus","1"
- Python代码的持续发信息,不香嘛?
彳余呀
当你跟你男朋友发信息,他玩游戏不理你,不回你信息的时候,你该怎么办呢?当你想整一下你朋友,想一直发信息“骚扰”他的时候,你该怎样做呢?当你闺蜜或者你基友天天跟对象腻歪在一起,不理你的时候,你该怎么做呢?今天这些问题我都可以通通帮你们搞定,就几行Python代码,就让你朋友乖乖投降,让你男朋友乖乖求饶!!废话少说:上代码frompynput.keyboardimportKey,Controlleri
- Spring4.1新特性——Spring MVC增强
jinnianshilongnian
spring 4.1
目录
Spring4.1新特性——综述
Spring4.1新特性——Spring核心部分及其他
Spring4.1新特性——Spring缓存框架增强
Spring4.1新特性——异步调用和事件机制的异常处理
Spring4.1新特性——数据库集成测试脚本初始化
Spring4.1新特性——Spring MVC增强
Spring4.1新特性——页面自动化测试框架Spring MVC T
- mysql 性能查询优化
annan211
javasql优化mysql应用服务器
1 时间到底花在哪了?
mysql在执行查询的时候需要执行一系列的子任务,这些子任务包含了整个查询周期最重要的阶段,这其中包含了大量为了
检索数据列到存储引擎的调用以及调用后的数据处理,包括排序、分组等。在完成这些任务的时候,查询需要在不同的地方
花费时间,包括网络、cpu计算、生成统计信息和执行计划、锁等待等。尤其是向底层存储引擎检索数据的调用操作。这些调用需要在内存操
- windows系统配置
cherishLC
windows
删除Hiberfil.sys :使用命令powercfg -h off 关闭休眠功能即可:
http://jingyan.baidu.com/article/f3ad7d0fc0992e09c2345b51.html
类似的还有pagefile.sys
msconfig 配置启动项
shutdown 定时关机
ipconfig 查看网络配置
ipconfig /flushdns
- 人体的排毒时间
Array_06
工作
========================
|| 人体的排毒时间是什么时候?||
========================
转载于:
http://zhidao.baidu.com/link?url=ibaGlicVslAQhVdWWVevU4TMjhiKaNBWCpZ1NS6igCQ78EkNJZFsEjCjl3T5EdXU9SaPg04bh8MbY1bR
- ZooKeeper
cugfy
zookeeper
Zookeeper是一个高性能,分布式的,开源分布式应用协调服务。它提供了简单原始的功能,分布式应用可以基于它实现更高级的服务,比如同步, 配置管理,集群管理,名空间。它被设计为易于编程,使用文件系统目录树作为数据模型。服务端跑在java上,提供java和C的客户端API。 Zookeeper是Google的Chubby一个开源的实现,是高有效和可靠的协同工作系统,Zookeeper能够用来lea
- 网络爬虫的乱码处理
随意而生
爬虫网络
下边简单总结下关于网络爬虫的乱码处理。注意,这里不仅是中文乱码,还包括一些如日文、韩文 、俄文、藏文之类的乱码处理,因为他们的解决方式 是一致的,故在此统一说明。 网络爬虫,有两种选择,一是选择nutch、hetriex,二是自写爬虫,两者在处理乱码时,原理是一致的,但前者处理乱码时,要看懂源码后进行修改才可以,所以要废劲一些;而后者更自由方便,可以在编码处理
- Xcode常用快捷键
张亚雄
xcode
一、总结的常用命令:
隐藏xcode command+h
退出xcode command+q
关闭窗口 command+w
关闭所有窗口 command+option+w
关闭当前
- mongoDB索引操作
adminjun
mongodb索引
一、索引基础: MongoDB的索引几乎与传统的关系型数据库一模一样,这其中也包括一些基本的优化技巧。下面是创建索引的命令: > db.test.ensureIndex({"username":1}) 可以通过下面的名称查看索引是否已经成功建立: &nbs
- 成都软件园实习那些话
aijuans
成都 软件园 实习
无聊之中,翻了一下日志,发现上一篇经历是很久以前的事了,悔过~~
断断续续离开了学校快一年了,习惯了那里一天天的幼稚、成长的环境,到这里有点与世隔绝的感觉。不过还好,那是刚到这里时的想法,现在感觉在这挺好,不管怎么样,最要感谢的还是老师能给这么好的一次催化成长的机会,在这里确实看到了好多好多能想到或想不到的东西。
都说在外面和学校相比最明显的差距就是与人相处比较困难,因为在外面每个人都
- Linux下FTP服务器安装及配置
ayaoxinchao
linuxFTP服务器vsftp
检测是否安装了FTP
[root@localhost ~]# rpm -q vsftpd
如果未安装:package vsftpd is not installed 安装了则显示:vsftpd-2.0.5-28.el5累死的版本信息
安装FTP
运行yum install vsftpd命令,如[root@localhost ~]# yum install vsf
- 使用mongo-java-driver获取文档id和查找文档
BigBird2012
driver
注:本文所有代码都使用的mongo-java-driver实现。
在MongoDB中,一个集合(collection)在概念上就类似我们SQL数据库中的表(Table),这个集合包含了一系列文档(document)。一个DBObject对象表示我们想添加到集合(collection)中的一个文档(document),MongoDB会自动为我们创建的每个文档添加一个id,这个id在
- JSONObject以及json串
bijian1013
jsonJSONObject
一.JAR包简介
要使程序可以运行必须引入JSON-lib包,JSON-lib包同时依赖于以下的JAR包:
1.commons-lang-2.0.jar
2.commons-beanutils-1.7.0.jar
3.commons-collections-3.1.jar
&n
- [Zookeeper学习笔记之三]Zookeeper实例创建和会话建立的异步特性
bit1129
zookeeper
为了说明问题,看个简单的代码,
import org.apache.zookeeper.*;
import java.io.IOException;
import java.util.concurrent.CountDownLatch;
import java.util.concurrent.ThreadLocal
- 【Scala十二】Scala核心六:Trait
bit1129
scala
Traits are a fundamental unit of code reuse in Scala. A trait encapsulates method and field definitions, which can then be reused by mixing them into classes. Unlike class inheritance, in which each c
- weblogic version 10.3破解
ronin47
weblogic
版本:WebLogic Server 10.3
说明:%DOMAIN_HOME%:指WebLogic Server 域(Domain)目录
例如我的做测试的域的根目录 DOMAIN_HOME=D:/Weblogic/Middleware/user_projects/domains/base_domain
1.为了保证操作安全,备份%DOMAIN_HOME%/security/Defa
- 求第n个斐波那契数
BrokenDreams
今天看到群友发的一个问题:写一个小程序打印第n个斐波那契数。
自己试了下,搞了好久。。。基础要加强了。
&nbs
- 读《研磨设计模式》-代码笔记-访问者模式-Visitor
bylijinnan
java设计模式
声明: 本文只为方便我个人查阅和理解,详细的分析以及源代码请移步 原作者的博客http://chjavach.iteye.com/
import java.util.ArrayList;
import java.util.List;
interface IVisitor {
//第二次分派,Visitor调用Element
void visitConcret
- MatConvNet的excise 3改为网络配置文件形式
cherishLC
matlab
MatConvNet为vlFeat作者写的matlab下的卷积神经网络工具包,可以使用GPU。
主页:
http://www.vlfeat.org/matconvnet/
教程:
http://www.robots.ox.ac.uk/~vgg/practicals/cnn/index.html
注意:需要下载新版的MatConvNet替换掉教程中工具包中的matconvnet:
http
- ZK Timeout再讨论
chenchao051
zookeepertimeouthbase
http://crazyjvm.iteye.com/blog/1693757 文中提到相关超时问题,但是又出现了一个问题,我把min和max都设置成了180000,但是仍然出现了以下的异常信息:
Client session timed out, have not heard from server in 154339ms for sessionid 0x13a3f7732340003
- CASE WHEN 用法介绍
daizj
sqlgroup bycase when
CASE WHEN 用法介绍
1. CASE WHEN 表达式有两种形式
--简单Case函数
CASE sex
WHEN '1' THEN '男'
WHEN '2' THEN '女'
ELSE '其他' END
--Case搜索函数
CASE
WHEN sex = '1' THEN
- PHP技巧汇总:提高PHP性能的53个技巧
dcj3sjt126com
PHP
PHP技巧汇总:提高PHP性能的53个技巧 用单引号代替双引号来包含字符串,这样做会更快一些。因为PHP会在双引号包围的字符串中搜寻变量, 单引号则不会,注意:只有echo能这么做,它是一种可以把多个字符串当作参数的函数译注: PHP手册中说echo是语言结构,不是真正的函数,故把函数加上了双引号)。 1、如果能将类的方法定义成static,就尽量定义成static,它的速度会提升将近4倍
- Yii框架中CGridView的使用方法以及详细示例
dcj3sjt126com
yii
CGridView显示一个数据项的列表中的一个表。
表中的每一行代表一个数据项的数据,和一个列通常代表一个属性的物品(一些列可能对应于复杂的表达式的属性或静态文本)。 CGridView既支持排序和分页的数据项。排序和分页可以在AJAX模式或正常的页面请求。使用CGridView的一个好处是,当用户浏览器禁用JavaScript,排序和分页自动退化普通页面请求和仍然正常运行。
实例代码如下:
- Maven项目打包成可执行Jar文件
dyy_gusi
assembly
Maven项目打包成可执行Jar文件
在使用Maven完成项目以后,如果是需要打包成可执行的Jar文件,我们通过eclipse的导出很麻烦,还得指定入口文件的位置,还得说明依赖的jar包,既然都使用Maven了,很重要的一个目的就是让这些繁琐的操作简单。我们可以通过插件完成这项工作,使用assembly插件。具体使用方式如下:
1、在项目中加入插件的依赖:
<plugin>
- php常见错误
geeksun
PHP
1. kevent() reported that connect() failed (61: Connection refused) while connecting to upstream, client: 127.0.0.1, server: localhost, request: "GET / HTTP/1.1", upstream: "fastc
- 修改linux的用户名
hongtoushizi
linuxchange password
Change Linux Username
更改Linux用户名,需要修改4个系统的文件:
/etc/passwd
/etc/shadow
/etc/group
/etc/gshadow
古老/传统的方法是使用vi去直接修改,但是这有安全隐患(具体可自己搜一下),所以后来改成使用这些命令去代替:
vipw
vipw -s
vigr
vigr -s
具体的操作顺
- 第五章 常用Lua开发库1-redis、mysql、http客户端
jinnianshilongnian
nginxlua
对于开发来说需要有好的生态开发库来辅助我们快速开发,而Lua中也有大多数我们需要的第三方开发库如Redis、Memcached、Mysql、Http客户端、JSON、模板引擎等。
一些常见的Lua库可以在github上搜索,https://github.com/search?utf8=%E2%9C%93&q=lua+resty。
Redis客户端
lua-resty-r
- zkClient 监控机制实现
liyonghui160com
zkClient 监控机制实现
直接使用zk的api实现业务功能比较繁琐。因为要处理session loss,session expire等异常,在发生这些异常后进行重连。又因为ZK的watcher是一次性的,如果要基于wather实现发布/订阅模式,还要自己包装一下,将一次性订阅包装成持久订阅。另外如果要使用抽象级别更高的功能,比如分布式锁,leader选举
- 在Mysql 众多表中查找一个表名或者字段名的 SQL 语句
pda158
mysql
在Mysql 众多表中查找一个表名或者字段名的 SQL 语句:
方法一:SELECT table_name, column_name from information_schema.columns WHERE column_name LIKE 'Name';
方法二:SELECT column_name from information_schema.colum
- 程序员对英语的依赖
Smile.zeng
英语程序猿
1、程序员最基本的技能,至少要能写得出代码,当我们还在为建立类的时候思考用什么单词发牢骚的时候,英语与别人的差距就直接表现出来咯。
2、程序员最起码能认识开发工具里的英语单词,不然怎么知道使用这些开发工具。
3、进阶一点,就是能读懂别人的代码,有利于我们学习人家的思路和技术。
4、写的程序至少能有一定的可读性,至少要人别人能懂吧...
以上一些问题,充分说明了英语对程序猿的重要性。骚年
- Oracle学习笔记(8) 使用PLSQL编写触发器
vipbooks
oraclesql编程活动Access
时间过得真快啊,转眼就到了Oracle学习笔记的最后个章节了,通过前面七章的学习大家应该对Oracle编程有了一定了了解了吧,这东东如果一段时间不用很快就会忘记了,所以我会把自己学习过的东西做好详细的笔记,用到的时候可以随时查找,马上上手!希望这些笔记能对大家有些帮助!
这是第八章的学习笔记,学习完第七章的子程序和包之后