欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenStreetMap
来自开放百科 - 灰狐
开放街道图(OpenStreetMap,简称OSM)是一个网上地图协作计划,目标是创造一个内容自由且能让所有人编辑的世界地图。
OSM的地图由用户根据手提GPS装置、航空摄影照片、其他自由内容甚至单靠地方绘制。网站里的地图图像及向量数据皆以共享创意姓名标示-相同方式分享2.0授权。
OSM网站的灵感来自维基百科等网站。这可从该网地图页的“编辑”按钮及其完整修订历史获知。经注册的用户可上载GPS路径及使用内置的编辑程序编辑数据。
链接
<discussion>characters_max=300</discussion>
分享您的观点