中央纪委国家监委网站11月4日消息，中国工商银行原党委委员、副行长张红力涉嫌严重违纪违法，目前正接受中央纪委国家监委纪律审查和监察调查。　　“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　据台湾《联合报》4日报道，岛内“烟害防制法修正草案”经过3次协商后，各方逐渐达成共识。结果3日傍晚，突然传出民进党团总召柯建铭“碍于美方压力”，出手要求台湾开放加热烟的消息。《联合报》称，美国烟商将迎来上千亿新台币营收。　　消息还显示，当日上午，俄国防部长绍伊古为张又侠举行欢迎仪式，并进行正式会谈。公开资料显示，这是张又侠2023年度首次出国访问，也是继张又侠10月30日在北京同绍伊古会谈后再次与俄罗斯防长会面。　　经查，何有成丧失理想信念，背弃初心使命，政治意识、规矩意识淡漠，不信组织信鬼神，目无法纪、滥权妄为，私欲膨胀、贪图享乐，靠企吃企、官商勾结，大搞权钱交易。落实党中央关于深化国企改革的重大决策部署不坚决，打折扣、搞变通，借机谋取个人私利；与他人串供，对抗组织审查；长期进行迷信活动，造成不良影响；收受可能影响公正执行公务的礼金；接受可能影响公正执行公务的宴请和旅游活动安排；违反民主集中制原则，个人决定重大问题；在组织函询时，不如实向组织说明问题；违规选拔任用干部；利用职权或职务上的影响为亲属谋利；搞权色交易；滥用职权、徇私舞弊开展明令禁止的融资性贸易、虚假贸易，致使国家利益遭受特别重大损失；利用职务上的便利及职权和地位形成的便利条件为他人谋取利益，非法收受他人财物，数额特别巨大。