日本声优文化繁荣背后的深层动因分析——类型化发展是其出现的产业原因

日本的动漫产业蓬勃发展,已成为其第三大产业。80年代日本经济开始腾飞,动漫产业原创得到了迅速发展,并逐渐成为动漫大国强国,世界市场的65%,欧洲动漫产品80%来自于日本。本文从从日本动漫的降低风险,共同发展的产业细分之路入手,分析在这一过程中日本声优文化所做出的自身贡献。     

科隆论战带给工业时代设计的百年思考

绿色节能,低碳环保成为全球性的话题,很多人都开始想方设法地回归原始生活,想要逃脱肮脏的现实。本文通过对科隆论战这个特定的历史事件进行反思为论点,从历史背景的阐述,以及科隆论战产生的影响等方面来论证。依据其一百年的时间积淀,当我们重新审视科隆论战的时候,是否能将"类型化"与"个性化"设计相结合,寻找出适合工业时代设计的正确的契合点。此外,还发现了一些由于工业化的大批量标准化生产模式所导致的问题,即"类型化"设计对当下产生的不和谐。结果,这又将会是一次"类型化"与"个性化"设计方式的激烈交锋,也是对设计师提出的新要求。     

论地方编制改革的“佃农模式”

《地方各级政府机构设置和编制管理条例》赋予了地方政府在机构建制、重组等编制改革权限上享有广泛的裁量权,通过张五常的"佃农理论",引证地方编制改革的应围绕基层农民"合约选择"的设计理念,多元而不失自洽、丰富而不失分形,拟为"佃农模式"。     

纯粹经济损失的赔偿规则:理论、实践以及基本路径

纯粹经济损失近来是侵权法领域里所讨论的热点话题,当代侵权法的发展趋势是,采取非限定性的立法模式,不对可得利益损害赔偿进行任何预先限制,继而扩大侵权法的权益保护范围,对纯粹经济损失以不予赔偿为原则,赔偿为例外显得过于粗糙,我们应该在更加深入的类型化研究的基础上对纯粹经济损失是否赔偿采取区分原则。     

论古典悲剧人物的“高贵性”与“类型化”

在道德下滑和不信英雄的当下语境中,梳理评述西方古典悲剧理论对悲剧人物的＂高贵性＂与＂类型化＂的认识和追求,无论对于精英社会还是大众社会都很有启示意义。     

我国环境法律规范的类型化分析

类型化研究是规范法学研究的重要研究方法之一。环境法律规范的类型化分析,需要将环境法律规范的特征作为重要的考量因素。根据环境法律规范所保护法益的特殊性、技术性、综合性和问题导向性的特征,可以将环境法律规范做相应的类型划分。这种类型划分不仅对我国环境立法的规范配置优化具有重要意义,而且在法律解释中也具有一定的价值。我国未来的环境立法,应当增加保护自然利益的法律规范、综合协调型规范及糅合型规范、总量控制型规范的配置,在立法中处理好技术性规范和非技术性规范的关系。     

建筑共生与衍生:中国美术学院象山校区再观察

反观中国美术学院象山校区别具一格的建筑和连续排布的空间形态特征,究其缘由,一方面,归于类型化建筑单元的复制与重叠;另外一方面,在尺度、形制接近的不同建筑类型之间,产生了多种形式的共生和衍生的效应。对此类现象进行观察,不仅能了解基础性的地域建筑形式,还有利于深层次挖掘传统空间组合关系的更多内在原因。文章旨在从象山校区建筑共生与衍生现象出发,以符号学、建筑形式类型化角度,对象山校区设计中如何做到"民族性"与"现代化"的交融及建筑"形"与"意"的当代表达进行分析,以期为城市建筑设计的发展提供借鉴和参考。     

论好莱坞动画电影配角形象喜剧类型化

在好莱坞动画电影中,除了自身充满喜感的主角之外,配角也发挥着了重要的作用,这些配角组成了动画喜剧类型电影的定型化人物,从动画电影的内容和形式两个方面进行分析,以动画电影中的配角们形象类型化作为研究对象,寻求其作为喜剧动画片类型范式之一的美学规律。     

机械化定理证明研究综述

随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.