设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 论  坛 博  客 文  墨 黄  页 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
gugeren的博客  
有则写之,无则空之  
        http://blog.creaders.net/u/5804/ > 复制 > 收藏本页
我的网络日志
【书籍推荐】《2049百年马拉松:中国称霸全球的祕密战略》 2017-01-15 22:38:03

【书籍推荐】《2049百年马拉松:中国称霸全球的祕密战略》


原书名:

The Hundred-Year Marathon: China's Secret Strategy to Replace America as the Global Superpower


作者:

Michael Pillsbury【中文名:白邦瑞】


目录,及读者书评:

https://www.amazon.com/Hundred-Year-Marathon-Strategy-Replace-Superpower/dp/1250081343/ref=sr_1_1?ie=UTF8&qid=1484547854&sr=8-1&keywords=michael+pillsbury


一般的这种政治类书籍,我至少须看1周时间。这本书拿到手后,仅花了3天时间就看完了320页的中文译本。

凡是关心美国和中国的人们,都应该看一遍此书。









浏览(97) (0) 评论(0)
发表评论
人工智能的新天地:用机器证明定理 2017-01-08 10:07:25

人工智能的新天地:用机器证明定理


2016年,人工智能(artificial intelligence,AI)由于阿尔法狗(AlphaGo)战胜了人类九段围棋选手而开始成为计算机领域的热词。经过半个多世纪的发展,人工智能在语音辨认、图像辨认、有偏袒游戏(partisan game,例如国际象棋和围棋)、书面语言翻译等方面都有了飞速的发展,可以与人类的智慧媲美了。


接下来,本人认为,人工智能将在自动化定理证明方面大展身手了。

自动化定理证明(Automated theorem proving,ATP)是计算机自动推理和数学逻辑的下属领域。它通过计算机程序来证明数学等学科的定理。


目前需要做的工作

1】整理和正规化数学各分支的定义、引理和定理,用类似人类自然语言的计算机语言来建立这些定义、引理和定理的数据库。这种数据库目前已经存在多种,但是规格不统一,调用不容易,内容也不规范(例如,没有显示出各个定理之间的逻辑关系)。

2】这种定理数据库,应该

--不但可以描述定义、引理和定理的内容,而且可以从某个/某些条件产生出相关的定义、引理和定理的结论,更可以提示这些条件下可能得出的其他相关的结论。

--可以把各种数学分支之间、各种定义、引理和定理之间的逻辑关系梳理清楚。


==

相关链接

自动化定理证明(Automated theorem proving,ATP)

https://en.wikipedia.org/wiki/Automated_theorem_proving


Metamath是一种写定理数据库的语言和数据库

http://us.metamath.org/


What do mathematicians think of Metamath?

https://www.quora.com/What-do-mathematicians-think-of-Metamath










浏览(913) (0) 评论(3)
发表评论
【考古】“张献忠沉银处”近日开挖 2017-01-06 09:12:06

考古】“张献忠沉银处”近日开挖


看过姚雪垠著名长篇小说《李自成》的人都应该记得那位自称“八大王”的农民起义领袖张献忠(1606-1647)。


数百年来,四川省眉山市彭山区江口镇流传着一首关于张献忠千船沉银的童谣:

“石龙对石虎,金银万万五。谁人识得破,买到成都府”。

多年来,有关张献忠千船沉银的传说一直为人津津乐道。


2016年,四川省公安机关破获了四川眉山特大盗掘古文化遗址暨倒卖文物案,涉案文物交易金额达3亿元人民币。

2014年初,四川省眉山市公安机关发现,江口镇岷江河道附近有人利用专业设备,夜间潜入“张献忠江口沉银遗址”河道区域盗挖,并将盗取的文物卖给文物贩子获取暴利。专案组初步查明此案涉及全国10多个省市。

案情上报后,公安部将此案列为部督案件。从2015年4月开始,在公安部直接指挥下,四川省公安机关共抓获犯罪嫌疑人70名,追回了“虎钮永昌大元帅金印”等一大批国家珍贵文物。


据考证,这颗“大元帅金印”是“闯王”李自成于1644年正月元日在西安登极后给张献忠的笼络縻羁之物。


这样,这颗金印以及案件发现的其他相关文物,使得“张献忠沉银”从民间传说成为现实。


《彭山县志》记载,相传1646年(清顺治三年),清军入川,张献忠“携历年所抢”的千船金银财宝率部向川西突围。但是转移途中遇到原明朝将领杨展率领的地方武装的狙击,张献忠的运宝船队大败,千船金银沉入江底。


《蜀难纪实》则记载:张献忠部队从水路出川时,银两多得木船载不完,遂命令工匠做了许多木头的夹槽,把银锭夹放在里面,让这些木头顺着岷江漂流而下,打算在下游江水迟缓处再把它们打捞上岸。但后来遭到阻击,沉船堵塞了江道,这些木夹槽也被阻,使得大量银两沉入江中。


2005年和2011年,当地在工程建设中也发现了大量文物。文物出水地点与文献记载的张献忠“江口沉银”的地点一致。文物中包括铭刻年号的金册、银锭及以及“西王赏功”金币、银币等。

通过与历史文献相比较,基本上可以确定“江口沉银”的记载可信,彭山“江口沉银遗址”就是史籍中的张献忠沉银中心区域之一。


故宫博物院考古研究所所长李季说,银锭上有大西年号。历史上只有张献忠用过这个年号

彭山江口镇境内水域到底有多少张献忠的沉银?《蜀难纪实》记载:“累亿万,载盈百艘。”中国国家博物馆综合考古部主任杨林认为,这个说法有些夸张,实际上可能没有这么多。“几艘船是有可能的。可以肯定的是,还在江里的宝物,肯定比已经出土的要多。”

彭山区文管所所长吴天文介绍,10年前,江口埋有张献忠财宝的消息不胫而走后,不少不法分子开始乱挖乱采,盗掘和贩卖文物情况十分严重。


围堰抽干岷江江水,然后在干燥区域上进行探方挖掘,最终成为这次考古挖掘的方法。

岷江水域彭山区段每年11月至次年3月为枯水期,正是考古挖掘的好时机。


2017年1月5日,张献忠沉宝遗址历经1个月的围堰和抽水后,堰内的岷江水已被抽干,江口沉银遗址的考古发掘正式启动。考古使用的考古设备科技含量也比较高。

首先将使用金属探测仪确定重点发掘区域。发掘过程中,如果发现文物后,将采用全站仪精确定位出水的文物坐标,同时利用三维成像和航拍技术采集文物信息。

有经验的人认为,所藏的宝物应该是埋于河床底部的2至3米深处。


==

相关链接


张献忠

https://zh.wikipedia.org/wiki/%E5%BC%A0%E7%8C%AE%E5%BF%A0


张献忠“虎钮永昌大元帅金印”之小考

https://mt.sohu.com/history/d20161204/120607199_563418.shtml


江口沉银遗址

http://baike.baidu.com/item/%E6%B1%9F%E5%8F%A3%E6%B2%89%E9%93%B6%E9%81%97%E5%9D%80


张献忠沉银地岷江露底 金属探测仪探出“动静”

http://news.sina.com.cn/c/nd/2017-01-06/doc-ifxzkfuh5595360.shtml


“张献忠沉银”遭大肆盗掘 涉案金额3亿

http://history.sohu.com/20161014/n470227318.shtml






















浏览(271) (0) 评论(0)
发表评论
【围棋】Master - AlphaGo二世现江湖 2017-01-05 13:20:05

【围棋】Master - AlphaGo二世现江湖


2016年12月29日晚,一个名为“Master”的神秘账号在两个知名的围棋网站弈城网和野狐围棋网的对战平台上挑战世界冠军。

从2016年12月29日到31日,Master 在弈城网上连胜柯洁九段、陈耀烨九段、朴廷桓九段、芈昱廷九段、唐韦星九段等高手。

在取得 30 连胜后,Master又于 2017年1月1日晚登录腾讯的野狐围棋网站(由古力和李昌镐主办的专业围棋网站),继续大战中、日、韩三国的多位大师。

1月3日晚,Master 再次上线野狐围棋网,使得柯洁在中盘投子认输。

它在击败了周俊勋、范廷钰和黄云嵩以后,又迎战聂卫平,以及聂卫平的得意弟子古力和檀啸。

更可怕的是,3日晚上它与朴延桓第一局的对战中,Master似乎在确定自己要赢的情况下故意“放水”,最后以 1 目半的微弱优势取胜。


从2016年12月29日晚起,标注为韩国九段的Master接连“踢馆”弈城网和野狐网。截至1月4日晚已斩获中国大陆、韩国、日本等16位世界冠军,获60连胜1平的辉煌战绩。


令人尴尬的是这唯一的和棋,还是因为棋手掉线使得系统自动判和,并非是棋盘局势的势均力敌。


2016年在李世石与AlphaGo的决战中,柯洁曾发微博说阿法狗(AlphaGo)赢得了李世石,但赢不了他。


柯洁曾发微博说:

我从(2016年)3月份开始到现在研究了大半年的棋软,无数次的理论、实践,就是想知道计算机究竟强在哪里。昨晚辗转反侧,不想竟一夜无眠。人类数千年的实战演练进化,计算机却告诉我们人类全都是错的。我觉得,甚至没有一个人沾到围棋真理的边。但是我想说,从现在开始,我们棋手将会结合计算机,迈进全新的领域达到全新的境界。新的风暴即将来临,我将尽我所有的智慧终极一战!


1月4日晚,在腾讯野狐围棋网站上,神秘的“Master”在第60场与古力九段的对决上,终于公开了自己的身分。“它”,就是AlphaGo的幕后推手 - 台湾博士黄士杰。Master在回答“你到底是谁”的问题时说:“我是Alpha Go的黄博士”。真相终于大白,原来Master就是Alpha Go;而且这次代为执子的仍是其首席设计师黄士杰。


随后柯洁九段也发布微博佐证了这一点:Master就是AlphaGo的升级版本


黄士杰自2012年即加入DeepMind团队,是团队的重要成员。2016年科学期刊《Nature》发表人工智能AlphaGo的论文中,他名列第一作者,是AlphaGo的重要幕后推手之一。2016年初AlphaGo与韩国围棋名将李世石的对战中,黄士杰就是人们可以在视频上看到的那位根据AlphaGo的指示执棋的人。


==

参考链接:

http://sports.sina.com.cn/go/2017-01-05/doc-ifxzkfuk2334727.shtml

http://sports.sina.com.cn/zt_d/master

http://tech.creaders.net/2017/01/04/1768936.html

http://news.creaders.net/china/2017/01/04/1768749.html














浏览(221) (0) 评论(0)
发表评论
【单口相声】《文庙》 2017-01-01 09:10:40

【单口相声】《文庙》


刘宝瑞(1915-1968)是中国著名相声大师,擅长单口相声。他的许多传统题材的单口段子,曾经脍炙人口。


鉴于2016年出现了“别字总书记”和“别字省长”,特选一段刘先生的单口相声《文庙》(又名《赛东坡》)以飨各位。

祝各位2017年快乐,笑口常开!


https://www.youtube.com/watch?v=I0Xpes_0070


4句“判词”

“文朝”、“丈庙”两相移,【文庙】

和尚怎能说“打齐”,【打斋】

哪有先生查“字曲”,【字典】

气坏本县“赛东皮”!【“赛东坡”】










浏览(1070) (0) 评论(0)
发表评论
总共有206条信息 当前为第 1/42页 首页 上页 下页 尾页 跳转到:
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2016. CyberMedia Network /Creaders.NET. All Rights Reserved.