IOT（Internet of things）物联网，新一代信息技术的重要组成部分，顾名思义就是物物相连的互联网。用户通过它延伸了物品与物品之间的链接，在这个小组里，我们交互信息、发表观点，交流认识，

程序设计语言理论方面的学习笔记，以及其实现、编译器、解释器技术。程序设计的方法论的学习笔记、软件形式化技术的学习笔记，以及以上各方面的短消息和动态。