图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 53 期。图灵奖：约瑟夫·斯发基斯（2007）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 Wiki: Joseph Sifakis，翻译基于 谷歌翻译.
模型检查 Model-Checking
约瑟夫·斯发基斯（英语：Joseph Sifakis，希腊语：Ιωσήφ Σηφάκης，1946年12月26日—），希腊计算机科学家。他曾担任清华大学（2011-2012 年）和南方科技大学（2019 年）的客座教授。
他于 2007 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 49 期。图灵奖：彼得·诺尔（2005）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 Peter Naur，翻译基于 谷歌翻译.
Backus–Naur form (巴科斯-诺尔范式)
Peter Naur(1928年10月25日- 2016年1月3日)，丹麦计算机科学先驱，2005年图灵奖得主。他最为人所铭记的是，他与John Backus共同开发了用于描述大多数编程语言语法的Backus - naur形式(BNF)表示法。他还为创建ALGOL 60语言做出了贡献。
他于 2005 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 48 期。图灵奖：罗伯特·艾略特·卡恩（2004）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 [https://en.wikipedia.org/wiki/Robert_Kahn_(computer_scientist)]，翻译基于 谷歌翻译.
“互联网之父”之一，另一为同年图灵奖得主
罗伯特·艾略特·卡恩（Robert Elliot Kahn，生于1938年12月23日)，美国电气工程师，他与 Vint Cerf 一起，首先提出了传输控制协议(TCP)和互联网协议(IP)，这是互联网核心的基本通信协议。
他于 2004 年获得图灵奖。
数据可视化一直是一个有用却常常被忽视的数据分析方法，本系列借助 gnuplot 或 Python 包以工程师视角介绍常见的图例展示方法。数据可视化：常见统计量（4，略进阶）（附 python 代码）
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
前面的章节里，我们从“统计量”（statistic）起步。
这一节先接着说一下其余的常见统计量以及两个常用的概率分布，至此就结束了基础知识背景的回顾。其实这方面的内容还有很多，但局限于时间、精力，如果后续“可视化”的章节里有涉及，我们再补充。
这篇写的好累，如果你觉得有用还是点个赞吧。
| 中文 | 英文 | 常用符号 | $\LaTeX$ |
|---|---|---|---|
| 均值 | mean | $\mu$, $\bar{x}$ | \mu, \bar{x} |
| 中位数 | median | $\text{med}$ | \text{med} |
| 众数 | mode | $\text{mode}$ | \text{mode} |
| 方差 | variance | $\sigma^2$ | \sigma^2 |
| 标准差 | standard deviation | $\sigma$ | \sigma |
| 最大值 | maximum | $\max$ | \max |
| 最小值 | minimum | $\min$ | \min |
| 分位数 | quantile | $Q$ | |
| 矩 | Moment | $\mu_{n}$ | \mu_{n} |
| 偏度 | skewness | ||
| 峰度 | kurtosis | $\operatorname {Kurt}[X]$ | |
| 正态分布 | normal distribution | ${X\ \sim \mathcal {N}}(\mu ,\sigma ^{2})$ | |
| 卡方分布 | $\chi^2$-distribution | $Q\ \sim \ \chi ^{2}(k)$ |
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 47 期。图灵奖：文顿·瑟夫（2004）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Vint_Cerf，翻译基于 谷歌翻译.
“互联网之父”之一，另一为同年图灵奖得主
文顿·格雷·瑟夫（Vinton Gray Cerf，生于 1943 年 6 月 23 日）是美国互联网先驱，被公认为“互联网之父”之一，与 TCP/IP 共同开发者 Bob Kahn 共享这一称号。
他于 2004 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 46 期。图灵奖：艾伦·凯（2003）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Alan Kay，翻译基于 谷歌翻译.
GUI，smalltalk，面向对象
艾伦·科提斯·凯（Alan Curtis Kay，生于 1940 年 5 月 17 日），美国计算机科学家，以其在面向对象编程和窗口图形用户界面 (GUI) 设计方面的开创性工作而闻名。凯还是专业爵士吉他手，业余古典管风琴手，作曲家和戏剧设计师。
在施乐帕克研究中心，他领导了第一个现代窗口计算机桌面界面的设计和开发。
在那里，他还领导了颇具影响力的面向对象编程语言 Smalltalk 的开发，他亲自设计了该语言的大部分早期版本，并创造了“面向对象”一词。
他于 2003 年获得图灵奖。
数据可视化一直是一个有用却又常常被忽视的数据分析方法，本系列借助 gnuplot 或 Python 包以工程师视角介绍常见的图例展示方法。数据可视化：常见统计量（2）（附 python 代码）
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
上一节，我们从“统计量”（statistic）起步。这一节先回顾一下一些常见的统计量。
| 中文 | 英文 | 常用符号 | $\LaTeX$ |
|---|---|---|---|
| 均值 | mean | $\mu$, $\bar{x}$ | \mu, \bar{x} |
| 中位数 | median | $\text{med}$ | \text{med} |
| 众数 | mode | $\text{mode}$ | \text{mode} |
| 期望值 | expectation | $\operatorname {E}$ | \operatorname {E} |
| 方差 | variance | $\sigma^2$ | \sigma^2 |
| 标准差 | standard deviation | $\sigma$ | \sigma |
| 最大值 | maximum | $\max$ | \max |
| 最小值 | minimum | $\min$ | \min |
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
❝
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 45 期。图灵奖：阿迪·沙米尔（2002）
❝
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
❝
本文来自 wiki:Adi Shamir[1]，翻译基于 谷歌翻译[2].
图片
Adi Shamir
❝
RSA 密码系统的 “S”
数据可视化一直是一个有用却用常常被忽视的数据分析方法，本系列借助 gnuplot 或 Python 包介绍常见的图例展示方法。数据可视化：统计量（2）
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
我们将从一些统计学相关的概念起步，以确保各位读者在基础知识方面有一个合格的起点。道理其实很简单——之所以使用“数据可视化”，那必然是因为从原始数据上很难发现差异或者规律，但我们至少要能知道如何在原始数据上进行研究。
所以，我们从“统计量”（statistic）起步。
插一句，英文的 statistic 这个术语有点拗口，它既可以表示用来计算统计量的函数，例如 do a statistic on something；也可以表示计算的结果，也就是这里的统计量。
数据可视化一直是一个有用却用常常被忽视的数据分析方法，本系列借助 gnuplot 或 Python 包介绍常见的图例展示方法。
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
上周四的文章介绍了平行坐标图（parallel coordinates plot），是我最近工作中很苦恼的一个问题的解答。