摘要： 本篇参考： ExpRe[3] python[0] Anaconda配置python环境 https://www.cnblogs.com/minor-second/p/15549061.html ExpRe[31] LaTeX[0] Overleaf在线使用，texlive本地使用，VSCode插件 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.16，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇前置 阅读全文

摘要： 本篇前置： IncRe[4] CTM 9 Relational Programming 前半部分 https://www.cnblogs.com/minor-second/p/15692707.html 基础信息 书名：Concepts, Techniques, and Models of Comp 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.15，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[10] Ubuntu[2] 准备神秘软件、备份恢复软件 https: 阅读全文

摘要： 本篇前置： IncRe[3] CTM 2.1 Defining practical programming languages https://www.cnblogs.com/minor-second/p/15691517.html 基础信息 书名：Concepts, Techniques, and 阅读全文

摘要： 本篇前置： IncRe[2] CTM 1 Introduction to Programming Concepts 前半部分 https://www.cnblogs.com/minor-second/p/15690961.html 基础信息 书名：Concepts, Techniques, and 阅读全文

摘要： 本篇前置： IncRe[1] CTM 0 Preface, Running the Example Programs https://www.cnblogs.com/minor-second/p/15690392.html 基础信息 书名：Concepts, Techniques, and Mode 阅读全文

摘要： 本篇前置： ExpRe[24] Oz[1] 变量，组合，函数 https://www.cnblogs.com/minor-second/p/15690147.html 基础信息 书名：Concepts, Techniques, and Models of Computer Programming I 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[23] Oz[0] emacs初步，Hello world http 阅读全文

摘要： 时效性 本篇撰写时间为2021.12.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[11] Docker[0] 基础使用，涉及GPU的使用，深度学习镜像 阅读全文