何晟

打开Excel文档

1. 按“Alt+F11”进入VBA环境；

2. 右击“Microsoft Excel 对象”；

3. 从其扩展菜单中选择“插入”-“模块”项；

4. 接着在打开的“模块1”编辑界面中，输入代码：

量子计算概述

介绍量子计算的关键概念、技术、算法、实施方案以及应用等内容。

整理自John Stillwell的《Mathematics and Its History》（2010）的Chapter 5。

Pell方程的描述

Pell方程（Pell's Equation）是一种特殊的丢番图方程（Diophantine Equation）。

即在整数域\(\mathbb{Z}\)中，求解如下形式方程的问题：

\[ x^2 - N y^2 = 1\]

其中\(N\)是一个不为平方数的正整数，使得\(x\)和\(y\)都为整数。

一元二次、三次、四次方程的求根公式

整理自Joseph J. Rotman的《Advanced Modern Algebra》（Part 1，2015）的Chapter A-1。

《椭圆曲线上的有理点》（对Introduction的翻译）

丢番图方程（Diophantine equations）的理论是数论（number theory ）的一个分支，主要研究多项式方程的整数解或有理数解。这个学科本身是以古希腊最伟大的代数学家之一，亚历山大的丢番图命名的，因为他提出并解决了许多这方面的问题。

大多数读者应该都熟悉费马大定理。这个定理是费马在17世纪提出的，即如果\(n \geq 3\)是一个整数，那么方程： \[X^n + Y^n = Z^n\] 没有非零的整数解\(X,Y,Z\)。相应地，这断言了方程： \[x^n + y^n = 1\] 在有理数上有解的唯一情况是\(x=0\)或\(y=0\)。

2022年，通读了《陶哲轩实分析》一书。其从Peano公理出发，依次定义自然数、整数、有理数、实数和加减乘除、极限等运算，一气呵成、让人膜拜。

因为是关于数学分析的书，Tao只在第三章讲了集合论，而数理逻辑还在附录里。

但是我们常常听说“集合论是现代数学的基石”，那么理所当然是可以在定义数系之前，先做集合论的公理化。

因此我也想做一次尝试，在不做其他任何预设的情况下，完全从数学公理出发，进行一次“严谨的”推导。

当然有很多离散数学、集合论的课程就是这样做的。

不过个人能力有限，打算只证明一个小学生都知道的简单定理——算术基本定理，就收工。

平时总会跟大家瞎聊一些东西，这时候发现有的人想聊哲学，有的人想聊物理，我思考了很久就找到了“时间”这个话题。

其实不管是生活中，还是科学理论和技术实践上，都有许多跟时间有关的事情，这些是可以串起来聊一聊的。

不过此文很长，并且有点“凌乱”，最后可能会让人觉得其实只是“好像一些没啥用的知识又增加了”。

1、SonarQube容器化安装

采用docker-compose方式部署SonarQube服务，但是需要先做一些系统设置才能启动

• 对sonarqube挂载目录赋权：

1
2

cd /opt/sonarqube/   #与docker-compose.yml文件一致
chown -R 999:999 .

Hyperledger项目提供了一个官方的区块链浏览器（现在只支持Fabric），见官方文档。

Explorer项目最早使用的是MySQL的数据库，但现在又切换成了PostgresSQL。官方项目没有提供docker部署的方式，这里提供一种用docker-compose部署的方法，则可以不需要安装node和npm了。

Cello 遵循典型的"主-从"工作体系结构。群集中有两种类型的节点：

• Master Node：Cello服务通过Worker Nodes提供的API接口管理（create/delete等）在Worker Nodes上的链，Master Node 提供web 面板(port 8080) and RESTful APIs (port 80).
• Worker Node： Cello支持从单个服务器到集群的多种类型的工作节点。以Docker主机或Swarm集群为例，Worker Nodes提供的API接口应该可以从主节点访问（通常在端口2375）