关于 FELT 的杂谈

写在 FELT 宣布即将休止创作后

今天正准备洗澡，忽闻群友谈到车万同人社团 FELT 的事情，去主催 NAGI 的 Twitter 上果然看到了这样置顶的 Tweet。凭借我蹩脚的日语，姑且理解了其意义，简而言之：FELT 即将休止创作，下一张专辑就会是 FELT 的最后一张专辑。看到这条消息之后，想了想还是要写点什么，本来只是打算在 telegram channel 里面提几句，不过眼见篇幅不短，遂移到 blog 上来了。
Posted on 2020-08-15 Last edited on 2020-08-16 music touhou

如何搭建一个 full-text search 引擎

在文档中查询的技术

当我们使用搜索引擎，使用网站或者在线服务内置的搜索功能，或者管理本地的文本文件的时候，都会面临这样一种需求：如何在大量的自然语言文本中快速找到符合特定模式的部分？对于精确的字符串匹配，当然已经有成熟的算法了。但是更多的时候我们需要处理更复杂的需求：用户可能只记得大概的模式，因此我们的搜索功能应该能够在一定限度内容忍不一致；为了让用户能够更快找到有用的信息，我们需要将搜索的结果按照 “相关性” 排序；为了让交互更加直观，我们需要向用户展示一些预览文本，从而让用户能够了解自己搜索到了什么。
Posted on 2020-07-11 Last edited on 2020-07-31 tech algorithm

计算机的历史——世界图景的数字化

A History of Modern Computing 读书笔记写作杂谈

在上学期选了《技术哲学》课知难而退后，这学期我还是忍不住选了胡老师的《技术通史》课。这门课的期末作业是读书笔记，胡老师提供了几十本各种各样的书（如下图所示）。在这学期里面者确实读过其中的好几本，包括《人类简史》，《技术与文明》，《理解媒介》，《城市发展史》（看了一半），《口语文化和书面文化》（看了一小部分）。最后还是选择了 A History of Modern Computing 这本书作为读书笔记的对象。
Posted on 2020-06-21 Last edited on 2020-06-21 history tech

VSCode 中文快捷键跳转解决方案

记一次 VSCode 插件的开发（魔改）过程

之前的文章介绍过，我常用 VSCode 来进行 LaTeX 写作。但是当进行中文写作时，VSCode 的一个问题常常让我感到不快：对于英文的内容，我们可以使用 ctrl + 方向键 来进行以单词为单位的跳转（如果只用方向键的话，效果是以字符为单位跳转），ctrl + backspace 可以做到以单词为单位的删除，等等。然而由于 VSCode 机制的原因，这样的快捷健对于中文的效果是很糟糕的：它会将一整段中文识别为一个单词，这导致跳转 / 删除的范围是一整段，这一般并不是我们需要的。本文将记录我解决这一问题的过程。
Posted on 2020-02-04 Last edited on 2020-07-11 dev VSCode

小记：Submodular 函数与社交网络

论 2017 CTST D1T3 的背景

2017 年的 CTST 上有一道看起来有些奇特的题目，当年这道题由于放送事故被整成了错题，导致没有起到任何区分度。我原本也没有太在意这样的一个题目，直到这学期某位老师给我们讲课的时候讲到了一些关于社交网络传播的内容，经过一些思考之后，我发现老师讲的内容里面正好蕴含了上面这道题目的背景。遂（在大半个学期之后）记录之。
Posted on 2020-01-09 Last edited on 2020-01-10 math

LaTeX Writing Workflow

之前的文章中介绍了 LaTeX 的工具链的相关内容。在这一节中，我将根据我当前微小的经验，记录一下我目前使用 LaTeX 写出一篇完整的论文所需要的工具和工作流。
Posted on 2020-01-08 Last edited on 2020-04-27 latex

Distributed System for Deep learning Training: A Survey

Recent years have witnessed a growth in computation requirement to train modern deep neural networks with massive data volume and model size. Distributed systems are widely employed to accelerate the training process. In this article, we survey the principle and technology to construct such a system.
Posted on 2020-01-08 Last edited on 2020-08-16 AI paper

结构光技术——原理及其应用

结构光技术是一种非接触式的、高精度的三维测量技术。通过一个投影装置投射出特定的图案，摄像机拍摄并识别这个图案，可以对被拍摄的物体的表面三维情况进行测量。本文对结构光技术的原理和应用进行了综合的考察。
Posted on 2019-12-19 Last edited on 2020-08-16 paper tech

Theoretical Analysis of Multi-layer Neural Network: A Survey

Though multi-layer neural network has been used in a wide range of areas, the explanation about how it works well is still insufficient. This survey primarily focus on the theoretical analysis about the approximation ability and training process of neural network.
Posted on 2019-11-15 Last edited on 2020-08-16 AI paper

多边形的三角形剖分结构及其应用

本文为我的写作与沟通课程的短文终稿。主要介绍了关于三角形剖分的一些问题和应用。
Posted on 2019-11-10 Last edited on 2020-01-10 math paper algorithm

Dive into LaTeX, Part 1

LaTeX 工具链介绍

TeX作为 Kunth 为了 TAOCP 所开发的排版工具，它专注于生成高质量的学术排版效果，是我日常作业/文章写作的最佳选择之一。LaTeX 绝大多数情况下以 pdf 作为输出格式，能够在各种设备上保持相同的显示效果，这在很大程度上和 LaTeX 是针对出版物排版所设计的有关（这和注重自适应式布局的 web 型格式，例如 markdown, html, epub 不同）。对于没有较强排版需求的情况下，例如笔记，发言稿等等，我会使用 Typora 来写 Markdown。在本文和后续的一些文章中，我将介绍 LaTeX 的一些内容，以及用它来编写文章，尤其是学术文章的实践。
Posted on 2019-10-24 Last edited on 2020-01-10 CS LaTeX

关于博客搭建过程的一些总结和吐槽

前些日子看到Github pages的一些介绍（虽然之前就知道了），再加上想复习一下CSS，于是便脑子一热萌发了使用Github pages搭建blog的想法，写了几天代码CSS，算是把基本功能都完成了。这里总结一些搭建过程中遇到的问题。
Posted on 2019-08-08 Last edited on 2020-06-21 misc

北夏第四题的证明

昨晚看到今年北夏第一天的题目，显然第四题是最好看的一个，发现一个比较自然的做法，记录如下：
Posted on 2019-08-06 Last edited on 2019-11-16 math

小数部分均匀分布的初等（大概）证明

$\{n\alpha\}$的均匀分布性是一个非常方便好用的命题，之前我一直只知道使用Wyle判据的证明方法，但是这一证明方法需要用到稍深入的分析学，包括Weierstrass的三角多项式逼近定理。今天我正在思考另外一个和小数部分有关的命题，突然想到了一个有趣的方法，可以用于证明这个问题，于是便将它记录下来了.
Posted on 2019-08-04 Last edited on 2019-11-16 math

一个猜想的证明

立方体图子图的最大度

最近看到一篇文章，讲述了一个几十余年历史的猜想近日被证明的事情。令人惊讶的是论文中的这个证明主题居然只有不到两页，并且只用到了基本的线性代数，遂记录之。
Posted on 2019-08-01 Last edited on 2020-08-16 math