2012年8月，日本京都大学的望月新一教授在自己的网站上发表了“对ABC猜想进行证明”的论文，引起了很大反响。该论文是一篇以《宇宙际泰希米勒理论（IUT理论））为题使用IUT理论对ABC猜想进行证明。论文在经历了8年多的同行评议后，于2021年4月刊登在数学专业期刊PRIMS上。

https://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html

tasksel

参考：https://markontech.com/linux/install-gnome-on-debian-11/#:~:text=%20Install%20Gnome%20on%20Debian%2011%20%201,quite%20simple%20and%20straightforward.%20%20...%20More%20

由于eGuideDog工具箱的自动配置功能仅针对Ubuntu，Debian需要额外做一些配置才能实现相关功能。

建议给用户添加sudo权限，使用起来遇到的问题会少很多。

Debian 11下读屏安装Ekho语音的方法：

如果当前用户是sudoer（安装的时候没有指定root密码），直接运行按eGuideDog工具箱的说明使用即可。否则按下面步骤操作：

https://www.prsgroup.com/

参考：

• https://zhuanlan.zhihu.com/p/149453892
• https://www3.weforum.org/docs/WEF_TheGlobalCompetitivenessReport2020.pdf

https://www.cnblogs.com/xueqiuqiu/articles/12966973.html

本文是基于 debian11 版本所写，其它版本可能不一样。
关于 debian 发行版，相关介绍就不说了，下载的话建议选择 non-free 版本，
non-free版本自带驱动更多，很少出现安装没声音的情况。
下载资源，建议选择国内的开源镜像站，国内的速度飞快。
比如中科大的镜像站， 
http://mirrors.ustc.edu.cn/debian-cdimage/unofficial/non-free/images-including-firmware/

GSL - GNU Scientific Library

https://isocpp.org/wiki/faq/coding-standards

阿里贡献的开源Java 微服务管理框架。

官网：https://nacos.io/en-us/docs/quick-start.html，要搞清楚用的是版本1还是2。

阿里巴巴库：https://github.com/alibaba/nacos

阿里巴巴的Nacos PHP客户端：https://github.com/neatlife/php-nacos

一个PHP SDK：https://github.com/Tinywan/nacos-sdk-php