pzhan666@gmaii.com

虽然离开了林茨，我和符号计算研究所的良好关系一直保持至今。1993年到2000年的八年，我每年都回到那里上课。1994年，吴先生的专著由施普林格在维也纳出版，该书是他后来获得邵逸夫奖的引证著作。我与同事合编的有关自动推理的论文集和期刊专辑等也于次年出版。到法国之后，我与数学机械化研究中心的联络更加频繁。1993年之后的25年，我近百次往返于巴黎和北京之间，亲历了吴先生领导的数学机械化事业的发展过程，见证了它的兴盛与辉煌。数学机械化的研究队伍在不断壮大，学术影响力在不断提升，以先生为代表的中国学派已初步形成。

曾有大陆配偶感慨道：“被歧视不少见，但是民进党却是少有的主张将对大陆的歧视写进法律、并且认真执行的政党。”从这个角度看，跟从严审批大陆民众赴台申请、从严审查大陆书籍在台出版一样，台湾当局从严对待大陆配偶一样，都是“反中情绪”在作祟，让主张或直接参与两岸交流的人士受苦。不过，大陆民众赴台申请被拒可以不去、大陆书籍审查不通过可以不出版，长期在台湾生活的陆配遭遇歧视要怎么办？除了积极表达诉求、要求合理待遇，能做的似乎不多。台湾社会鼓励生育、文化软实力也较强，很多在台陆配更关心子女的成长问题，而对政治较为冷漠。

微盟招股书中披露的募资用途也显示，将把约25%的募集资金用于战略合作、投资和收购，为进入新的垂直行业做准备。此外，30%将用于提高研发能力和改善技术基础设施，加强数据库算法、微盟云平台并开发软硬件整合的智慧商业解决方案，这些产品包括微商城、客来店、智慧餐厅、智慧酒店、智慧外卖等；15%用于提升销售和营销能力的投资，10%用于购买精准营销业务的社交媒体公告流量，10%用于拓展营销云、销售云产品及销售渠道，剩下10%用于公司一般用途。

除了明日首批拟上会企业微芯生物、安集科技、天准科技3家企业将参与上市审核“首秀”。此外，第二批、第三批上会企业上会审核时间分别为6月11日、6月13日。5只科创战略配售基金火热发行万众期待，第二批科创主题基金即将于6月5日发行。第二批共有5只，均是3年封闭灵活配置型基金，不低于80%的非现金资产投资于科创主题相关证券，募集规模上限均是10亿，采用末日比例配售。

责任编辑：孙文轩威马汽车陷退订风波被业内称为“价格屠夫”的威马汽车，被曝出因供应商“电池自燃门”事件，产品退订率高达三成。尽管威马汽车创始人、董事长兼CEO沈晖随后否认这一传言，威马汽车联合创始人、战略规划副总裁陆斌在微博上也公开回应，称采用谷神电池的相关产品并非是交付给C端用户，但对于威马的表态，公众并不买账。

首钢股份：子公司开发高强结构钢产品 参与雄安新区高铁站建设首钢股份（000959）11月19日晚间公告，公司控股子公司京唐公司今年3月与雄安新区高铁站项目施工方达成合作意向，为其提供高强结构用钢。京唐公司联合中国建筑设计研究院，开发焊接性能良好的Q460GJ产品，应用于中建钢构有限公司所承揽的雄安高铁标段工程。该标段工程用中厚板4.7万吨，目前京唐公司供货2.4万吨，占比超过50%，其中高级别高强高建钢供货占该钢级总量的70%以上。