应我院邀请，2月16日下午，岛根大学校长服部泰直教授在砺志楼114作了《Topological spaces derived from a study on topological aspects in domain theory》的报告。相关老师和学生聆听了此次报告，报告由林梦雷院长主持。
Domain理论是Done Scott于1970年提出的，现已在计算科学和一些基础理论学科中得到重要的应用。在报告中, 服部泰直教授首先介绍了Domain理论中的一些基本知识以及拓扑。其次，回顾了近十年来与Lawson拓扑和Martin拓扑相关的拓扑空间和拓扑性质的相关结论。紧接着，展示了他们团队近些年开展的关于Domain理论研究的一些重要成果。最后，介绍了关于Domain理论的一些公开性问题和今后可开展的课题。报告结束后，在场的老师和学生就相关研究问题进行了探讨和交流。
