经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《数学证明》读书内容简介:碰到某种程度的数学证明，有些人甚至把做数学与进行数学证明等同起来。但究竟数学证明这种工夫在数学活动中有何作用？它是否真正确立无可置疑的结论？它是事后的装扮工夫抑或它能导致前所未知的新发现？这种独特的思考方式是怎样发展起来的？本书试以大量实例与读者探讨...详情

影片剧情摘要: 年轻的凯瑟琳（格温妮斯?帕特洛饰）正经历着人生中考验，她既要工作，又要照顾体病重的老父亲罗伯特（安东尼?霍普金斯饰）。罗伯特虽然是一名著名的数学家，但晚年得病的还是无法很好的照顾自己。 详情

影片剧情摘要:sterydetectivefilmdirectedbyLeslieS.HiscottandstarringAustinTrevor,FranklinDyall,andElizabethAllen.Thefilmwasadaptedfromthe19...详情

影片剧情摘要:上又遇到了危机。他和一个叫马维的女孩交往，有个男人也在追求着马维。尼科洛正在准备拍摄一部爱情片，但却始终无法选出女主角。他和马维为了躲避另外男人的追踪，开车前往乡下，但他和马维都搞不清楚两人的感情和关系。马维后来却失踪了，尼科洛怎么也找不到。 ...详情

影片剧情摘要:系列河堤改造的建设，与此同时，离奇死亡案件相继发生。其中，《羽代日报》记者立川和黑帮分子川崎昭夫（梅宮辰夫饰）的情妇被认为死于山路车祸，其同侪越智朋子（中野良子饰）倍感蹊跷，偷偷展开独立调查。另一方面，保险公司也怀疑川崎有骗保之嫌，派出从自卫队特种部...详情

影片剧情摘要:道母亲（买红妹饰）在外找了“野男人”,当父亲被活活气死后，幼小心灵便播下了仇恨的种子。二十年后鬼使神差，曾经的仇人（朱永棠饰）因另外一起命案成为犯罪嫌疑人，郭竟远无论于公还是于私毅然下定决心要将犯罪嫌疑人绳之于法。然而，取证的过程跌宕起伏、困难重重，...详情

影片剧情摘要:此书1976年出版隔年已故演员松田优作和女演员冈田茉莉子合演的电影版版大卖座，2004年也曾由竹野内丰和夏川结衣拍摄为连续剧版，但将剧中时代改为现代。此次重拍的特别剧版将维持原著70年代的设定，故事的舞台为1974年的东京，叙述知名美容家(原作和电影...详情

影片剧情摘要:年被人发现后，警方展开调查，从死者遗物中，知晓其名叫焦尼，并推断其来日目的是为找寻生母。根据种种线索，警方来到某温泉，发现知情人已被杀害，但还是知晓了知名服装设计师八杉恭子（冈田茉莉子）当年曾与一美国黑人士兵在此同居之事，遂派警官栋居（松田优作）前去...详情

影片剧情摘要:中败于孙悟空的手下，历经千辛万苦地球迎来了难得的和平，此后便是长达一百年的快乐时光。曾经在人们心中留下无数珍贵回忆的Z战士和GT战士相继作古，而今只有小芳以婆婆的身份训练与悟空同名且相貌如出一辙的赛亚人后代。只不过，这个小悟空似乎缺乏祖先那样的勇气，...详情