MIT的软体技术教授Adam Chlipala设计了新的Ur/Web程式语言，这是一个整合HTML、
你一定在机场见过用来搜寻毒品和爆炸物的警犬，可是你知道能搜寻毒品的机器人吗？最近，来自美国麻省理工学
