“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　相比线下旅行社，线上旅行社最显著的不同在于他们获客方式的差异。于靖平表示，传统旅行社的获客渠道基本是在当地，且在旅游目的地会有地接社专门负责在当地的旅游线路。“两个旅行社之间沟通其实并不顺畅，一个是甲方另一个是乙方，其承接力包括各种问题就非常复杂，因为旅游本身就是一个重交付的项目。而我们的模式是从网络上获客，在各地有自己的直营的地接，没有与其他任何旅行社有合作。这样能保证产品交付效果好。而且客源可以重复利用，游客报完新疆的团之后，他可能会参加我们其他的旅行团，这是我们的思路。”　　公开资料显示，张务锋出生于1960年10月，山东莱芜人，2015年任山东省副省长，2017年任国家发展和改革委员会党组成员，国家粮食局党组书记、局长，2018年国家粮食和物资储备局成立后，他任党组书记、局长。　　冬虫夏草主要产自中国青藏高原的高山峡谷地带，产量极少，因此其价格较为昂贵。林皓介绍说，其门店销售的虫草，今年每公斤平均涨价4万多元，现在平均一公斤已经涨到9万多元。“优质的虫草品种，一公斤的价格高达十几万元，比如源自青海的虫草，现在售价16万元/公斤。”　　2001.10-2003.04湖北省武汉市硚口区委副书记、代区长、区长（1999.09-2002.06华中科技大学经济学院西方经济学专业在职研究生学习，获经济学博士学位）