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

影片剧情摘要: 姆明谷今年的冬季似乎不太寻常，所以姆明决定出发大冒险，而不是如常去冬眠。冒险之旅中姆明发现奇怪的生物在黑暗寒冬中雪堆奔驰，所有新的暗示出现意味着一位古怪的客人即将来临… 详情

经典好书《中国古代的社会与国家》读书内容简介:的基础上，主张站在中国社会的“内面”、“历史地”理解中国社会。作者以独一无二的问题视角、开拓创新的研究手法，通过一个个具体问题的深入探究，大大推进了对于中国社会的总体把握和细部了解。本书从社会史的研究立场，展开了对任侠习俗、官僚制的性格以及专制主义经...详情

经典好书《希腊化时代的科学与文化》读书内容简介:学史》的第2卷，也是萨顿生前完成的最后一部长篇著作。这卷著作的主题是希腊化时期的科学和文化，萨顿把他讨论的范围限定为，始于亚历山大大帝去世的那一年，终于罗马帝国建立的当年，大致相当于从公元前323年至公元前30年。萨顿进一步把这个时期分...详情

经典好书《唐代的道教与天师道》读书内容简介:代的道教教团、天师道和《升玄经》等。本书属于《到教学译丛》系列之十二。《道教学译丛：唐代的道教与天师道》在日文版原著内容之外，還新收錄了筆者兩篇論文作為補論，即《唐代道教大洞三景弟子與大洞法師的法位的形成》（載東方學會，《東方學》第百十...详情

经典好书《第一机械时代的理论与设计》读书内容简介:一时期曾经被人们称为喷气机时代、清洁剂时代、第二次工业革命时期，等等。在那个阶段，几乎任何一个标签都会引起人们对某些科学技术变革的关注。因为这些变革极大地影响了人们的生活，在我们整体的命运轨迹中开辟了可选择的全新路径。本书着重研究从19世纪晚期到20...详情

经典好书《唐代的长安与洛阳（地图篇）》读书内容简介:开的最主要、最大的场所。因此，了解这两个都市的宫殿、街道、道路、市场、寺庙乃至园林、住宅等等的状态和位置，或者一个街坊中知名的居住者的情况等等，对于具体地了解唐代的人文事实，十分有用。编者根据文献描绘编制了长安城图、六坡图、长安坊里图等47幅和阁本兴...详情

经典好书《中国古代的王权与天下秩序》读书内容简介:点づぅ》2003年由日本校仓害房出版，是渡辺信一郎先生的第四部个人专着。在日本的中国古代史学界，渡辺先生以其鲜明的理论关怀和宏阔的研究视野而为人瞩目。译者在对于中国古代史的研习过程中，受惠于先生论着之处甚多，并深深折服于“渡迈史学”的独特魅力。只是中...详情

经典好书《宋代的家族与社会》读书内容简介:展比较成功的士人家族。从对家族成员的仕途发展与家族经营地方的观察，可以看到宋代士人家族发展与演变的轮廓、家族与地方社会的关系，藉以掌握中国近世家族发展与转变的基础。本书是作者多年研究宋代家族个案的总结性成果，对于中国家族史的研究有着重要的学术价值。<...详情

经典好书《唐代九姓胡与突厥文化》读书内容简介:性对话引发出来的。《新唐书•哥舒翰传》给后世留下这样的记录：禄山谓翰日：“我父胡，母突厥；公父突厥，母胡。族类本同，安得不亲爱?”翰日：“谚言‘狐向窟嗥不祥’，以忘本也。兄既见爱，敢不尽心。”禄山以翰讥其胡，怒骂曰：“突厥敢尔!”</p...详情