【历史上的今天】5 月 11 日：Dijkstra 算法开发者诞生；电子表格软件的开山鼻祖；机器狗 AIBO 问世