<p class="ql-block">6月7-11日到贵阳出差，现在贵州大学进行博士答辩和讲座，后来去了两个国企进行数字化转型升级的调研和讨论。开始住在花溪公园附近的花溪迎宾馆（原来的国宾馆）。</p><p class="ql-block"> 贵阳花溪公园，1985年—36年前的9月底至10月初，在这里第一次参加讲习班，主题是代数规约（Algebraic Specification），那是我第一次参加计算机科学讲习班，第一次听外国教授讲课，第一次见到两个硕士同学、第一次见老朋友Manfred Broy 教授，第一次到贵阳，就在这个公园、这里的那个两层建筑 里，走过这百步桥。。。</p><p class="ql-block"> 讲习班是陆汝钤教授（院士）、袁崇义教授和周龙骧教授。本地事物是原来贵州教育学院李常明教授，都是可敬可佩的学者</p><p class="ql-block"> 讲习班的学生其实很少，也就是10来个，记得我和两位师兄弟，倪海初和刘俊博（我是周巢尘老师1985年收的代培硕士，我任职单位要求我把讲的课讲完并带出一个接课的老师后再去北京，所以1986年才到北京和老师及师兄弟一起学次研修），软件所钟翠浩的一个学生（任强，就生病的那位）、唐稚松的一位谢宏亮，清华大学的一位（刘激杨，好像是跟唐稚松读），国防科大的王献昌。这些人都出国了，后来有会过的。我只还与两个是兄弟和王献昌有联系。</p><p class="ql-block"> 那次听课基本上都听懂，不懂也不说不懂，但倒也不装懂，主要是有了好多第一次的经验，这很重要。。。</p><p class="ql-block"> 两个外国教授Manfred Broy 和 Bernd Kreig-Bruckner（人称BKB）都是30来岁就出名了教授了。我那时也20有5了，还都是第一次呢。这是我想起这几日衡水中那个中学生的“农村的土猪到城市拱白菜”的讲演（学生的讲演是由学校的编导的，所以不必过于批评学生）。如果按照讲演的理念和逻辑，我这个“中农村的猪是不是也要去珙人家欧洲和美国的白菜了呀“。我倒也去拱了，从衡水地区一个农村拱到了大学、拱到了北京科学院、拱到了英国后来到了联合国。但是是求知识、长见识、明道理，是自己懂事些，理解尊重世界和各种人些。其实把白菜作为知识的比喻，就好了。那时候其实也就是自然驱动没有什么主观意识和规划，更没有什么励志。也可能因为这样子，自己一直是是一个普通人，也只能是一个普通人，也乐于做一个普通人。</p><p class="ql-block"><span style="font-size: 18px;">BKB后来是刘君博和他夫人的博士生导师。</span>Manfred Broy后来对我的学术思想有较深的影响，尤其是实在代数的使用、模型驱动和题词架构建模，我们总是有很多相似的思想。他曾经是UNU-IIST的理事会成员，后来是主席，一共十年之久，每年要见两次面。2019年曾邀请他到西南大学访问讲学。</p> <p class="ql-block" style="text-align: center;"><span style="color: rgb(22, 126, 251);">记得当时有学生跳进去游泳了</span></p> <p class="ql-block" style="text-align: center;"><span style="color: rgb(22, 126, 251);">重回花溪河、再走百步桥</span></p> <p class="ql-block">在这个当时的小旅馆或招待所，上面是客房、下面是饭厅，最好吃的是贵州的粉。服务员对我们像亲人，有个同学病了，为他做病号饭，后来住院了还做了饭送到医院。。。</p><p class="ql-block"> 据说花溪有两个有名房子，分别叫“东舍“和“西舍“。后统一为西舍。有不少政治领袖，军政要员和文化名流在那里下榻过。我想，那不是我们上课的。▼</p> <p class="ql-block" style="text-align: center;"><b style="color: rgb(22, 126, 251);">现在是一个私人经营的餐饮店</b>▼</p><p class="ql-block"><br></p> <p class="ql-block"><b style="color: rgb(22, 126, 251);">记忆最深的是百步桥（那个时候还不知道叫这个名字）</b>▼</p><p class="ql-block"><br></p> <p class="ql-block" style="text-align: center;"><b style="color: rgb(22, 126, 251);">原来街上的小吃都搬到了商场里面</b></p> <p class="ql-block" style="text-align: center;"><b style="color: rgb(22, 126, 251);">恋爱豆腐、丝娃娃等</b>▼</p><p class="ql-block"><br></p> <p class="ql-block">匆匆一个半小时，在澳门带的博士生李丹配有走了花溪公园，这里的植物茂盛了，一些地方修了，但还是有一种质朴和自然的美与静雅。。。</p> <p class="ql-block" style="text-align: center;"><b style="color: rgb(22, 126, 251);">陆汝钤院士寄来36年前的照片</b></p><p class="ql-block">我将我拍的房子和百步桥的几张照片发给了陆院士的学生，陆院士转来了一些他、袁崇义教授和周龙骧教授等和Manfred及BKB的一些照片，那个时候陆院士50岁，Manfred和BKB三十六七岁样子。欧洲教授年轻的时候喜欢蓄胡子，显得老成持重吧。</p> <p class="ql-block" style="text-align: center;"><span style="color: rgb(176, 79, 187);">这应该是贵阳的老机场</span></p><p class="ql-block"><span style="color: rgb(22, 126, 251); font-size: 15px;">左四：陆老师，左五：Manfred Btoy，左六：BKB。左一应该是李常明老师。</span>▼</p><p class="ql-block"><br></p> <p class="ql-block" style="text-align: center;">左一：袁崇义老师▼</p> <p class="ql-block" style="text-align: center;"><span style="color: rgb(22, 126, 251);">左起：袁崇义、Broy、BKB、陆老师</span>▼</p><p class="ql-block"><br></p> <p class="ql-block"><span style="color: rgb(22, 126, 251);">我9号拍了这个喷泉，后面的礼堂依然还在，还有上面的红五星</span>▼</p> <p class="ql-block" style="text-align: center;"><b style="color: rgb(22, 126, 251);">贵阳龙宫</b></p><p class="ql-block"><span style="font-size: 15px; color: rgb(22, 126, 251);">左一：周龙骧，右一：可能是李常明（上课他不来）</span></p><p class="ql-block"><span style="font-size: 15px; color: rgb(22, 126, 251);">周老师的照片很少，看到他挎一个相机，想其他的照片是他拍的吧。</span>▼</p> <p class="ql-block"><span style="color: rgb(22, 126, 251);">后面右边的应该是李常明，模糊记的他和我都是黑瘦的，头发很多（我那个时候）</span>▼</p> <p class="ql-block" style="text-align: center;"><span style="color: rgb(22, 126, 251);">这一张应该说明右一是李常明</span>▼</p> <p class="ql-block"><span style="color: rgb(22, 126, 251);">这应该是我们当时听说的两位教授应邀参加的贵州省政府国庆招待会</span>▼</p> <p class="ql-block"><span style="color: rgb(22, 126, 251);">我9号在贵大一个地方拍了照片，和他们一张照片拍摄地方相同。</span>▼</p> <p class="ql-block">当时学生中流传几个故事：1）贵州省或贵阳市领导请两位德国专家吃二级保护动物娃娃鱼；2）Manfred Broy喝茅台酒喝醉倒了到桌子底下；3）他们把茅台对啤酒喝。</p><p class="ql-block"> 多年后我曾向Manfred求证，关于1）他说是的真的，当时不舍得下筷子。他又说，说是请他们吃，其实是请客的一他们的名义申请，自己很想吃。关于2）说是在贵大，第一次他不懂中国酒桌上的文化和游戏规则，所以被轮番敬酒，就醉了。第二次他了解游戏规则，把陪喝的一两个喝醉了。忘了求证3）。</p> <p class="ql-block">下榻的花溪迎宾旅馆（原来的国宾馆）里的孔雀园中孔雀开屏▼</p>