这是一个创建于 2108 天前的主题，其中的信息可能已经有所发展或是发生改变。
现代志怪故事《女娲补上镜图》
所谓 上境图 是指函数图像和它的上方构成的图像。女娲补上境图是指把上境图变成它的闭凸包，这对应于求函数的凸包络，如下图。
这个社区对数学兴趣不是很大，还是说说《女娲补上境图》里的可访问性 (accessibility) 吧。
阅读数学公式
我最近给 blog 的 Markdown 编译器增加了一个新功能：允许用一种快捷的语法给数学公式增加读法。例如先前编译
设 `math:f\in\mathcal{C}\left(\mathbb{R}^n\right)`，那么……
出来的内容很难用读屏器读懂。现在增加了一个语法：
设 `math:\@arialabel{{f 是 n 维欧式空间上的连续可微函数}}f\in\mathcal{C}\left(\mathbb{R}^n\right)`，那么……
编译出来的内容在原先的 f\in\mathcal{C}\left(\mathbb{R}^n\right) 外面套了一层 <span role="math" aria-label="f 是 n 维欧式空间上的连续可微函数"></span>，这样读屏器就可以把数学公式按照自然语言都出来了。
目前的问题
- 数学公式输入工作量大幅度增加，因为需要人工指定一个读公式的方法。
- macOS 上用 Safari 浏览时，VoiceOver 不能正确读出
math角色的aria-label；而 Windows 讲述人和 iOS VoiceOver 都可以，所以我觉得这是 macOS VoiceOver 的 bug，而且标准也 明确举了这样用的例子。
下面是广告时间。
《女娲补上境图》
《元博客》（博客构建器的更新记录）
顺便一说，《女娲补上境图》最后一个公式的读法是这样的：
f-of-x minus g-of-x is greater than or equal to f-star-star-of x minus g-of-x,
greater than or equal to lambda times f-star-star-of-x minus g-of-x,
equal to lambda times f-star-star-of-x minus g-of-x plus one-minus-lambda times f-star-star-of-y minus g-of-y,
greater than or equal to f-star-star-of-z minus g-of-z,
greater than or equal to s,
hence greater than or equal to t.
 |
1
azh7138m 2019-02-15 19:03:51 +08:00
博客的 icon 在我的 ff 上，Highlights 以巨大的图片展示了出来，看上去就有点。。。。
|
 |
2
szzhiyang 2019-02-15 23:44:37 +08:00  1
看完这篇帖子后，我想起了一个成语 ——「曲高和寡」。
|
Select Language