辛未羊的网络日志

今天是立春，是我认为最应该作为一年之始的日子。前几天天气特别暖和，甚至可以穿着单衣跑步。跑步时在操场边的草地上欣喜地看到了今年的第一抹新绿，春天悄悄地来了。

2022年盛夏，北海铁三角一起去贵州和湖南玩了一圈，当时因为懒没有写游记。前几天去柳州我都扯出了篇文章，于是觉得去年夏天的旅行也应该记录下来。

今年寒假本想自驾去海南，可惜铁三角之一的小伙比香港记者跑得还快，一放假就回家了，没有凑足人数。但我很想出去散心，于是1月6日上午临时决定一个人去柳州转转，收拾好东西后，中午就出发了。

我要在大数组中匹配特定的连续数字序列，数组元素是16位整型数据，绝大部分序列的长度为2或3。很显然，这和字符串匹配算法很类似，只是元素类型不同。

安全性定义

选择明文攻击（Chosen-Plaintext Attack）指敌手能够选择不同的明文作为输入提供给加密算法，得到相应的密文，以此确定其他密文对应的明文，从而破解方案。

证明过程

归约证明（proof by reduction）是现代密码学中证明方案安全性的重要方法，甚至是一些教材中使用的唯一方法。它的思路是，假设某个问题难以解决，然后证明基于该问题的构造方法在该假设下是安全的。

起因

因为要处理天城文，最近学习了该文字的基础知识，了解了计算机如何存储和显示字符。查阅资料时用到了英语，处理文本用到了Python语言，我又切身体会到了语言（包括自然语言和编程语言）的重要性。

我想从天城文字体文件得到它所支持的字符，字体文件中存储的是图形，而我想得到文本形式，本质上是编码。上篇文章介绍的方法得到了所支持字形的名称，我发现字形名称就是天城文的拉丁字母记号，那么应该可以通过文字转写得到对应的天城文文本。

天城文的辅音音丛按照规则合写在一起为合字，所有的合写规则超过1000种，不同字体文件所支持的合写规则数量和种类不一样。我需要获取天城文字体文件支持的所有字形（glyph），以统计它所支持的合字字符。

最近得到一张全国分县地图，将我去过的县级行政区全部涂上了颜色。必须是出了机场、车站、高速服务区才算去过，不然「去过」的地方可多了。