美国科学院院士、世界超级计算机科学家陈世清访问高木学习交流。