辛未羊的网络日志

证明过程

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

起因

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

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

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

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

使用方法

使用Python的Pillow库可将程序中指定的文本绘制到画布（canvas）上，下面的代码是标准步骤，绘制一段天城文（devanagari）文本，并保存图片到本地。

文字特性

天城文（Devanagari）是诸多南亚语言的文字，其中最有名的当属梵语（Sanskrit）。天城文作为婆罗米系元音附标文字，特点鲜明，下面介绍用计算机处理天城文所需的基础知识。

单摆系统

最近几个学期我在上「自动控制原理」课程，在讲解「控制系统的数学模型」这部分内容时，我使用了经典的单摆系统模型作为实例，在课堂上取得了不错的效果。

升级内容

4月中旬忙里偷闲对网站做了几年以来最大的升级。将NeXT主题从7.x版本升级到8.x版本，页面链接的前缀从http变成了https，还修改了向搜索引擎提交网站地图的配置。虽从网站外观上看不出任何变化，但背后的改变是巨大的。

卡顿和弹窗

场景一，朋友才买了一两年的台式机非常卡顿，编辑文档都不流畅，更别说看电影打游戏了。硬件性能肯定是没问题的，于是他想让我帮忙重装下系统。