“tag:类型 治愈系”
全部 | 书籍 (10) | 影视 (1) | 播客 | 音乐 | 游戏 | 演出
类型学视野的汉语名量词演变史 [图书] 豆瓣
作者: 张赪 北京大学出版社 2012 - 8
《博雅语言学书系:类型学视野的汉语名量词演变史》从类型学视野考察了汉语名量词的演变历史,详细描写并分析了汉语分类词产生、形成初期的情况,形状、功用、生物属性等各类量词的形成历史和规律,各时期量名搭配、名量搭配的变化,量词在非数量表达结构中的运用等。重点讨论了汉语名量词的产生动因、“反响型量词”以及通用量词在汉语量词发展史上的地位、量词这一语法范畴如何在汉语中扩散、指示代词与量词结合的历史、通用量词“个”是否泛化等问题。书中基于类型学的研究成果和大量的汉语史事实,提出了对这些问题的意见。既发现和概括了以往仅从汉语看汉语演变所不能看到的演变规律,又以汉语得天独厚的完整而丰富的历史材料补充了类型学分类词研究某些方面的欠缺。
盛夏的方程式 [图书] 豆瓣
真夏の方程式
7.1 (65 个评分) 作者: [日] 东野圭吾 译者: 袁斌 现代出版社 2012
小學五年級的恭平,被父母安排到親戚在玻璃浦經營的「綠岩莊」過暑假。同時帝京大學物理系副教授湯川學,也因海底礦物開發計畫,來到這個擁有美麗海景卻沒落的小鎮。隔日,距離綠岩莊四百公尺外的堤防下,發現一具男屍。死者是另一名房客,而且竟是位退休刑警……交錯在海岸邊的殺意、親情、守護、罪惡感……各種人性掙扎,最後,又該由誰付出代價?帶著與人命有關的回憶度過餘生……
机器人大师 [图书] 豆瓣
Cyberiada
9.6 (18 个评分) 作者: (波兰)斯坦尼斯拉夫·莱姆 译者: 傅临春 广西科学技术出版社 2014
特鲁尔和克拉帕西厄斯既是竞争对手,更是亲密无间的好友。两人不断制造出奇妙的机器。这些机器有的让他们陷入尴尬难堪的境地,有的也起到了意想不到的积极作用。两人时常结伴在宇宙中漫游,或经历奇异的历险,或拯救星球于危难之中。种种荒诞的设想,让两人获得了不少荣誉,但闹出的笑话更多,总是表现得十分滑稽可笑。
小说集的副标题为“计算机控制时代的寓言”,在莱姆的这些寓言里,控制论的产品和试图控制事物的企图,最终都遭到了无一例外的失败;“控制”最终演变为“不可控制”,“控制者”最后也变成了身不由己的人。是我们通过控制让一切得以被控制,还是一切都被控制的控制根本不可能实现,而使控制者丧失了控制?莱姆的一个个短篇让人读起来不禁捧腹一笑,却又发人深省。
超越《1984》?有科幻迷说《机器人大师》或许在思想探索上超越了《1984》。全新校译,插图珍藏版。收录插画大师丹尼尔·科鲁兹14幅珍贵原版插图。最幽默的科幻小说。计算机控制时代的精准预言,是我们控制机器?还是机器控制我们?
鹭与雪 [图书] 豆瓣
鷺と雪
9.0 (27 个评分) 作者: [日本] 北村薰 译者: 吴冬青 人民文学出版社 2012 - 3
第141届直木奖获奖作品
充满了“时代味”的历史推理小说
“日常之谜”背后隐藏着令人“醍醐灌顶”般的真相
昭和时期的日本,波云诡谲,如同一团迷雾遮盖着各种真相。
上流贵族家的小姐花村英子和和花村家雇佣的女司机、被英子尊称为“别姬小姐”的别宫美津子因缘际会之下遭遇了一系列谜团——
名门华族家的子爵离奇失踪,却又有人在流浪汉聚集之地浅草发现了他的身影;老字号点心店鹤之丸家的小少爷夙夜游荡在上野街头,只为寻找口中念着的“狮子”;贵族小姐千枝子在银座大街拍下的一张照片中发现了未婚夫的身影,然后事实上此时此刻的他却正在千里之外的海上航行着。照片中的男人到底是谁?
花村英子和别姬小姐能否解开谜团找出真相?这重重迷雾掩盖之下的,是人性的善或恶?美或丑?残酷还是温情?
月球城市 [图书] 豆瓣
Artemis
7.2 (21 个评分) 作者: [美] 安迪·威尔 译者: 王智涵 译林出版社 2020 - 9
阿尔忒弥斯是希腊神话里的月亮女神,也是人类第一座且唯一一座月球城市的名字。这座城市由五个巨型穹顶组成,不同的穹顶下生活着不同阶层的人。主人公“爵士”挣扎在贫困线上,靠送快递和走私物品为生。在月球上生活没那么浪漫,要活下去就需要钱。一切都从她想赚钱开始……
思维导图 [图书] 豆瓣
6.4 (27 个评分) 作者: [英] 东尼·博赞 / 巴利·博赞 译者: 叶刚 中信出版社 2009 - 4
《思维导图》是一本在全球销量达千万册的畅销书。书中的思维导图方法将放射性思维和开拓性笔记技巧结合在一起,被人称为“大脑瑞土军刀”。它的出现,在全球教育界和商界刮起了一场风暴。目前全球已有超过2.5亿以上的人在使用它。
本书特别提供了一系列实用练习、大量颇具启发性的图片,以及演示这种技巧的原创性思维导图。
包括《启动大脑》《博赞学习技巧》《超级记忆》《快速阅读》《思维导图》
博赞学习技巧 [图书] 豆瓣
6.7 (6 个评分) 作者: [英国] 东尼·博赞 译者: 丁大刚 / 张相芬 中信出版社 2009 - 8
《博赞学习技巧》包含博赞有机学习技巧(BOST)专题。它是为那些害怕各类考试、课堂测验、学期论文写作等方面的问题的学生专门编纂的,目的是提高他们应对能力。BOST是博赞在学习技巧、脑力、学习后回忆、发散性思维、专注力、多维记忆工具和思维导图等领域35年经验的总结,是长期磨炼的结果。《博赞学习技巧》所介绍的学习技巧将使你的能力得到突飞猛进的发展。
延伸阅读:
思维导图系列:快速阅读
思维导图系列丛书(套装共5册)
思维导图系列:超级记忆
思维导图系列:启动大脑
思维导图系列:思维导图系列:思维导图
思维导图•商务篇1:思维导图在工作中的应用
失書記 [图书] 豆瓣
作者: 郑振铎 网络与书股份有限公司台湾分公司 2007 - 1
郑振铎先生是中国现代著名的藏书家。抗战期间,他留在上海孤岛数年,为国家抢救古籍,使之不致遭受战火或流落国外。郑振铎对书的珍视甚至超过自己的性命。五十年代初,郑振铎担任文化部文物局长时,有人捐赠百余册宋版书,郑振铎亲往上海验书,为了担心万一飞机失事,殃及珍本,他否决了将书空运的提议,而是派专车由自己亲自护送。不过,如果没有书同行,他是不怕坐飞机的,一九五八年,他奉派访问阿富汗,不幸在苏联上空失事罹难。本书《失书记》征得郑振铎之子郑尔康同意,精选郑振铎谈搜书、买书的随笔、日记,以及他为自己搜得的书编辑成书时所写的序或跋,如此可让读者感受到一个爱书人、藏书家,为搜集古籍所感受到的喜悦与煎熬,以及在抗战期间,抢救图书于战火中的文化使命感
类型和程序设计语言 [图书] 豆瓣
Types and Programming Languages
作者: 皮尔斯 电子工业出版社 2005 - 5
类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。
要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述,为读者提供了一个进一步理论学习的基础。本书内容广泛,读者可以根据自己的需要有选择地深入阅读。
本书适合从事程序设计的研究人员和开发人员,以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。
什么是语言类型学 [图书] 豆瓣
作者: 金立鑫 上海外语教育出版社 2011 - 6
语言类型学研究什么?要回答这个问题,先要回答“语言学研究什么”这个问题。简单来说,语言学是研究人类语言中的要素和规则的。语言中的要素都是客观存在的,例如语音和词汇单位。语言中的规则也是客观存在的,例如构词法、句法、篇章构成的方法等等。
由金立鑫编著的《外语学术普及系列:什么是语言类型学》以问答的彤式,较为全面地介绍了语言类烈学的研究所史,现状和发展方向以及研究范嘲、研究内容、研究方法,与其他语畜学研究的关系等。
登录用户可看到来自其它网站的搜索结果。