“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

　　今年3月，《失孤》人物原型郭刚堂的儿子郭振结婚，孙海洋、杜小华、李芳等许多寻亲家长赶去祝贺，申军良特意擦洗了自己的网约车，还和妻子准备了礼物。4月，孙卓被拐案在深圳开庭审理，申军良和一些家长又赶了过去，“申聪案审理时，海洋一直陪着我。我们也是为了给他支持，也给更多的家长打打气。”

　　还有媒体爆料称，去年12月华盛顿提供了关于中印边境的“更加详细，传送速度也更快”的卫星图像。当时美印军队正在举行第18次联合军演，地点是在印度北阿坎德邦的山区，距离实控线仅60英里。《柳濑优》　　朱云严重违反党的政治纪律、中央八项规定精神、廉洁纪律，构成严重职务违法并涉嫌受贿罪，且在党的十八大甚至党的十九大后仍不收敛、不收手、不知止，性质严重，影响恶劣，应予严肃处理。依据《中国共产党纪律处分条例》《中华人民共和国监察法》《中华人民共和国公职人员政务处分法》等有关规定，经自治区纪委常委会会议研究并报自治区党委批准，决定给予朱云开除党籍处分；由自治区监委给予其开除公职处分；将其涉嫌犯罪问题移送检察机关依法审查起诉，所涉财物随案移送。

　　除了被动接收消息，申军良自己也花了很多心思。他在网约车上贴了寻人启事，提醒乘客关注；他和晓莉不定期开直播、发视频，分享自己的寻亲经验；有人找到了孩子，不知道怎么认亲、怎么处理和养父母的关系，请他陪同走一趟，于是也买了车票跟了过去。

　　官网简历显示，裴君，男，汉族，1954年12月生，黑龙江通河人，1981年2月参加工作，1983年8月加入中国共产党，黑龙江省委党校党政干部基础科毕业，在职大专学历。/p>