欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Schema.org
来自开放百科 - 灰狐
微软、谷歌和雅虎三大引擎联手推出schema.org，意在推动语义网的发展，那些符合schema.org标注格式的网站，不仅能提高用户搜索效率，也能给网站管理员以更优厚的回报，这一措施，是否意味着语义网的春天即将到来？
链接
分享您的观点
