GEM/xwikis huggingface dataset:
Uplay

title: 特性.
content: 2009年发售《刺客信条II》之际,育碧推出了Uplay服务,并允许其在游戏内激活运行。Uplay所支持的游戏里,玩家们可以互相联系,并根据成就来获得奖励(Uplay上称为“行动”)。对此,育碧的董事长Yves Guillemot表示“成就越多,免费物资奖励越多”。  每部支持Uplay的游戏都会有四项行动可供完成并获取玩家点数奖励(Units)。每项行动可能授予玩家5、10、15、20、30或40个Units,它可以用于解锁游戏的相关奖励。Units并不与游戏本身进行绑定,这表明玩家在不同游戏里获得的奖励是可以用来解锁任意游戏的。
title: 客户端.
content: Uplay桌面客户端发布于2012年7月3日,取代了早期的育碧游戏启动器(Ubisoft Game Launcher)。桌面客户端连接着Uplay的货币和奖励功能,保证玩家的多平台数据管理与同步。Uplay客户端与Valve的Steam、美国艺电公司的Origin平台非常的相似,玩家可以线上购买游戏。  玩家需要有一个独立的Uplay账户,用于跨平台访问客户端以及登录育碧官网和论坛。已经有Uplay帐户,可直接登录Uplay客户端,否则客户端将提示玩家需要创建一个新的Uplay账户来使用Uplay。
title: 数字版权管理.
content: 最初推出时,Windows平台上的Uplay需要玩家全程联网的情况下才能玩平台上的游戏。Uplay上的游戏在没有网络连接的情况下不会正常启动,玩家在游戏过程中掉线也会导致游戏跳出,并将游戏记录退回至最近存档。一些游戏,比如《刺客信条II》,发布了补丁,来保障玩家游戏过程中的确切位置能得以记录,以便游戏重新获取网络连接后角色能回到先前位置。该计划很快就在一次针对《猎杀潜航5:大西洋战役》的阻断服务攻击后停止,本次对育碧DRM服务器的攻击还造成了《刺客信条II》在数日里无法游玩。  强制要求全程联网的模式在2010年年底被悄悄删除,取而代之的是在启动过程中的单人验证模式。然而,全程联网模式在2011年发布的《极道车魂:旧金山》以及《灰烬》("From Dust")这两部游戏中回归 。育碧对后者甚至进行了声明,称游戏只需要一次性的在线激活安装。灰烬随后发布了修复补丁来移除全程联网的要求。  2012年9月,育碧的员工在接受采访时证实,未来不会再出现需要全程联网的育碧游戏。这个过程将由一次性在线验证激活的方法取代。但《飙酷车神》这款游戏还是需要全程联网来进行游戏。  某些育碧游戏需要一个在线密匙,通常被称为“Uplay通行证”来访问在线和多人游戏内容。2013年10月,育碧宣布将在未来游戏里停止其使用。这也导致了《刺客信条IV:黑旗》的通行证内容被立刻取消,玩家可以免费进行多人游戏。
title: 有关Rootkit的指控.
content: 2012年7月,一位就职于谷歌公司的信息安全工程师Tavis Ormandy声称育碧的Uplay采用了Rootkit技术并存在着高风险。软件会强制安装一个浏览器插件来保证系统的接入。
title: 评价.
content: Uplay获得的评价大部分是负面的。Rock, Paper, Shotgun的编辑约翰·沃克称之为“技术上的灾难”,并指出随着《孤岛惊魂3》发售时出现的一系列问题导致游戏不能流畅运行,它必须离开市场。Ars Technica的职员Kyle Orland评价UPlay出现的技术漏洞和数字版权管理相关问题时认为其根本没有去尊重PC游戏社区。杰弗里·蒂姆,一位lazygamer.net网站的编辑,将支持UPlay的游戏称为其他方面都很优秀唯独此项“最差劲”的产品,尤其批评了它与Steam平台再购买后的运行问题。Giant Bomb的编辑Patrick Klepek给出了相同方向的批评,说育碧期望能运行一个自主销售平台,然而这个平台技术上没有给消费者提供便利,平台的运营策略也使玩家恼火,毫无吸引力。在GadgetReview上肖恩·桑德斯发布了一篇比较三大销售平台的文章,认为和Steam、Origin相比,UPlay占用了过多内存却提供了更少的特性。总结大众对其的评价,VG247的Brenna Hillier说,“Uplay是最不受欢迎的PC DRM系统其中的一个。你热切希望它死掉,从没成功过。”

Summary: Uplay是由育碧研发的一款集数字发行、数字版权管理、多人电子游戏和通信服务的客户端。同时,Uplay向玩家提供了诸多游戏公司所采用的成就收集系统。该系统也是跨平台制的(PC、PlayStation 4、Xbox、Wii U、PlayStation 3、Xbox 360、Facebook、iOS、Android、Windows Phone)。Wii U平台的Uplay程序于2012年12月1日在任天堂eShop上发行。Uplay往往只支持育碧公司自主开发的游戏,尽管有些第三方开发商的游戏仍在育碧商城中贩卖,但Uplay并不支持这些游戏。

Uplay: L'application Uplay pour la Wii U a été mise en distribution après le lancement de la console le sur le Nintendo eShop.
SA-18防空飛彈

title: 沿革.
content: 短程便携式防空导弹研发专案于1971年Kolomna(全称是列宁勋章与红旗勋章国有机械设计局)设计局开始,然而Igla 针式并非Strela家族的(Strela-2箭-2/SA-7或Strela-3箭-3/SA-14小妖)改良产品而是全新专案,主要目的是开发出拥有比Strela系列较佳反反制能力及较佳接战包络线的新导弹。  技术困难使研发案延长很多,然而1978 专案分为二案:一个是全功能版一个是简化版(Igla-1 SA-16)只有简单的红外线追踪功能类似早期Strela-3/SA-14系列,以期能比全功能版更早服役。
title: Igla-1发展.
content: 精简版的9K310 Igla-1型(北约命名SA-16 Gimlet手钻)和9M313导弹于1981年3月11日服役于苏联,与Strela-3系列最大不同是包含选择式的IFF(敌我识别装置)避免击落友机,自动锁定能力和高仰角攻击能力使发射更方便,最低射程的限制也减少很多,稍微加大的火箭和改良导向系统使射程增加,也更容易咬住机动性和高速性飞机,延迟引信也使其杀伤力更大,击中机身后还会引爆剩下的导弹燃料使威力增加,还能抵抗各种红外线反制手段(像闪光燃烧弹或ALQ-144系列干扰丝),还有增加了感应器灵敏度。  南非 的测试显示出Igla胜过同年代(1982年)时体型较小的美国FIM-92A型刺针导弹,然而,克罗地亚的测试却表示彼此无任何差异,追踪导向器效能差不多,Igla得利于体积大而有更快飞行速度和稍大射程而已。  Kolomna设计局表示Igla-1击杀率有30%到48%击落无反制力目标,有反制力目标也有24%击杀率,外国另一份报告表示有44%到59%击杀率可以击落无反制力的F-4幽灵II战斗机。
title: Igla发展.
content: 全功能版9K38 Igla(北约代号SA-18 Grouse)与9M39弹体于1983进入苏军服役,最大与精简版不同是可以对抗许多反制的闪光弹和干扰丝,还有更灵敏的追踪巡标感应器,半球型的锁定范围可以锁住非线性飞行的机体(全方位能力),射程略为增加,更高贯穿力,速燃火箭有更高瞬间速度(与射程相符的前提之下),新式火药可以使弹头冲进目标后才引爆。  芬兰的测试显示出和法国的西北风导弹相比,针式导弹追踪敏感度和射程还是较差,弹头也较小,但是抗反制能力却比较强。  海军的船用版9K38 Igla出现后北约命名为SA-N-10 Grouse松鸡,此型可以固定在船或小艇上当成防空导弹。
title: Igla-s.
content: “超级针”Igla-s用的是9k338型导弹,在北约中的代号为SA-24扫兴者,它混合了针-D和针-N的几种特征并改进,提高了命中率并能攻击无人机。2001年通过测试,2002年服役。
title: 击落美国空军一号阴谋事件.
content: 2003年8月12日,根据美英俄三国联合情报活动「针式行动」的结果,一位英国人Hemant Lakhani意图携带旧型针式导弹进入美国,并有意用来攻击空军一号美国总统专机或商业客机,并有计划再取得50枚以上。  结果是,俄罗斯联邦安全局追查到俄罗斯的接头人,并用一美国密探假装成的恐怖份子表示想击落商业客机,他提供一具失效的针式导弹样本给俄国探员假装的中间人,后来他在纽华克准备交货给美国伪装探员时被抓,同时一位住在马来西亚的印度人,Moinuddeen Ahmed Hameed和一位美国人Yehuda Abraham 准备购买导弹时也被捕。
title: 服役史.
content: Igla和Igla-1从苏联外销到超过30多国,许多游击叛军和恐怖组织据信也有买到,斯里兰卡的叛军坦米尔解放之虎2006年8月被FBI假扮的军火商逮捕时也试图购买Igla,2003年时黑市报价大约60,000 - 80,000美金一枚。

Summary: 9K38 "Igla" 针式导弹(; 英语:needle]])是一种苏联制的便携式防空导弹(SAM),"9K38" 是苏联命名系统,美国国防部称为SA-18,北约代号Grouse(松鸡)。

9K38 Igla: Le 9K38 Igla (en, aiguille) est un système de missile sol-air (anti-aérien) portatif guidé par infrarouges, fabriqué en Russie. est la désignation appliquée par les russes pour leur système, le Département de la Défense des États-Unis lui ayant attribué le nom de et son code OTAN étant.
独立计算环境简单协议

title: 安全性.
content: SPICE客户端与远程桌面服务器的连接含有多个数据通道,每个均运行在不同的TCP/UNIX套接字连接上。协议的数据通道既可以是明文,也可以是TLS模式,因此管理员可以在安全性与性能之间做出其自己的判断。TLS模式对所有在信道上传递的流量进行了强度较高的加密。  除了加密之外,SPICE协议还支持多种认证方案。原先的SPICE提供了基于凭证的共享密钥认证方案。在此过程中,服务器将生成RSA公钥/密钥对并发送其公钥至客户端。客户端将使用公钥加密凭证(即密码)并发送结果回服务器以待解密与验证凭证。现在的SPICE协议还支持使用SASL认证协议,支持多个可配置的认证方案,特别是Kerberos。
title: 实现.
content: 虽然SPICE的服务端仅有一种实现,但开发者在SPICE开源之初即研发了多种全新的客户端实现方式。
title: 应用.
content: SPICE起初以KVM代码库的派生(Fork)为用户提供更加完善的远程桌面能力。

Summary: 在计算机科学中,独立计算环境简单协议(英语:Simple Protocol for Independent Computing Environments,简称SPICE)是一款为虚拟环境打造的远程显示系统,支持诸多机器架构,旨在让用户查看计算虚拟环境的“桌面”环境——除了服务器实体机上查看外,还允许用户从互联网的每个角落进行连接。

SPICE (protocole): SPICE (acronyme anglais de « "Simple Protocol for Independent Computing Environments" », signifiant « Protocole simple pour des environnements informatiques indépendants ») est un protocole de communication, utilisé en général en virtualisation, pour visualiser et gérer à distance un système d'exploitation.
明日世界 (电影)

title: 剧情.
content: 十九世纪末,爱迪生、巴黎铁塔设计师埃菲尔、交流电之父特斯拉、科幻小说之父凡尔纳和其他顶尖的科学家、艺术家们组成了一个秘密团体,共同打造一个理想计划—「明日世界」,传言中,华特迪士尼也是创办人之一,在他的遗物中有一个黑盒子,装着神秘的机关。可是这个计划却出了意外,「明日世界」也从此消失。  法兰克年轻时曾是「明日世界」中的一员,但意外遭驱逐之后被迫过着半隐居的生活,直到聪明的少女凯西找上门,凯西对科学和生命都充满热情,在雅典娜的引导下找上法兰克,她们需要法兰克的协助,找到隐藏在神秘时空里的「明日世界」,以改变人类的命运。
title: 制作.
content: 2013年8月19日在不列颠哥伦比亚(BC)的Enderby开拍,其他取景地包括温哥华和素里,以及位于佛罗里达州和加州的迪士尼乐园,2014年1月15日杀青。
title: 反响.
title: 评价.
content: 烂番茄新鲜度50%,Metacritic上45家媒体综评60分,IMDB上得6.5分,获得混合口碑。一般认为本片视觉效果精彩,剧情有缺陷。  1905电影网影评:“《明日世界》在剧情组织上缺乏必要的逻辑,前半部分略有些悬疑与惊险,后半部分则回归最常见的俗套大片,在一通必不可少的正邪对战之后,故事就草草收场了。影片叙事也非常松散,线索以及风格上都欠缺起码的统一。尤其是那个虎头蛇尾的结尾,以至于我们还未完全接受影片构建的世界观,它就已经收场了,而且是非常草率的收场。”
title: 票房.
content: 北美首周末收获3290万美元列榜首;次周末入账1380万居第三位。中国大陆首周6天收入9000万人民币列第三位,次周收2400万列第五位。  据报道,影片可能会让迪士尼损失1.2亿至1.4亿美元,成为继《异星战场》、《独行侠》之后又一部亏损的迪士尼影片。

Summary: 《明日世界》(英语:Tomorrowland)为布拉德·伯德执导的美国科幻悬疑冒险片,由伯德和戴蒙·林道夫联合编剧并监制。乔治·克隆尼、布丽特妮·罗伯森、晓·莱利、拉菲·卡西迪、凯瑟琳·哈恩、提姆·麦克罗以及基根-麦可·奇主演。

À la poursuite de demain: À la poursuite de demain ou Le Monde de Demain au Québec, ou en Belgique néerlandophone ( en anglais), est un film de science-fiction américain réalisé par Brad Bird, sorti en 2015. Le titre et l'univers du film s'inspirent de "Tomorrowland", une section commune aux divers parcs de loisirs Disney, et de EPCOT, projet de ville du futur de Walt Disney.
穩定性理論

title: 动态系统的简介.
content: 许多微分方程的质性理论以及动态系统的类似理论都在处理其解及轨迹的渐近性质-若经过足够长的时间,系统会怎么变化。最简单的行为是平衡点(也称为不动点)及周期点。若对特定的轨道已有相当的了解,很自然会问下一个问题:若初始条件有一些小变化,是否还会有相似的特性。稳定性理论就是要回答以下的问题:相邻的轨道是否会持续保持相邻?与一轨道相邻的轨道最终是否会收敛到该轨道(后者的性质比较强)。前者的轨道有「稳定」的特性,后者的轨道有「渐近稳定」特性,最后收敛到的轨道有「吸引」(attracting)特性。  一个一阶常微分方程的自治系统,其平衡解formula_1的性质如下:  稳定性代表在小的扰动下,其轨迹不会有太大的变化。不过也有另一种情形,与一轨道相邻的轨道最终是否会远离该轨道,有时情形下这也是受关注的特性。一般而言,从初始状态往某一方向扰动,可能会趋近原来的轨道,往其他方向扰动,会远离原来的轨道。也有可能有往某特定方向扰动时,轨道的行为比较复杂,既不趋近原来的轨道,也不远离原来的轨道,此情形下,就无法用稳定性理论得到有关其动态的资讯。  稳定性理论中的一个基本概念是轨道在微扰下的质性特性可以用系统在轨道附近进行线性化来分析。在"n"维相空间的平滑动态系统的每个平衡点上,都存在"n" x "n"方块矩阵"A"其特征值决定其邻近点的行为(Hartman–Grobman定理)。更准确的说法,若所有的特征值都是负实数,或是实部为负的复数,其平衡点是稳定,有吸引特性的不动点,邻近的点会以指数衰减的速率趋近平衡点,也就是李雅普诺夫稳定及指数稳定。若其特征值没有纯虚数或是零,则系统会会趋近平衡点或远离平衡点的扰动方向就和矩阵"A"的特征空间,以及其对应特征值的实数为正值或是负值有关。在一些更复杂的轨域中也有类似的扰动描述。
title: 不动点的稳定性.
content: 最简单的轨道是不动点,也称为平衡点。若一力学系统在稳定平衡点下,轻推一下之后,系统最终会回到原来的位置,像摆的小振荡即为此例。若是有阻尼的系统,稳定状态会进一步形成渐进稳定。相反的,若是不稳定的平衡点,就像在山顶上的一个球,轻推一下可能就有大的位移,之后可能可以回到原始位置,也有可能无法收敛到原始位置。  有许多针对线性系统的稳定性测试方式,非线性系统的稳定性也可以透过其线性化系统的稳定性来判断。
title: 映射.
content: 令为光滑函数,存在一不动点 。考虑由函数迭代产生的以下动态系统:  不动点稳定,若在点导数的绝对值严格小于1,不动点不稳定若导数严格大于1。这是因为在点附近,函数可以用斜率来进行线性近似:  意思是导数可以看出函数在迭代会趋近不动点或是远离不动点,也可以看出迭代速率。若导数恰为1或−1,还需要其他的资讯来判断稳定性。  在有不动点的连续可微分映射上,也有类似的判断准则,用点的雅可比矩阵来表示。的所有特征值绝对值都严格小于1,则是稳定不动点,若至少有一个特征值绝对值严格大于1,则则是不稳定。若=1,最大绝对值为1,需要进一步分析,无法用雅可比矩阵测试来判断。在微分流形上的微分同胚也有类似的准则。
title: 线性自治系统.
content: 一阶常系数线性微分方程不动点的稳定性可以用对应矩阵的特征值来分析。  考虑以下的自治系统  其中,为的实数矩阵,有一个固定值的解  (换句话说,原点是此动态系统的平衡点)。此解在(未来)渐近稳定当且仅当矩阵所有的特征值都满足实部小于零的条件 ()。而此解在(过去)渐近稳定当且仅当矩阵所有的特征值都满足实部大于零的条件()。若有任何一个特征值的实部大于零(),此解在(未来)会发散。  为了判断线性系统在原点的稳定性,此结果在实务上的应用会透过劳斯–赫尔维茨稳定性判据实现。矩阵的特征值是其特征多项式的根。单变量,实系数的多项式若其根的所有实部都为负,称为赫尔维茨多项式。劳斯–赫尔维茨定理指出了赫尔维茨多项式的特点,可以在不实际找到所有根的情形下进行判断。
title: 非线性的自治系统.
content: 非线性系统不动点的渐近稳定性可以透过Hartman–Grobman定理来判断。  假设是中的-向量场,在点会为0()。则对应的自治系统状态m  有一个定值的解  令为向量场在点处的雅可比矩阵。若的所有特征值实值都是非零的负数,则其解在该点附近是渐近稳定。可以用劳斯–赫尔维茨稳定性判据来测试此一条件。
title: 通用动态系统的李亚普诺夫函数.
content: 要确认动态方程的李亚普诺夫稳定性或是渐近稳定性,有另一种更通用的方式,是透过李亚普诺夫函数。

Summary: 数学中的稳定性理论是指微分方程的解以及动态系统的轨迹在初始条件有小扰动时的稳定性。像热传导方程序就是稳定的偏微分方程,因为初始值的小扰动只会造成之后温度的小幅变化(这是偏微分方程中最大值定理的结果)。在偏微分方程中可以用Lp范数或是sup范数来量测二个函数之间的距离,而在微分几何中可以用Gromov–Hausdorff收敛来量测二个空间之间的距离。

Théorie de la stabilité: En mathématiques, la théorie de la stabilité traite la stabilité des solutions d'équations différentielles et des trajectoires des systèmes dynamiques sous des petites perturbations des conditions initiales. L'équation de la chaleur, par exemple, est une équation aux dérivées partielles stable parce que des petites perturbations des conditions initiales conduisent à des faibles variations de la température à un temps ultérieur en raison du principe du maximum. Plus généralement, un théorème est stable si des petits changements dans l'hypothèse conduisent à des petites variations dans la conclusion. Il faut spécifier la métrique utilisée pour mesurer les perturbations afin de juger qu’un théorème est stable. Dans les équations aux dérivées partielles, on peut mesurer les distances entre les fonctions à l'aide des normes L ou la norme sup, tandis qu'en géométrie différentielle, on peut mesurer la distance entre les espaces en utilisant la distance de Gromov-Hausdorff.
Windows语音识别

title: 功能.
content: Windows允许用户通过语音指令控制电脑。程序还可以听写文本,使用户可以通过语音输入文本。  程序内包含了简单的指令教程以帮助用户熟悉。还提供训练功能,可提高识别准确性。  目前,该应用程序支持多种语言,包括英语(美国和英国),西班牙语,德语,法语,日语和中文(简体和繁体)
title: 历史.
content: 1993年,微软聘请卡内基梅隆大学的黄学东主导语音识别项目。微软参与了语音识别和语音合成的研究。公司研发了微软语音应用程序接口。 语音识别技术已经被应用在微软的一些产品,包括Microsoft Dictation(一个研究原型,运行在Windows 9x)。它还内置在Office XP和Office 2003,Microsoft Plus! XP版本,Windows XP Tablet PC Edition和Windows Mobile(作为"微软语音指令")。 然而,在Windows Vista之前,语音识别不是主流。对此,Windows语音识别是捆绑在Windows Vista于2006年发布的,使得Vista成为Windows第一个提供完全集成的语音识别支持的主流版本。
title: 值得注意的事件.
content: 2006年7月27日,微软财务分析师在会议上演示期间,软件将他所说的“mom”识别为了“aunt”,导致了“"Dear aunt, let's set so double the killer delete select all"”的输出。 Vista的语音识别开发团队的一位开发人员随后称演示期间的错误是由于音量控制功能的bug。Bug已由微软在正式发布Vista时修复。
title: 技术细节.
content: Windows语音识别依赖于微软语音应用程序接口5.3版本(内置在Windows Vista)。该应用程序还使用微软语音识别器8.0的Windows版本作为其语音配置文件引擎。
title: 安全问题.
content: 2007年,有报道说Windows语音识别可用于远程访问和/或控制用户的计算机。从理论上讲,播放包含Windows语音识别命令的预先录制的讯息可能会允许一台远程计算机执行任务。  微软已经正式承认了漏洞,但估计不会出现了严重的威胁,因为即使黑客成功地利用这个安全漏洞,他们也将不能执行受用户访问权限限制的操作,这包括任何管理任务。此外,在Windows 7中,这一问题通过启用或禁用语音识别的选项解决。

Summary: Windows语音识别(英语:Windows Speech Recognition)是一个语音识别应用程序,内置在Windows Vista、Windows 7和Windows 8。

Reconnaissance vocale de Windows: La Reconnaissance vocale de Windows (en anglais, ) est un composant du système d'exploitation Windows de Microsoft. Ce composant est disponible dans Windows Vista, Windows 7, Windows 8 et Windows 10.
星期中的日子

title: 每个日子的名称.
content: 以华语系的语言为母语的地区来看,每个日子的名称如下:  而就英语以及其它使用和英语相同命名方式的语言每个日子的名称和由来如下:
title: 每个星期的第一天.
content: 在不同地区,一星期的开始时间并不完全一致。多数美洲国家如美国、加拿大、墨西哥,部分亚洲国家或地区如印度、日本、香港、澳门,以及以色列等地一般认为一个星期开始于星期日(Sunday)。多数欧洲国家、澳洲、南非、少数南美洲国家以及部分亚洲国家或地区如中国大陆、韩国都以星期一(Monday)为一星期的第一天。周日也是所有星象制和希伯来历星期中的第一天。  在犹太人和基督徒的传统中,周日是一个星期中的第一天。根据圣经,上帝花了六天的时间创造了世界,而在第七天,也就是安息日(星期六)休息了,这一天就被视为庆祝和休息之日,这就使得星期日成了一个星期中的第一天。在欧洲早期的基督徒开始采用星期的制度时,一开始是以星期日为一个星期的第一天,  某些国家的日子名称的不同之处非常的明显:在希伯来语、阿拉伯语和希腊语中,有些日子的名称是直接以它在这个星期中的顺序来称呼(以周日为第一天),例如:周一称为「第二天」。而还有一些使用斯拉夫语系语言的国家也会以其在星期中的顺序来称呼,但是是以周一来做为第一天,例如:周二称为「第二天」。还有另外一种解释,那就是有些使用斯拉夫语系语言的国家并不是将日子以其在星期中的顺序来称呼,而是以其和周日的距离来称呼,例如:周三称为「中间日」,而这就证明了仍然有一些使用斯拉夫语系语言的国家以周日来当作第一天。  但无论如何,国际标准化组织(ISO)在ISO 8601中指定周一为一星期中的第一天,用来代表软件的时间格式。
title: 计算机软件的国际化.
content: 计算机软件设计时为了适应各国各地区的各种不同细节,使用区域设置技术来使得这些细节对程序设计透明化。即同样的源程序产生的输出能自动遵循各国各地区的风格。下述C++语言程序能在Windows系统上获取当前区域的星期开始的日子:

Summary: 星期中的日子(日历日)的名称在全世界语言中可分为「数字制」和「星象制」两种。数字制中,阿拉伯语、希伯来语、越南语和葡萄牙语以周日作为一周中的第一天,而俄语和其他斯拉夫语系则以周一作为一周中的首天。星象制以日(太阳)、月(月亮)、火(火星)、水(水星)、木(木星)、金(金星)、土(土星)等与罗马神祇有关的星体名称来命名日子;英文在内的日耳曼语族则使用北欧神话中神祇的名字。

Noms des jours de la semaine: Les noms des jours de la semaine en français tiennent leur origine des noms de divinités de la mythologie romaine.
UPS航空1354號班機空難

title: 事故飞机.
content: 事故飞机是架空中客车A300F4-622R,注册编号N155UP,使用普惠PW4000引擎,2003年制造,并在隔年2月以新机交付UPS。事故发生时本机已累积约11,000飞行小时,并完成6,800次起降。
title: 坠机.
content: 在阿拉巴马州伯明翰-沙特尔斯沃思国际机场进场准备降落18跑道时,飞机「碰到一些树」并以机鼻朝上的姿势三次撞击地面。机身随后断成两截,机鼻的部分飞到距最初撞击点的地方,其他部分再往跑道飞约后掉到地面并起火燃烧。
title: 调查.
content: 美国国家运输安全委员会(NTSB)在事发后展开事故调查,并派遣26人的行动小组到事故现场搜集易损坏的证物。同日稍晚的记者会上,NTSB表示因机尾部分仍在燃烧,暂时无法取得(放在机尾的)驾驶舱通话记录器和飞航资料记录器。法国航空事故调查处(BEA)与空中客车的技术人员将以飞机制造国的身份参与调查。联邦调查局采证小组(Evidence Response Team)亦将协助NTSB进行搜证。

Summary: UPS航空1354号班机是由肯塔基州路易维尔国际机场往阿拉巴马州伯明翰-沙特尔斯沃思国际机场的定期货机。2013年8月14日该班机在伯明翰-沙特尔斯沃思国际机场进场时坠毁并发生大火,正副驾驶(也是机上仅有两人)罹难。

Vol UPS Airlines 1354: Le vol UPS Airlines 1354 était une liaison régulière d'un avion cargo entre l'aéroport international de Louisville et l' par UPS Airlines qui s'est écrasé au cours de l'atterrissage le.
幻想生活

title: 游戏概况.
content: 《幻想生活》是一款动作角色扮演游戏,玩家将从扮演一名王国的卫士开始,探索未知的瑞维利亚(Reveria)大陆。游戏最大的特色是允许玩家在12个职业生活中自由选择,而每种职业生活都对应了不同的游戏方式以及内容。
title: 游戏音乐.
content: 《幻想生活》邀请到了日本著名音乐制作人植松伸夫担任本作音乐的作曲。游戏发售了两张音乐原声碟:包含了游戏原声的《ファンタジーライフ オリジナルサウンドトラック》(Fantasy Life Original Sound Track)以及包含了游戏中各个职业的主题曲的《ファンタジーライフ テーマソングコレクション》(Fantasy Life Theme Song Collection)。两张游戏原声都在2013年3月13日在日本地区发售。
title: 扩展内容.
content: 《幻想生活》在日本率先推出了资料片《幻想生活 Link!》()。在该资料片中,游戏加入了多人在线联机游戏的功能,和新的游戏内容。而该作仅在日本地区推出,而欧美地区所发售的《幻想生活》中已包含了该资料片的内容,不过需要玩家以追加下载内容的方式付费解锁。该资料片由从原Brownie Brown工作室出走的成员新组建的Brownies Games()负责开发。
title: 开发历史.
content: 《幻想生活》最早在2009年8月25日的“LEVEL5 VISION 2009”发布会上公布的,平台为任天堂DS;因为《Mother3》的开发商Brownie Brown(现1-UP工作室)的加入,使得本作的最早公布的画面风格与《Mother3》极为相像;当时Level5计划将于2010年发售本作。 在之后举行的2009年东京电玩展上,Level-5为参加试玩的观众派送了自家的任天堂DS游戏新作试玩版卡带,该卡带中包括了《二之国》、《闪电十一人2 威胁的侵略者》以及《雷顿教授与魔神之笛》三款作品的试玩版。而《雷顿教授与魔神之笛》的试玩版中则包括了“雷顿教授的伦敦生活”内容。该内容为《幻想生活》与《雷顿教授》系列的交叉宣传,该内容由Brownie Brown制作,所以游戏风格保持了《幻想生活》的二维平面风格。然而最终《幻想生活》并没有如期在任天堂DS上发售。在此之后,有关本作的消息销声匿迹;直到2010年10月20日召开的“LEVEL5 VISION 2010”发布会上,Level-5宣布本作将转移平台,有原先的任天堂DS平台转至任天堂的新掌机任天堂3DS上。在发布会上也展出了游戏的最新影像,游戏风格由最早的二维平面风格改为了三维立体风格;由于本作因为推倒重做的缘故,Level-5预估本作将延期至2011年发售。  本作的CG动画由神风动画负责制作。 游戏的欧美版本由任天堂北美的树屋小组负责本地化工作,并在2014年的E3游戏展上公布了本作的美版详细信息和试玩展示。
title: 评价.
content: 《幻想生活》总体上获得了还算正面的业界评价。日本权威游戏杂志《FAMI通》给出了35分(满分40分)的评价,并进入白金殿堂。中国大陆的《游戏机实用技术》给出了25分(满分30分)的评价,并获得“热血推荐”。相对亚洲媒体对本作的青睐,欧美的游戏媒体则对本作评价不一。 在商业上,《幻想生活》在日本已销售超过30万套。而截至2015年4月,本作在全球范围内已售出超过100万套。
title: 续作.
content: Level-5在2015年4月7日召开的发布会上正式宣布了本作的续作《幻想生活2》,并宣布该作将登陆智能手机平台。2016年10月21日宣布更名为《幻想生活ONLINE》,原本预计于2017年中旬开始提供下载,后延期到2018年夏季上线。

Summary: 是一款由Brownie Brown,Level-5和h.a.n.d.联合开发在任天堂3DS平台上的动作角色扮演游戏。 本作于2012年12月27日在日本地区由Level-5发售;在2014年的任天堂E3游戏展前网络发布会上,宣布本作的欧美版本于2014年10月发售。

Fantasy Life: En avril 2013, Level-5 a annoncé avoir vendu plus de exemplaires du jeu depuis son lancement. Le chara-design du jeu a été réalisé par Yoshitaka Amano et les musiques composées par Nobuo Uematsu.
羊八井镇

title: 传说.
content: 根据藏族的古老传说,最古代天地混沌时期,有一只金凤凰飞来,将自己的一只眼睛化为一盏神灯,照亮世界并融化了唐古拉山的雪,使大地充满生机,但有一个魔鬼用箭将神灯射灭,神灯的碎片飞溅到地上,化为多个温泉。
title: 沿革与区划.
content: 羊八井地区于1960年设羊八井乡,1970年改为羊八井人民公社,1984年恢复为乡,1988年撤乡设镇。现辖桑巴萨村、拉多村、恰玛村3个行政村。
title: 羊八井国际宇宙线观测站.
content: 羊八井国际宇宙线观测站于1990年初步建成。观测站立足于地面,根据对宇宙射线及其在大气层中产生的广延大气簇射(EAS)的观测,研究宇宙线、起源及与此相关的宇观和微观课题。羊八井的高海拔(四千三百米)及其采取的不断加密探测阵列直到完全覆盖地面的手段,是它能把探测阈能降到TeV甚至一百GeV能区并在超高能区实现精确测定的物质基础。这里已经开展了中日ASg和中意ARGO两个大型国际合作实验。

Summary: 羊八井镇(;意为“宽阔”)是中国西藏自治区拉萨市当雄县下辖的一个镇,位于拉萨西北90多千米的藏北草原上,海拔4300多米,面积800平方公里。当地含有丰富的地热资源,温泉数量最多,水温是中国温泉中最高的,高达93°C~172°C,每秒自然热流量11万千卡。1976年建成中国第一座地热发电站——羊八井地热电厂。

Yangbajing: Yangbajing (, du, signifiant « large », « vaste »), également retranscrit en "Yangbajain", est un bourg située à environ 90 km au nord-ouest du centre ville de la ville-préfecture de Lhassa, dans le xian de Damxung en région autonome du Tibet.
存在 (潔西 J專輯)

title: 创作背景.
content: 2011年10月洁西和《Daily Star》访谈时提到她将回到录音室筹备她的下一张专辑,透露希望新专辑能够集中各种流行音乐元素:「我很清楚我自己擅长的地方,特别是在音乐上,所以我希望能够在新专辑中能收录更多的流行风格的音乐,就和《Price Tag》这样风格一样。而这样的想法总是围绕着我,但是我还不清楚这个专辑的发行的具体时间。」她更表示将会邀请更多实力派歌手为新专辑献唱,并已经向部分的歌手发出了邀请,但是还没有确认最终的合作名单。洁西在之后的访谈中透露下一张专辑的歌词将会提到更多的痛苦:「现在这刻我感到非常愉悦,已经不再害怕以往经历的辛酸。但我还是需要正视过去,才更有说服力告诉别人那已经过去了。而所有的歌曲并不都需要一个完美的结局。」  2013年洁西在某次访谈时透露「专辑名字将是一个单词,并且有英文字母"O"」后,坊间开始传言新专辑名字为《Gold》。2013月8月17日,洁西于V音乐节的现场演出上宣布专辑《存在》的名字以及发行日期。在后台的访谈中,她提到专辑的创作部分在五周内就完成了,而专辑名字《存在》则从直接反映自己当下的生活状态和感受,整体也比上一张更加成熟。
title: 评价.
content: 《存在》评价正反不一。乐评网Metacritic根据4笔评价对此专辑评分57/100分,好坏参半(mixed or average reviews)。有些乐评赞赏洁西的歌声与自信,而其他乐评则认为专辑过于普通与细腻。Gigwise给予专辑6/10颗星,认为这张专辑无疑展示出洁西的歌唱天赋,但与此同时专辑是张好歌与强劲的歌词的合成品—其中很多歌与以前的过于相似,甚至有些歌明显是赶工出来的。Virgin Media亦给予专辑褒贬各半的评价,认为洁西已经克服成为普通歌手以及中等创作者的障碍,但缺乏原创的音乐意念去成为一个真诚的A级的流行明星,并补充说洁西已经上升至某个层次,《存在》是张比前作更好的作品,稍为减少了平庸的4/4拍子节奏(four to the floor),有更多让她的个性与魅力大放异彩的机会。  伦敦标准晚报则相对有较正面的评价,给予专辑4/5颗星,认为洁西是个「对姬蒂·佩芮非常英式的回应」,并认为《存在》是非常21世纪的流行专辑,[...] 它拥有只停留在心很短时间的歌,但同时拥有真正的手艺。数码间谍同样给予专辑正面的评价:「《存在》整体是一张成功的流行唱片,展示出一个无可否认地有才华的唱作歌手出道至今的进步—但愿也是一张能战胜那些『仇敌』的唱片」,并补充说「《存在》无疑是确实有在其整个过程中切换风格倾向的事实,但总体思路确实感觉比她的出作道更具凝聚力。」《The Guardian》的Phil Mongredien则认为《存在》绝不是一张失败的作品,但最好避免唱抒情歌。
title: 商业成绩.
content: 《存在》首周以39,270张的销量空降英国专辑榜第三名,比起前作的105,000张的销量退步。专辑次周则以14,574张的销量排在第七名的位置,并于排行榜前40名的位置停留了12周。《存在》距今于英国售出超过180,000张,比前作《你是谁》的销量锐减,并只获得英国唱片业协会颁发金认证。  在欧洲,专辑在多个国家登上专辑榜首40名,并于瑞士空降专辑榜第15名,比起前作《你是谁》空降第29名的成绩进步。在奥地利,专辑空降专辑榜第36名,并于西班牙跟荷兰的专辑榜空降第19名。在法国,专辑则空降排行榜100名外,只排在104名。在大洋洲,专辑空降新西兰专辑榜第18名,并空降澳洲专辑榜第7名。

Summary: 《存在》(英语:Alive)是英国歌手洁西·J的第二张录音室专辑,于2013年9月23日发售。

Alive (album de Jessie J): Alive est le deuxième album studio de l'auteure-compositrice-interprète britannique Jessie J, sorti le au Royaume-Uni et dans certains pays européens et le dans le reste du monde. L'album contient des collaborations d'artistes tels que Becky G, Brandy Norwood, Big Sean et Dizzee Rascal. Il a fait son entrée dans les hit-parades à la troisième place lors de sa première semaine d'exploitation avec vendues sur le territoire anglais. L'album est un échec commercial avec un peu moins de à la fin de.
克利夫兰高地

title: 历史.
content: 克利夫兰高地是凯霍加县中最迟才有人定居的地方。首批定居于克利夫兰高地的人是一些农民。于1828年,克利夫兰高地第一条道路梅菲尔德路正式完工。于19世纪期间,克利夫兰高地拥有不少农田和采石场。克利夫兰高地最早的蓝灰沙岩采石场是由邓肯·麦克法兰。在这个采石场建立后,克利夫兰高地人口开始上升,以及人们开始建立更多的采石场。而人们为了纪念邓肯·麦克法兰,更以他的名字命名采石场附近的一条街。  约翰·戴维森·洛克菲勒于1873年到达克利夫兰高地。他于这里拥有一幢大的庭园,并于1938年捐赠予政府。政府把这块地改造成公园,并成为现今的林山公园。这个公园跨越了克利夫兰高地和东克利夫兰的疆界。而在洛克菲勒的庭园内亦曾经有采石场。  洛克菲勒并非唯一来到克利夫兰高地的富裕克利夫兰居民。富翁帕特里克·卡尔霍恩,亦于1892年在附近建立了「欧几里德高地」。于1898年,马库斯·M.布朗开始发展「梅菲尔德高地」。  于1899年末,电车服务延伸到克利夫兰高地。于1903年,克利夫兰高地终于被纳入克利夫兰的郊区部分。  于1910年,克利夫兰高地人口仅为2,955人。于1920年,其人口已上升至15,396人,增加了5倍。于1921年8月9日,克利夫兰高地正式获得城市地位。于1960年,克利夫兰高地人口达到顶峰,即61,813人。
title: 地理.
content: 克利夫兰高地的座标为(41.509652, -81.563301)。  根据美国人口调查局,克利夫兰高地总面积为,其中有,即0.25%的土地为水域。克利夫兰高地大部分地区都位于达格威溪流域内。
title: 人口统计.
content: 根据2010年人口普查,克利夫兰高地拥有46,121居民、19,957户人和10,834个家庭。克利夫兰高地人口密度为5,689人每平方英里。而户的密度为2,687.9户人每平方英里。克利夫兰高地的人口是由49.8%白人、42.5%黑人、0.2%土著、4.1%亚洲人(1.4%华人、1.4%印度人、0.3%韩国人、0.2%菲律宾人)、0.01%太平洋岛民、0.6%其他种族和2.8%混血构成。而西班牙裔或拉丁美洲人仅占人口2.0%。其中,90.15%人口母语为英语、2.33%为俄语、1.93%为西班牙语和0.94%为法语。  在19,957户人中,有23.1%拥有一个或以上的儿童(18岁以下)、35.1%为夫妻、15.2%为独居女性、而有45.7%为非家庭。其中36.1%户人为独居,10.4%为同居长者。平均每户有2.27人,而平均每个家庭则有3.05人。在46,121居民居民中,有23.9%为18岁以下、9.2%为18至24岁、31.6%为25至44岁、23.6%为45至64岁以及11.7%为65岁以上。人口的年龄中位数为35岁,而每100个女性就有87.5个男性。  克利夫兰高地的家庭平均收入为$48,717美金,而收入中位数则为$65,857美金。50.4%的人口拥有学士或以上学位。城市的人均收入为$28,435,而约7.4%家庭和10.6%人口收入在贫穷线以下。
title: 政治和政府.
content: 克利夫兰高地市长是由一个城市宪章赋予权力的。 城市宪章是于1921年订立,并分别于1972年、1982年和1986年作出修改。宪章指定城市的政府为议会-经理制,而议会是由7个议员组成,并每隔四年进行选举。其中四个议员是在总统选举一年后选出,而剩余的三个议员瞪是在州长选举时进行。所有选举均使用全票制。而市长则是由议会选出。  现在的议会成员为由市长爱德华·凯利、肯尼思·蒙特勒克、菲利斯·L·埃文斯、贾森·S·斯坦、博尼塔·W·卡普兰、丹尼斯·R·威尔科克斯和谢丽尔·L·斯蒂芬斯。
title: 教育.
content: 克利夫兰高地的教育是由两个校区提供。大部分学生都在克利夫兰高地-大学高地城市学区上课,而小部分则于东克利夫兰市学校区上课。  克利夫兰高地拥有不少私人学校,其中包括博蒙特学校、东路德高中、天际蒙台梭利、拉夫凌蒙台梭利、克利夫兰希伯来学院和圣安学院。

Summary: 克利夫兰高地(英语:Cleveland Heights)是一个位于俄亥俄州凯霍加县克里夫兰市郊的城市。于2010年,克利夫兰高地人口为46,121人。

Cleveland Heights: Cleveland Heights est une ville située dans le comté de Cuyahoga, dans l'État de l'Ohio, aux États-Unis. Elle se trouve dans la banlieue de Cleveland. Lors du recensement de 2010, sa population s’élevait à. Sa superficie totale est de.
日本駐秘魯大使館人質危機

title: 事件始末.
content: 1996年12月17日晚利马,日本驻秘鲁大使馆内,日本大使青木盛久为日本明仁天皇的63岁寿辰举行庆祝宴会,秘鲁政府和军方高级官员、知名人士和各国外交使节800多人应邀参加。  14名“图帕克·阿马鲁革命运动”组织成员在韦尔塔司令(化名,43岁,真名为内斯托·塞尔帕Néstor Cerpa)的指挥下,化装成侍者,将大批武器及弹药隐藏在蛋糕里, 骗过使馆外围警察的检查,混入使馆内,在20时30分时,恐怖分子取出武器,与使馆内的警察和保安人员短暂地交火后,迅速控制了使馆两层楼的所有出口,将馆内540余人(800余名来宾中,有200余人因公务提前退场)扣为人质。  在被劫人质中,有秘鲁外交部长、农业部长、最高法院法官、反恐警察司令以及国家安全机构负责人等高层要员;时任总统藤森的母亲、妹妹、弟弟以及后来的秘鲁总统亚历杭德罗·托莱多也在其中; 除中国、美国、墨西哥等国大使因公事提前十余分钟退场外,前来出席招待会的德国、法国、巴西、玻利维亚、古巴、委内瑞拉、韩国等18个国家的大使、代办以及外国驻秘鲁的跨国公司的代表全部被挟持。  恐怖分子在劫持人质后,提出来一系列要求:  人质事件发生后,秘鲁政府立刻出动大批军警,对日本大使馆进行了严密封控。次日(18日),秘鲁政府委任卫生部长多明戈·明帕莱莫作为政府代表前去与恐怖分子谈判,但遭到拒绝,恐怖分子坚持要藤森总统亲自出面谈判。  18日夜间,在国际红十字会的斡旋之下,恐怖分子首先释放了包括外交官夫人在内的约40名妇女和老人,其中包括藤森总统的母亲和妹妹。  21日,在人质危机进入第4天时,藤森总统直接对公众公开讲话,表示十分关心人质的生命安全,称政府将尽全力争取和平解决人质危机,但断然拒绝恐怖分子的要求,并严正要求恐怖分子“立即放下武器、释放人质”。由于秘鲁政府与恐怖分子在释放在押的“图帕克·阿马鲁革命运动”人员问题上难以达成协议。致使谈判屡屡陷入僵局。秘鲁政府与恐怖组织之间艰难而漫长的对峙一直持续到1997年4月。在此期间,秘鲁政府既坚持了不向恐怖分子妥协,又保持了相当的灵活性,不断派出代表与恐怖分子谈判,并透过国际社会向恐怖分子施压,迫使恐怖分子在4个多月的时间里没有杀害人质,并且还分几批释放了大批人质,到最后只剩下72人被扣。  1997年4月22日,在秘鲁情报部门经过长期的窃听和侦察,彻底掌握了恐怖分子和人质在官邸内的情况后,秘鲁军队和特种警察部队组成的军警突击队挖出五条地道进入日本大使馆。这些地道深三米,各自通向大厅、餐厅和花园内几个战略角落,有的长达80米,地道内有照明、空调和通信设备,可供人在里面驻守数天。  士兵在21日早上6点30分开始进入地道等待命令,15点27分开始行动。首先把通向使馆大厅的地道口炸开,当场炸死了五名正在大厅踢室内足球的恐怖分子。有三名恐怖分子在第二个地道口被突击出租车兵击毙。以塞尔帕为首的其余六名恐怖分子,与从官邸大门正面进入的突击队进行了15分钟的顽强抵抗,最后全被击杀。  在交战中,大使馆周围布满了军警和救护车以配合这次行动。被营救的72名人质中,除一名人质(秘鲁最高法院法官阿库尼亚博士(Dr. Carlos Giusti Acuña),心脏病发而死)被证实已经死亡外,大部分人都安然无恙,有25名人质因轻伤和身体状况不佳被送往医院接受检查和治疗。日本大使青木盛久面带微笑而出,秘鲁外长图德拉则因腿部受伤,被人用担架抬出来。人质中还有藤森总统的弟弟佩德罗·藤森。  参加这次行动的主要是一支由陆、海、空三军部队的140名人员组成的特种军警部队,他们中有些人曾经在美国接受过特种训练。  在采取这次军事行动前,秘鲁未向任何国家或调解机构透露行动计划。美国总统克林顿在行动开始时才接到了秘鲁方面的通知,而日本政府是在格林威治时间20点45分接到秘鲁通知,日本首相桥本龙太郎则是在行动开始18分钟后被告知。  战斗结束后,藤森总统身穿防弹衣,进入大使馆,向参与行动的大约200多名士兵和40多名获救人质发表了简短的讲话,他称这次胜利是一次人民的胜利。富有戏剧性的是,就在藤森讲话过程中还发生了一次爆炸。当突击队撕下MRTA在大使馆的屋顶的旗帜时,藤森加入与一些人质唱起秘鲁国歌。事后他的支持率迅速翻了一倍,达到近70%,被人们称为“国家英雄”。  据美国国防情报局(DIA)宣称,MRTA成员罗利·罗哈斯被发现试图混入人质群中逃走。突击队员发现了他并带到后面的房子中,对准头部枪决,DIA的线人供称另一名女性MRTA成员在事后也被处决。
title: 争议.
content: 救援行动后不久开始流传MRTA成员投降后被处决的传言:  媒体报道还讨论了这次行动可能违反国际惯例,按照外交治外法权,秘鲁军队不能进入外国使馆区域。
title: 法律诉讼.
content: 2001年1月2日,秘鲁的人权组织APRODEH代表MRTA家庭成员对藤森、Vladimiro Montesinos、Nicolás De Bari Hermoza Ríos、Julio Salazar Monroe等人提起刑事诉讼,控告他们私自杀死爱德华多·尼古拉斯·克鲁兹·桑切斯和另外两个MRTA激进分子。

Summary: 1996年12月17日,在秘鲁首都利马,14名图帕克·阿马鲁革命运动(Túpac Amaru Revolutionary Movement,简称MRTA)成员挟持了正在日本驻秘鲁大使官邸参加明仁天皇诞辰63周年庆祝活动的数百名包括日本大使青木盛久在内的高级外交官、政府和军方官员以及企业高管。这一事件被称为“日本大使馆人质危机”(Japanese embassy hostage crisis)。

Crise des otages à l'ambassade japonaise: La crise des otages de l'ambassade japonaise débuta le à Lima lorsque 14 terroristes membres du Mouvement révolutionnaire Tupac Amaru (MRTA) prirent en otage près de 700 diplomates, hauts fonctionnaires, officiers militaires et hommes d'affaires qui participaient à une soirée à la résidence de l'ambassadeur du Japon au Pérou,, en célébration du de l’empereur Akihito. Malgré le fait que la prise d'otage se déroula dans la résidence officielle de l'ambassadeur, les médias en référèrent comme la crise d'otage de « l'ambassade du Japon » et c'est ainsi que celle-ci est officiellement connue.
羅嘉仁

title: 生平.
content: 2008年中罗嘉仁自文化大学毕业,毕业后曾短期效力于合作金库棒球队,同年11月休士顿太空人正式签下罗。罗嘉仁曾代表中华民国参加2008年北京奥运,也曾在2009年的世界棒球经典赛(WBC)中出赛。大学时期即高达156km/h的球速让他在国家代表队中占了一席之地,并受到了国外球探的瞩目。
title: 2008~2012年球季.
content: 2008年以25万美元的小联盟约加盟美国职棒休士顿太空人队,由小联盟高阶1A起步。  2009年升上小联盟2A,6月26日入选小联盟未来之星世界队成员。在小联盟明星赛中拿到胜投,是第1位在未来之星明星赛拿到胜投的台湾投手。因优异表现,获邀参加大联盟春训,但仅出赛七场,因手肘韧带撕裂伤,此后表现不佳。  2011年7月进行手肘韧带置换手术。经过复健,2012年底,休斯顿太空人将他放入40人名单。  2012年季后参与亚利桑那秋季联盟,投出了个人的生涯极速100mph(约161km/h)。
title: 2013年球季.
content: 2013年初,参与大联盟春训,在春训结束后回到2A。  7月29日,休士顿太空人将Jose Veras交易到底特律老虎,因牛棚战力不足,宣布将罗嘉仁升上大联盟。罗嘉仁背号63号。  7月31日,休士顿太空人对巴尔的摩金莺,罗嘉仁在第8局11:0的情况下,大联盟初登板,总计投1局,2安打,0失分,并投出大联盟生涯首次三振。终场球队以11比0获胜。  8月7日,休士顿太空人对波士顿红袜,罗嘉仁在第七7局上场,中继1.1局,1三振0失分,拿下大联盟首次中继成功。终场波士顿红袜以7:5击败太空人。  8月14日,对奥克兰运动家,罗嘉仁在8局下后援1.1局,终场太空人5:4获胜,罗嘉仁取得大联盟首次救援成功。  8月21日,对德州游骑兵,罗嘉仁于8局下后援1.2局,被打1安2保送失1分,终场太空人以4:5败给游骑兵,罗嘉仁吞下本季首败。  8月25日,对多伦多蓝鸟,对手蓝鸟队同为台湾的先发投手王建民,结果王建民投3局就失掉了5分吞败,而罗嘉仁在第9局仅有领先3分时上来救援,并三振掉了最后一名打者拉杰·戴维斯,成功夺下本季第二次救援成功,也是台湾史上第一次在MLB,胜败以及救援纪录,都和台湾球员有关。
title: 2014年球季.
content: 2014年4月,大联盟春训结束后,被移出40人名单,放入指定让渡名单。降至小联盟3A奥克拉荷马城红鹰(Oklahoma City Red Hawks),5月28日被休士顿太空人释出。  6月16日,罗嘉仁投入中华职棒季中选秀。8月5日,加入义大犀牛队。
title: 2014亚运金牌争霸赛.
content: 9月28日,亚运棒球金牌赛,罗嘉仁于第八局上顶替陈冠宇,罗嘉仁因控球出现问题挨轰,半局失4分。
title: 2015、2016年球季.
content: 2015年4月4日,义大犀牛于桃园国际棒球场对战Lamigo桃猿队,罗嘉仁在9局上场,投出157km/h速球,超过先前由林岳平与罗嘉仁本人共同保持的156km/h,刷新了中华职棒本土投手的最高球速纪录。  隔年球季由于肩伤动刀,预估将报销,也成为12强赛国手受伤申请保险理赔首例,据当初保险协议,理赔金额依去年月薪给付,总计最高514万元,球团不得减薪。
title: 2019年球季.
content: 罗嘉仁因右肩曾动内视镜手术,术后持续表现不佳,控球方面仍然没有改善,于2019年11月30日遭富邦悍将释出。
title: 2020年球季.
content: 2019年12月31日年底,味全龙队宣布以一纸合约签下罗嘉仁,2020年球季将在二军打拼。

Summary: 罗嘉仁(Chia-Jen Lo,1986年-4月7日),为生于台湾屏东县枋山乡的职棒后援投手,现效力于中华职棒味全龙队,曾效力于中华职棒义大犀牛和富邦悍将队。绰号「火球仁」、「妙蛙种子」。

Chia-Jen Lo: Chia-Jen Lo, né le 7 avril 1986 dans le comté de Pingtung à Taïwan, est un lanceur de relève droitier des Ligues majeures de baseball jouant avec les Astros de Houston.
大阪單軌鐵路

title: 历史.
title: 公司发展.
content: 大阪都市圈是指以大阪为中心发展出去的都市结构,周边铁路网的发展正正反映了这样的发展模式。随着都市圈的扩张,中心地区发展变得过度集中,而周边的新发展区又存在着既有铁路服务不足的问题。因此,建立一条以促进大阪府均衡发展,缓和中心地区的挤迫程度,分散城市发展,为周边地区提供交通服务,以及提供代替私家车的代步方式为目标的环状铁路便显得十分重要了。  1966年8月,为了方便游客前往1970年日本万国博览会的会场,政府提出了一条与从市中心伸延出来的国铁网络及九条私铁路线交错的铁路方案。暂定沿着府道大阪中央环状线建设,从与阪急千里线交错点到与国铁关西本线交错之处,长26.1公里的路段,也考虑过延长到堺市和西宫市。  在1967年提出的大阪地方计划指出「大阪府内的交通网一向都是从既有市中心向外发展的放射式网络。然而,无论从管理城市还是发展地区角度来看,都有必要尽快建造环状路线和周边地区之间的交通路线。」  1971年1月,大阪府企划室提出以下设想:「大阪府有必要发展成多核心城市以缓和市民向市中心过度集中的影响。因此,建设南北向穿过大阪东面,从大阪东面和西面把北大阪和南大阪连接起来的中央环状铁道便成了有力的战略。这条环状铁道有机会采用单轨铁路等新型铁路运输方式。同时新铁路将在车站周边地区扮演开荒牛的角色。」
title: 路线.
content: 大阪高速铁道营运以下路线:  2004年,来自近畿地方交通审议会的报告草案「在京阪神圈构成被中长期期待之铁路网络的新路线」中出现了大阪单轨铁路线 门真市 - - - 瓜生堂间8.7公里的延伸方案。虽然该提案草案中的这一路段被长期搁置,但到了2013年4月,,大阪府知事 松井一郎向有关部门发出了「应使用自2001年以来累积的盈余回馈市民」的指示,要求进行商业检视,例如检视路线等。于是,大阪高速铁道为该计划进行公开投标,并将结果上呈府议会,并于2016年召开工程会议,预计2019年动工,于2029年竣工。 此外,彩都线的阪大病院前 - 彩都西间4.2公里于2007年3月19日开业时,有为对应国际文化公园都市发展的延伸路段(彩都西-东中心)而预留的设施。然而,考虑到利润问题,该延伸路线于2017年1月被搁置。 现时路线上最陡峭的斜坡斜率达50‰(有数段),最急弯半径仅100米(萤池站 - 柴原站间)
title: 使用车辆.
content: 一般来说所有列车均会全线运行,但在2007年3月19日国际文化公园都市单轨电车线(彩都线)通车后,由于部分彩都线列车会进入大阪单轨电车线(本线)直通运行至千里中央,不时有本线乘客错误乘搭会于中途离开本线进入彩都线之列车。有鉴于此,自2007年7月起,未有配备侧面方向指示牌的列车皆不会进入彩都线,此安排直至全线列车均配备侧面方向指示牌为止。  现有车辆:  即将引入:
title: 车费.
content: 全线均可利用PitaPa与ICOCA等智能交通卡,使用PitaPa可享多次乘车优惠,ICOCA亦于2017年4月1日推出智能月票

Summary: 大阪单轨铁路(),旧称大阪高速铁道()是日本的一家经营大阪府内两条跨座式单轨铁路路线,由大阪府出资的第三部门的公司。总部位于大阪府丰中市新千里东町一丁目1番5号。在关西的大手私铁中,大阪高速铁道只能和阪急及京阪换乘,然而关西各大手私铁公司均是大阪高速铁道的股东。大阪高速铁道经营的两条路线分别是大阪单轨铁路线和国际文化公园都市线(彩都线)。

Monorail d'Osaka: Le est un monorail de type Alweg mis en service le juin 1990 qui circule dans plusieurs villes de la préfecture d'Osaka au Japon. Il est exploité par la compagnie.
艾哈迈德·雅尼国际机场

title: 历史.
content: 艾哈迈德·雅尼国际机场原是印度尼西亚国民军的一个空军基地,1966年8月31日印尼空军参谋部、陆军参谋部和交通部签署共同法令,开放商业航班。1995年10月1日,机场交由第一机场经营公司管理,彻底转变为民用商业机场。  2004年机场扩建,跑道从1,850米延长到2,600米,可以容纳波音767、空客320等飞机起降。2004年8月10日,交通部发布第64号令,艾哈迈德·雅尼机场升格为国际机场,首班国际航线飞往新加坡。但是由于经济衰退,嘉鲁达印尼航空运营的三宝垄-新加坡航线最终关停。2009年11月,巴达维亚航空复航三宝垄-新加坡航线。巴达维亚航空在2013年1月30日申请破产,该航线随即停止运营。目前,亚洲航空、印尼亚洲航空和胜安航空经营三宝垄飞往新加坡以及吉隆坡的航线。  2014年6月17日,第一机场经营公司与军方签署协议,向军方提供三十年的使用权并实施扩建工程,同日新航站楼奠基。2018年6月6日,新航站楼对公众开放,面积58,652平方米,是老航站楼的10倍大,拥有6座廊桥,老航站楼移交给军方使用。新航站楼建设在沼泽上,使用环保材料建设。

Summary: 艾哈迈德·雅尼国际机场(,)是印度尼西亚中爪哇省三宝垄的一座机场。机场以印度尼西亚民族英雄艾哈迈德·雅尼命名,他是印尼的一名军官,在九三〇事件中殉职。艾哈迈德·雅尼国际机场是世界上旅客增长速度最快的机场之一,原是印度尼西亚国民军的一个军事基地,因所在地区而称为“卡里班腾空军基地”(Kalibanteng),1966年开通商业航班,2004年8月嘉鲁达印尼航空开通了首班飞往新加坡的国际航班。目前机场由印度尼西亚交通运输部下属的国有企业第一机场经营公司管理。2018年6月7日,印尼总统佐科·维多多为机场的新航站楼主持开幕。

Aéroport international Ahmad-Yani: L'aéroport international Ahmad-Yani () est l'aéroport de Semarang, la capitale de la province de Java central en Indonésie. Jusqu'en 1966, c'était uniquement une base de l'armée de l'air indonésienne.
AliOS

title: 历史.
content: 2011年7月28日,阿里巴巴集团旗下阿里云推出阿里云OS。  2012年9月20日,阿里巴巴集团宣布阿里云OS将独立于阿里云事业群运行,接受阿里巴巴集团直接管理。阿里巴巴集团首席数据官陆兆禧将兼任阿里云OS事业群总裁,阿里巴巴集团首席技术官王坚将兼任阿里云OS事业群董事长及CTO职务。此外,阿里巴巴集团称将向阿里云OS投资2亿美金,阿里云OS成为阿里巴巴集团的战略级产品。  2012年9月13日,宏碁和阿里巴巴集团联合推出搭载阿里云OS的A800新手机发布会突然取消举行。Google认为宏碁作为开放手机联盟的成员之一,不应该销售运行不完整Android系统的手机。因此阻止宏碁开发与销售YunOS手机。  2013年3月2日,阿里云OS改称YunOS(云OS)。  2014年7月,YunOS入围政府采购协议供应商名单,阿里巴巴集团旗下YunOS以唯一的移动操作系统身份入围2014年中央国家机关政府采购协议供货商名单。  2014年7月23日,YunOS进军因特网汽车,阿里巴巴集团旗下YunOS与上汽集团进行因特网汽车战略合作,希望全方位影响人们生活的因特网,开放融合因特网和大数据,加速与汽车产业融合,向车主的生活圈拓展服务。  2014年12月18日,YunOS亮相中国移动全球合作伙伴大会,阿里巴巴集团旗下智能操作系统YunOS亮相中国移动全球合作伙伴大会,全面展现YunOS系统以及Powered by YunOS生态圈产品,囊括手机、盒子TV、智能家居、监控、门控、灯控、窗帘等在内的数十种设备。  2015年1月,中文在线发现YunOS上的应用平台存在侵权内容并在同年6月向阿里云公司发出通知要求删除相关内容但未获处理,于同年7月该公司就此起诉阿里云并在同年12月由法院一审判决侵犯原告传播权需赔偿12万人民币,经上诉后维持原判。该YunOS的应用平台「云手机助手」于2015年11月停止服务。  2015年4月9日,YunOS荣获「CITE创新金奖」,在第三届中国电子信息博览会「2014 CITE创新之夜」颁奖活动,阿里巴巴集团旗下YunOS与公安部第一研究所合作研发的PMOS专用移动操作系统荣获「CITE创新金奖」,与深圳路畅科技联合研发的畅安云系列智能车载导航也荣获「CITE创新奖」。  2015年4月28日,YunOS合作伙伴大会召开,YunOS在深圳举行2015年合作伙伴大会,主题围绕「开放共赢未来」,签约了国内十大手机方案商,包括高通、MTK、展讯、Marvell、联芯等芯片商,以及华勤、沃特沃德、鼎智、腾瑞丰、优思、迅锐、豪成、凡卓、致远等知名设计公司。  2015年6月1日,YunOS亮相国家网络安全周,由中央网信办、中央编办、教育部、科技部、工业和信息化部、公安部、新闻出版广电总局、中国人民银行、共青团中央、中国科协共十部门联合主办的第二届国家网络安全宣传周在北京中华世纪坛正式拉开帷幕,阿里巴巴集团旗下YunOS与公安部第一研究所合作研发的PMOS专用移动操作系统亮相,凭借专业的安全功能和优秀的用户体验获得了一致好评。  2015年7月15日,YunOS首次亮相MWC,阿里巴巴首次参加MWC展会,旗下YunOS联合阿里云、阿里智能、阿里通信等首次亮相MWC展会,以「DT时代的OS」为主题,现场展示了包括智能手机、智能PAD、智能电视、天猫魔盒、智能车机、智能家居等多款设备,并用场景化的方式,通过YunOS智能手机无缝串联起所有的智能终端,让用户亲身体验DT时代的移动智能生活。  2015年7月16日,全球首家YunOS智能生活体验馆在上海同济大学隆重开业。  2015年11月,为配合中国广电总局的政策,部分由用户自行安装在YunOS电视盒子内的第三方软件被自动删除且不能再安装。  2017年9月28日,YunOS改称AliOS。  2017年10月13日,AliOS携手斑马网络与神龙汽车就未来汽车智能化达成战略合作,即将陆续推出搭载AliOS的智联网汽车,首款车型将落地东风雪铁龙。  2017年10月20日,AliOS家族旗下面向IoT领域的轻量级物联网嵌入式操作系统AliOS Things正式开源。
title: 争议.
content: Google发言人安迪·鲁宾认为YunOS直接使用Android的运行时函式库、软件框架及开发工具,可以被视为Android的一个分支,但不完全与Android相容。参与Android的所有开发者,都贡献了他们的源代码,但YunOS拒绝与其他人分享,因此不应该被加入Android的生态系统中。  此外,虽然YunOS使用了开源化的Linux操作系统,但是YunOS也未依LGPL的精神与条款,将原始代码公开释出,因此也不被Linux社群认可是合法的Linux分支。  阿里巴巴集团发言人John Spelich认为谷歌没有提出抄袭的证据,也不认同YunOS是Andorid的一个分支。YunOS虽然底层核心同样使用Linux内核,但是在虚拟层,Android使用Dalvik虚拟机,而阿里云使用了阿里云虚拟机。这个虚拟机来自阿里巴巴集团收购的一家公司,这间公司已经开发了十多年虚拟机。阿里云并不是像其他中国厂商一样只是修改使用者界面。  此外,阿里云OS使用了自己的云端引擎,自己的HTML5解析器。YunOS应用中心有许多盗版的Android软件下载,有些软件更由Google开发。

Summary: AliOS(前称:阿里云OS、云OS、YunOS)是阿里巴巴集团推出的行动操作系统。AliOS以驱动万物智能为目标,可应用于智联网汽车、智能家居、手机、Pad等智能终端,为行业提供一站式IoT解决方案,构建IoT云端一体化生态,使物联网终端更加智能。从汽车开始,AliOS正在定义一个不同于PC和移动时代的物联网操作系统。

Yun OS: Yun OS (, non officiel) également appelé Aliyun OS () est un système d'exploitation orienté vers les terminaux mobiles, créé par l'entreprise Alibaba Cloud Computing (), filiale du Groupe Alibaba.
銀河騎士傳

title: 故事.
content: 故事发生于被称之为奇居子的谜之生命体将太阳系破坏后1000年的世界,航行在宇宙中,持续人类的繁殖与生产的播种船「希德尼娅」。主角谷风长道作为人型兵器「卫人」的操纵士训练生,跟伙伴们一起与奇居子战斗。  在共同生活的祖父死后大约3年,谷风长道为拼命寻找食物而打破了祖父的遗言,向上层前进,但是被当做偷米贼被抓住了。这个世上播种船之一的“希德尼娅”中,在不为人知的最下层中生活的谷风,并没有作为希德尼娅船员,而被登陆。祖父也在15年前就死了。希德尼娅的舰长・小林在得知了谷风的事情后,提拔他作为人型兵器・卫人的操纵士训练生。与星白闲,科户濑伊札那的伙伴,一同以正规操作士为目标努力着。  谷风搭乘历史上的有名的机器“继卫”,执行了他的初次任务“小行星上采集冰块”。但是在那次任务中,突然遭遇了奇居子。希德尼娅上的人类在时隔100年后再次面对奇居子时,陷入了恐慌。谷风虽然单独攻击奇居子,但要想打倒它,就要在胞衣剥离后,靠希德尼娅仅有的28根颖才能破坏它。但由于没有配备颖,所以在没有对抗手段的当时,依靠了希德尼娅的重质量炮进行暂时回避。
title: 登场人物.
title: 仄姐妹.
content: 在人工羊水中急速成长的11名克隆人姐妹,全员都是卫人操纵训练人。虽然外表的年龄与智慧与其他训练生相同,但是实际上的年龄只有5岁左右。由于是克隆人的关系,因此全员的长相全都一样,让别人无法分辨。或许是经过基因改造,拥有相当高的体能,后面更增加到22名姐妹。  在动画中所有人的声优都是由喜多村英梨所担任,在声音上只有稍微加上一点点变化。
title: 赤井班.
content: 被称为希德尼娅最强的小队,虽然在这次的奇居子战争中的第一次奇居子讨伐战中出击,但是不敌奇居子而遭到全灭。每个成员的机体都拥有各自的涂装。
title: 莎玛莉班.
content: 拥有仅次于赤井班实力的小队。
title: 融合个体.
content: 奇居子与人类融合后,同时拥有奇居子强韧的肉体以及人类心灵的究极生命体。 由于以前由落合制造出的个体引起几乎毁灭希德尼娅的暴走事件,在落合夺取岐神的意识后,创造出由个体外部控制意识的方法。虽然能够单独行动,但是在战斗的时候会有操纵士的人类乘坐其中。另外,过去落合所制造的个体,头部被挖空,被当做生产人工颖的母体。
title: 电视动画.
content: 动画第一季于2014年4月开始播放,并于同年6月播映完毕。  《剧场版 银河骑士传》于2015年3月6日上映,限定两个星期,是将电视动画第一季再编辑,并加入全新画面及音效。  动画第二季于2014年11月23日,在《希德尼娅的骑士》二期的先行上映会上首次释出,此次上映会释出的为第二季的第一、二话,两话内容为《第九行星战役》。

Summary: 《银河骑士传》(),是日本漫画家贰瓶勉的漫画作品,于讲谈社《月刊Afternoon》连载,在2015年勇夺第39回讲谈社漫画赏一般部门大赏。2014年首度改编为电视动画,并获得《Newtype》动画大赏2014届机械设计奖第六名;动画片头曲「」也在该年荣获第19回动画神户赏主题歌赏。

Knights of Sidonia: Une adaptation en série télévisée d'animation produite par Polygon Pictures est diffusée entre avril et. Une seconde saison est diffusée entre avril et. Hors du Japon, la série est diffusée exclusivement en streaming sur Netflix.
請出示文件

title: 游戏内容.
title: 每日流程.
content: 游戏开始的每天早上会播放新闻,可以从中得知阿兹托卡官方发布的最新讯息,开始执勤后可以阅读上级发下来的每日任务指示。检查所内的扬声器会发布让希望入境的旅客进入其中接受审查的讯息,审查的时间为即时进行,只要在规定上班时间内没有犯错或发生意外就能结束一天的工作,并进入每天结算薪资的审核。
title: 审查.
content: 可透过拖放方式放大入境者提报的护照与资料等相关文件,玩家所要做的就是检查这些文件是否记载无误或虚伪造假,并与每天上司发来的公务指示做比对,检查的规定与公务指示的内容每天都会变化,从游戏内的第二天开始会进入「调查模式」审问入境者,并使用装置检查对方是否隐藏武器或性别,甚至还有检查指纹与其他审核的环节。若是查出有疑点,则可叫出警备人员将嫌疑人带走,若是将不该放入境的人给放过,或是对检查无误的人却拒绝入境的话,只要合计超过三次以上就会在结算时被罚扣薪资。
title: 恐怖攻击的应对.
content: 有时候某些伪装成入境者的恐怖份子会突然发动攻击,并强行突破入境关卡,这时每天的执勤就会强制结束,随着游戏进展,玩家可获得麻醉枪或手枪,在判断对方有不轨行动时可使用这些枪械将恐怖份子击倒,成功的话在结算薪资时会因此获得加成。
title: 结算.
content: 在游戏规定的一日上班时间结束后,会进入薪资结算的程序,只要在工作期间内未失误就能获得应有的薪资,并对「家计费」与「罚金」做出支出,在获得薪资不足以支付这两项的情况下会结束游戏。同时要支出的还有「伙食费」与「暖气费」,若家人生病的话还得支付「医药费」。有时候入境者会提出贿赂希望玩家放他们通过,该金额也会被列入每天的所得之中,玩家则可以选择要不要接受贿赂。

Summary: 为在日美国人卢卡斯·波普所独立开发的像素游戏。玩家扮演一位在虚构共产主义国家阿兹托卡(Arstotzka)中甫刚上任的边界关卡检查官,负责在每日早上六时至下午六时的开放时间审核、确认要入境人士的证件,游戏的标题便是玩家面对每一位欲入境人士审查文件时的第一句台词。

Papers, Please: Papers, Please est un jeu vidéo indépendant d'observation et de réflexion créé par Lucas Pope et sorti en 2013 sur Windows et Mac OS X et 2014 sous Linux. Une version pour PlayStation Vita a été annoncée lors de la Gamescom 2014.
依赖类型

title: 形式化定义.
title: Π-类型.
content: 在全类(论域中全部类型构成的类型) formula_1 中给定一个类型 formula_2,存在着类型族 formula_3 为每一项 formula_4 赋予一个类型 formula_5。一个值域依赖于其参数的函数,称之为一个依赖类型函数,该函数的类型则称之为依赖类型、依赖乘积类型或Π-类型。在此例子中,依赖类型可以写作 或 若"B"为常数,则依赖类型退化成一般形态的函数 formula_8。即 formula_9 等价于函数类型 formula_8。  被称之为“Π-类型”的原因是它可以被看作是类型的笛卡尔积。Π-类型同时也可被看作是全称量词的模型。  例如,formula_11表示实数的formula_12-元组类型,则 formula_13 表示这样的函数类型:给定一个自然数"n",该函数返回一个大小为n的实数元组。一般的函数空间可以看作依赖型函数的一个特例,当函数返回值类型实质上并不依赖于输入时,如 formula_14 即为从自然数到实数的函数类型,它可以在简单类型lambda演算中被写作 formula_15。  多态是依赖类型函数的一个重要实例。给定一个类型,函数作用于该类型的元素之上。一个返回元素类型为"C"的多态函数可能拥有如下的多态类型:
title: Σ-类型.
content: 依赖函数类型的对偶是依赖值对类型(或依赖总和类型、Σ-类型)。它与余积或不交并的概念相类似。Σ-类型可以被理解成存在量词的模型。写作: 依赖值对类型表示一个值对,其中第二项的类型依赖于第一项的值。若 则 formula_4 且 formula_20。若"B"为常数,则依赖值对类型退化为一般的乘积类型,即笛卡尔积 formula_21。
title: Lambda 立方.
content: Henk Barendregt 提出了 Lambda 立方模型,用于对不同的类型系统的表达能力加以区分。Lambda 立方的八个顶点分别对应各自的类型系统,简单类型lambda演算位于表达能力最低的顶点上,而构造演算(calculus of constructions)则位于表达能力最强的顶点上。
title: 一阶依赖类型.
content: 一阶依赖类型 formula_22,对应于逻辑框架 LF,是通过把简单类型lambda演算的函数空间一般化为依赖乘积类型而获得的。
title: 二阶依赖类型.
content: 二阶依赖类型 formula_23,通过允许对 formula_22 类型构造子的量化得到。此时,依赖乘积类型涵括了简单类型lambda演算中的formula_25与 系统F 中的formula_26。
title: 高阶依赖类型多态 lambda 演算.
content: 高阶类型系统 formula_27 扩充了 formula_23,使之支持 Lambda 立方中的全部四种表达形式:从项到项的函数、从类型到类型的函数、从项到类型的函数、以及从类型到项的函数。这对应于构造演算(calculus of constructions),而构造演算则是证明辅助器 Coq 所基于的构造归纳演算理论的基础。

Summary: 在计算机科学和逻辑中,依赖类型(或依存类型,dependent type)是指依赖于值的类型,其理论同时包含了数学基础中的类型论和计算机编程中用以减少程序错误的类型系统两方面。在 Per Martin-Löf 的直觉类型论中,依赖类型可对应于谓词逻辑中的全称量词和存在量词;在依赖类型函数式编程语言如 ATS、Agda、Dependent ML、Epigram、F* 和 Idris 中,依赖类型系统通过极其丰富的类型表达能力使得程序规范得以借助类型的形式被检查,从而有效减少程序错误。

Type dépendant: En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé.
DirectAccess

title: 技术.
content: DirectAccess在客户端与DirectAccess服务器之间建立IPsec隧道,并使用IPv6联系内部网或其他DirectAccess客户端。这些技术将IPv6流量封装在IPv4封包内以通过互联网传输到内部网,因此仍主要依赖于IPv4流量。所有传输到内部网的流量都使用IPsec加密并封装在IPv4封包内,因此大多数情况下不需要配置防火墙或代理服务器。DirectAccess客户端可以使用数种隧道技术之一,这取决于客户端的网络连接配置。只要服务器配置正确从而能使用,客户端可以使用6to4、Teredo隧道或IP-HTTPS。例如,直接连接到互联网的客户端可使用6to4,而在NAT网络内的客户端将使用Teredo。此外,Windows Server 2012提供两种向后兼容服务:DNS64和NAT64,这允许DirectAccess客户端与企业网络中的服务器通信,即使这些服务器只有IPv4网络连接。由于IPv6的全局可路由性,公司网络上的计算机也可以启动与DirectAccess客户端的连接,从而可以随时远程管理这些客户端。
title: 优势.
content: DirectAccess可以为多个站点部署。它允许通过组策略控制,维护一个安全加密的VPN网络。
title: 必要条件.
content: Windows Server 2008 R2中的DirectAccess或UAG需要:  Windows Server 2012中的DirectAccess需要: 智能卡证书和用于网络存取保护技术的健康证书可以配合PKI使用。

Summary: DirectAccess,也称统一远程访问(Unified Remote Access),是一种类VPN技术,它可以为已连接互联网的客户端计算机提供内部网连通性。不同于许多传统的必须由用户明确启动与终止的虚拟私人网络(VPN)连接,DirectAccess连接被设计成在计算机连接到互联网后就尽快自动连接。DirectAccess在Windows Server 2008 R2中引入,为Windows 7和Windows 8企业版客户端提供此服务。2010年,Microsoft Forefront统一接入网关(UAG)发布,这简化了DirectAccess在Windows 2008 R2上的部署,包含额外组件使其更容易集成而无需在网络上部署IPv6,并有专用的用户界面用于配置和监控。虽然DirectAccess基于微软技术,但也有第三方解决方案使用DirectAccess来访问内部的UNIX和Linux服务器。在Windows Server 2012中,DirectAccess被完全集成到操作系统,提供有用户界面用于配置,并有原生的IPv6和IPv4支持。

DirectAccess: DirectAccess est une connexion intranet de type VPN, sous-rôle d'Unified Remote Access avec Microsoft Windows Server 2012. Cependant cela diffère d’une connexion VPN (réseau privé virtuel) puisqu’il n’y a pas besoin d’établir une connexion dans le gestionnaire de connexion, et permet un accès complet à l'intranet au poste client connecté à Internet. Contrairement à la majorité des solutions permettant d'établir un lien direct entre des ordinateurs distants, Microsoft a fait le choix de rendre la connectivité totalement transparente pour l'utilisateur et ne requiert aucune action de ce dernier. C'est le système d'exploitation qui se charge d'établir une connexion sécurisée avec le système d'information. La première version de DirectAccess date de Windows Server 2008 R2, pour fournir le service aux clients Windows 7 ou plus (en éditions Ultimate ou Enterprise). En 2010, Microsoft Forefront Unified Access Gateway (UAG), simplifie le déploiement de DirectAccess, en apportant de nouvelles briques qui permettent de s'affranchir d'un réseau entièrement en IPv6 au niveau du Core network, ainsi que l'ajout d'une interface de monitoring. Avec Microsoft Windows Server 2012, DirectAccess est intégré au niveau du système d'exploitation, fournissant une interface qui permet de s'affranchir de la brique UAG. Les accès distants font désormais partie d'Unified Remote Access (URA), qui intègre en plus de DirectAccess les technologies de connexion distante et Routing and Remote Access Service.
頂體 (真菌)

title: 结构.
content: 顶体中,囊泡围绕着由微丝构成的网状中心,多核糖体常出现在接近顶体后端边缘的区域,微管会伸入并穿透顶体,伏鲁宁体则可见于顶体的前端,但不被认为与菌丝的生长有关。微管主要负责囊泡到顶体的运输过程,微丝则负责囊泡在顶体内部以及到膜上的运输,因此顶体可被视为微管与微丝运输转换的中继站。免疫染色已证实顶体可能含有微丝组装中心,有人进一步提出顶体可能是真菌的微管组织中心这一新颖的假说,也成功用免疫染色在顶体染到与微管组织中心密切相关的γ-微管蛋白,但后续实验未能成功将其定位。另外有研究以绿萤光蛋白标记α与β微管蛋白,结果也不支持微管是由顶体发出的假说。  在高等真菌(担子菌门与子囊菌门)中,囊泡大至可分为两种,较大的顶体囊泡(直径70至90奈米)与较小的微囊泡(直径30至40奈米)。囊泡的配置常为分泌性囊泡包围着小型囊泡,形成明显的顶体,而在卵菌与接合菌门等低等真菌中,囊泡通常较松散地分布在菌丝顶端,而不形成明显可辨的顶体。  顶体的囊泡应是用于运输菌丝生长所需要的物质,但尚不清楚其形成过程与内容物是否有特异性,已有研究成功分离一群有几丁质合成活性的微囊泡,并将其命名为chitosome,这些囊泡与酵母菌合成几丁质的内吞囊泡可能有关联。  在顶体后侧附近有一群囊泡被称为「卫星顶体」(satellite Spitzenkörper),这些囊泡与顶体囊泡的融合可能可以启动菌丝的延长。
title: 历史.
content: 1924年,德国生物学家Brunswick在光学显微镜下观察鬼伞属染色后的菌丝时,首次发现顶体的存在,他将顶体描述为一块独立、暗色的胞器,可能与菌丝的延长有关。1955年Girbardt透过相位差显微镜首次在活菌丝中观察到顶体,他也认为顶体和菌丝延长有关,在环境压力下顶体会暂时分解消失,但当菌丝恢复生长时又出现,另外他也发现顶体可在菌丝前端移动位置,其位置标示菌丝的生长方向。之后Girbardt等人继续描述不同真菌的顶体,大致确定其构造为许多囊泡,而非一个独立的、由膜包覆的胞器。

Summary: 在真菌学中,顶体(、英语:apical body)指的是菌丝顶端负责菌丝生长、延长的区域,由许多囊泡组成,在孢子萌发及菌丝要分支时特别明显,在光学显微镜下即可看见。顶体在菌丝顶端的位置反映了菌丝将要生长的方向,另外在真菌细胞中,顶体可算是内膜系统的一部分。

Spitzenkörper: Un spitzenkörper est un organite spécifique à certains mycètes (champignons) et présent à la pointe des hyphes dont il est un élément essentiel de la croissance et de la morphogenèse. Le cytoplasme de la pointe des hyphes en croissance est occupé presque exclusivement par des vésicules sécrétoires et des microvésicules. Chez les mycètes supérieurs (ascomycètes et basidiomycètes), ces vésicules s'arrangent en coquille sphérique qui constituent le spitzenkörper, ou « corps apical » — de l'allemand signifiant « pointe », « sommet », et désignant ici un « organite » ; les oomycètes et certains eumycètes inférieurs tels que les zygomycètes ne contiennent pas de spitzenkörper identifiable, et les vésicules sont au contraire réparties de manière diffuse dans le dôme apical.
武汉绿地中心

title: 争议与阴谋论.
title: 阴谋论.
content: 部分网友对武汉绿地中心的突然限高表示不解,因为该建筑在起初的规划阶段,并未出现限高的要求,而且在进行高度增加的过程中,审查也被通过。但该大楼却在即将封顶时惨遭限高,让人非常不解。同时,有网友根据地图分析发现,武汉绿地中心距离武汉天河国际机场外围的直线距离为23公里。而同样因为航空问题而限高的平安金融中心与宝安国际机场外围的直线距离为24.9公里。另外未被限高的632米的中国第一高楼上海中心大厦则与浦东国际机场外围的直线距离为26.9公里,但该建筑与到上海虹桥机场外围的直线距离为15.5公里。另外,网友还发现自从2016年中国第一高楼上海中心竣工后,中国内地的600米(以及500米以上)在建摩天大楼几乎都因为航空问题或者其他原因而被迫限高或停工,包括已被叫停的长沙天空城市(规划838米)、已搁置的苏州中南中心(规划729米)以及已被限高至592米的深圳平安国际金融中心(规划660米)等。这些似乎都与2018年中国大陆推出的超高层500米限高政策有关。,为此,有阴谋论者认为这些建筑被迫限高是为了保护上海中心大厦的中国第一高楼的名誉。
title: 欠款传闻.
content: 2019年11月11日,一封落款为“中建三局集团有限公司武汉绿地中心总承包项目部”的工程联系函在网络间流传,该联系函称武汉绿地中心因欠付中建三局集团巨额工程进度款,导致中建三局集团“资金无法正常周转”,被迫“对项目实行全面停工”直至绿地控股集团支付工程款后进行复工,落款日期为2019年10月30日。  2019年12月5日,绿地控股集团及中建三局发布《关于武汉绿地中心相关建设工作的联合声明》,对停工传闻做出回应。声明中称绿地中心的相关工作运转良好,建设正在稳步推进中,并披露了武汉绿地中心的工程进展。

Summary: 武汉绿地中心()是武汉市在建的摩天大楼工程,包括主楼、副楼、和裙楼,其中主楼设计高度636米,副楼一栋高185米、另一栋高135米。这栋由美国AS+GG设计的建筑于2011年开工,由总部在武汉市的中建三局承建,地上有126层。此楼最初设计高度为 606m。2014年,该楼高度更改为 636米。2018年8月23日媒体消息指出,该楼国土规划许可高度为455米,而非之前宣传的636米。

Wuhan Greenland Center: Le Wuhan Greenland Center est un gratte-ciel de en construction à Wuhan en Chine. Il atteindra une hauteur de en 2019 et devrait devenir le second plus haut immeuble du monde. Au, la construction de la tour est en pause depuis plus d'un an, dans un premier temps pour des raisons de sécurité (la tour a vu sa hauteur finale diminuée de 37 mètres), puis pour des problèmes d'autorisations.
宝马索伯车队

title: 起源.
title: 索伯车队.
content: 彼得·索伯在1970年建造了他的第一辆赛车,索伯车队在上世纪70～80年代参加了SCR(sports car racing)比赛,在1989年,它成为了奔驰团队的一员,赢得了1989年勒芒24小时耐力赛和1989、1990两个年度WSC(World Sportscar Championship)的冠军。 这个瑞士车队加入F1是在1993赛季,当时车队的赞助商是奔驰公司,同奔驰公司的合作关系一直持续到1994年。随后,在1997年至2005年期间车队的主赞助商是马来西亚石油,车队使用法拉利引擎,从1997年至2005年,索伯车队没有获得一次分站赛冠军,杆位,和最快圈速。车队最成功的赛季是在2001赛季,车队最终获得了车队总成绩的第四。 在作为独立车队(非厂商车队),索伯车队一直被认为是一只典型的中游车队,甚至在某种程度上说,起到了实力标竿的作用。比索伯车队实力更强的车队属于F1的第一阵营,与索伯实力接近的属于第二阵营,而实力逊于索伯的就属于较弱的下游车队。
title: BMW 汽车运动.
content: 德国汽车制造商BMW 作为引擎提供商参加了1983-1987年度和2000-2005年度的F1比赛。Brabham-BMW车队的Nelson Piquet赢得了1983赛季的冠军。2005年,宝马公司终止了向威廉姆斯车队提供引擎的合同,进而购买了索伯车队。彼得·索伯保留了在新车队的顾问职位。 2009年12月1日 BMW将车队所有股权售还给原本的车队创办人 彼得·索伯。
title: 赞助商.
content: 马石油是宝马索伯车队的主赞助商。当BMW买下这个瑞士车队时,马来西亚石油公司延续了和车队的赞助关系。在F1.08赛车上,马石油的商标居于明显的位置。在2005年12月。英特尔同宝马集团达成了一个包括技术,共同营销和英特尔赞助宝马索伯车队的全面协议。  官方的合作伙伴包括瑞士信贷(Credit Suisse),T-Systems,DELL以及PUMA。从2006年开始,瑞士信贷就成为车队的合作伙伴。瑞信的logo出现在车身,头盔,服装,车手帽子,维修站的背景幕和车队的卡车上。戴尔向车队位于慕尼黑和Hinwil的基地和所有的比赛提供了IT设备。  瑞士手表品牌雪铁纳(Certina)的商标被印在车队在维修站所使用的“棒棒糖”上。另外化学工业巨子杜邦也是车队的赞助商。  2009年12月20日马来西亚石油(Petronas)表示 他们不再赞助新的Sauber车队 转而赞助新成立的奔驰车队。
title: 车队成绩.
content: ‡比赛因未能完成原定赛程75%

Summary: 宝马索伯车队(BMW Sauber F1) 是一支总部设在瑞士欣维尔和德国慕尼黑的一级方程序车队。这个车队成立于2005年F1赛季结束时,做为原索伯车队的继承者,由德国的汽车厂商宝马BMW所接管。在宝马索伯车队所参加的第1个赛季-2006赛季中,车队共上过2次领奖台,年终车队排名第5的成绩。2007赛季中,在迈凯伦车队被取消车队积分的情况下,宝马索伯车队获得了年度亚军的成绩。在2008年6月9日举行的2008赛季F1加拿大大奖赛中,车队的2号车手罗伯特·库比查取得了冠军,1号车手尼克·海费尔德名列第二,这是宝马索伯车队自成立以后所取得的第1个分站赛冠军,也是第1次在一场比赛中包揽冠亚军。2009年 7月29日,宝马在慕尼黑召开新闻发布会,宣布由于公司战略重组,将于2009年赛季结束后,不再参与F1赛车运动。车队重由彼得·索伯接管。

BMW Sauber F1 Team: BMW Sauber F1 Team est une écurie de Formule 1 basée à Hinwil en Suisse qui évolue dans le championnat du monde de Formule 1 à partir de 2006. Elle est fondée à la fin de la saison 2005 après le rachat de l'écurie Sauber par le constructeur BMW, qui fournissait précédemment des moteurs à Williams.
膜

title: 隔阂膜.
content: 隔阂膜有技术人工制造的和生理自然产生的。生物膜由类脂双层组成,它们可以隔阂细胞(细胞膜)和器官的内部与外部的细胞质。
title: 渗透性.
content: 根据膜的渗透性可以区分:  假如没有半透膜的话今天的生命不可能存在,因为所有的细胞都由一层半透膜环绕,只有一定的物质能够进入细胞内部。  技术上使用的人工膜是由聚合物组成的,一般是通过浇制非常薄的层制作的。其它的制作方法包括凝结和腐蚀。  膜的半透性是由膜上的孔造成的,这些孔可以根据不同的溶解性、扩散或者电荷来区分不同的物质。渗透的动力是压力、化学压或者浓度压、温度和电荷。  膜最重要的技术应用是通过逆渗透从海水中提取淡水(每年全世界约700万立方米)、食品工业中的过滤、回收有机蒸汽(比如回收汽油蒸汽)和通过电解制氯。在净化废水的过程中膜技术也越来越重要。通过微过滤可以去除悬浮物和重分子,以此对废水消毒。尤其是要引入非常敏感的蓄水池或者可以游泳的湖的时候这个过程非常重要。50%的膜则使用在医学中:作为人工肾透析血液中的毒物和人工肺向血液提供氧。
title: 振动膜.
content: 在技术上膜可以用来产生、加强、吸收、阻尼或者测量振动。要使得膜产生振动必须有一个通过对膜的边缘施加的应力。振动可以通过不同的方式产生,比如通过声波(耳膜)、通过打击或者通过电子方法(喇叭)。  在声学的不同领域中这些振动膜有非常重要的作用。比如许多声电转换器使用它们把声波转换为电波(麦克风),而在喇叭或耳塞机中又把电波转换为声波。一些乐器如膜质乐器也通过膜发声。听诊器也依靠膜来放大身体内的声音。  在生物学中振动膜也有很大的作用。

Summary: 膜是许多不同的软的、皮质的隔绝层材料的总称。

Membrane (physique): Une membrane est une structure de faible épaisseur, relativement à sa taille, séparant deux milieux en empêchant toute la matière dans le cas de certaines membranes biologiques, ou seulement une partie de la matière de passer de l'un à l'autre des milieux en fonction de la largeur de ses pores et de son épaisseur.
杰夫·伊梅尔特

title: 职业生涯.
content: 杰夫·伊梅尔特于1978年从达特茅斯学院毕业,获得应用数学学士学位。在校期间曾担任该校兄弟联谊会主席。1982年,获得哈佛商学院工商管理硕士(MBA)学位,随后加入通用电气总部市场部。在1983年到1988年期间,服务于通用电气塑料集团,在此期间曾负责管理过销售、市场及全球产品管理等部门。在通用电气,伊梅尔特曾多次换岗或升迁,在1989年转任了通用电气家电集团副总裁,负责消费者服务。到了1991年,升迁为通用电气产品管理副总裁,负责全球市场及产品管理。而1992年至1993年,又被派任为通用电气塑料集团副总裁和塑料集团美洲商业部总经理。在1996年-1999年期间相对稳定,一直担任通用电气医疗系统集团总裁兼首席执行官。2000年,杰克·韦尔奇在杰夫·伊梅尔特、劳勃·纳德利和詹姆士·麦纳尼三个候选人当中确定伊梅尔特为公司接班人,并委任他为通用电气总裁兼董事会候任董事长。2001年,伊梅尔特正式出任通用电气董事长和首席执行官。
title: 年收入.
content: 作为通用电气公司的董事长兼首席执行官,杰夫·伊梅尔特2007年长期绩效奖金是15,483,648美元,而具体构成和所占比例分别为:薪资3,300,000美元,所占比例29%;现金分红5,800,000美元,限制性股票4,713,000美元,两者和占比例63%;股票期权0美元;其他收入396,267美元,所占比例3%。2008年,受金融风暴的影响,公司股价和利润大幅下滑,伊梅尔特因此放弃领取近1200万美元奖金与红利,但五年内可以以股票或其他形式的收入作为补偿。所以长期绩效奖金是11,545,762美元,具体构成和所占比例分别为:薪资3,300,000美元,所占比例29%;现金分红0美元;限制性股票7,276,675美元,所占比例63%;股票期权596,268美元,所占比例5%;其他收入372,819美元,所占比例3%。
title: 其他任职.
content: 伊梅尔特在学校的邀请下担任达特茅斯学院董事会的兼任董事,并是两个非盈利组织的董事会成员,其中之一是旨在救助纽约穷人的罗宾汉基金会()。不久前被美国总统奥巴马招募到经济复苏顾问委员会。
title: 相关事件.
content: 由于杰克·韦尔奇的退休,伊梅尔特于2001年9月7日接任通用电气的董事长和首席执行官职位,不过4天后,就发生了恐怖组织袭击美国事件,史称911事件。在这次恐怖事件中,有两名公司员工身亡,公司的保险业务损失了将近6亿美元,航空技术部门的股价下跌了80%。上任伊始,伊梅尔特就面对这种状况,开局并不乐观。2008年4月,福克斯新闻频道节目主持人因通用电气与伊朗有商业业务往来而指责伊梅尔特,因为据新闻报道,伊朗曾在伊拉克袭击过美国军队。不过事实是:早在2005年,通用电气董事会以及领导层已经决定终止了公司在伊朗的业务。2008年5月,伊梅尔特入选了《时代周刊》年度最有影响力100人。2009年2月,伊梅尔特被任命为经济复苏顾问委员会的成员,负责向美国总统奥巴马及其领导班子提供走出经济衰退的咨询意见。
title: 毕业典礼.
content: 上任通用电气董事长后,身为达特茅斯学院的校友,伊梅尔特首次出席了母校赛尔工程学院()2001届毕业典礼,并发表演说。他在他的演讲里强调了中国与远东未来商业机会的重要性。2004年6月,达特茅斯学院颁发伊梅尔特荣誉法学博士头衔。 在随后的几年里,伊梅尔特分别给以下几个学校做了毕业典礼演讲:东北大学(2006年),佩珀代因大学(2006年4月20日),佐治亚理工学院(2007年5月),圣母大学(2007年5月20日),伍斯特理工学院(2008年5月17日)。以上大学亦分别给伊梅尔特颁发荣誉博士头衔。

Summary: 杰佛瑞·劳勃·“杰夫”·伊梅尔特(英语:Jeffrey Robert "Jeff" Immelt,1956年-2月19日),美国商人暨政治人物(共和党籍),生于俄亥俄州辛辛那提,通用电气公司(GE)现任董事长兼首席执行官,并跨党派出任奥巴马总统「就业暨竞争力顾问委员会主席」。伊氏于1982年加入通用电气,至今已服务逾30年。

Jeffrey R. Immelt: Jeffrey Robert Immelt, né le à Cincinnati (Ohio), est un homme d'affaires américain. Il est PDG de General Electric de 2001 à 2017.
馬汀·蓋瑞克斯

title: 音乐生涯.
content: 马汀·盖瑞克斯在八岁时看了提雅斯多于2004年雅典奥运的表演之后使他对成为DJ兴致勃勃。他从提雅斯多的歌“Traffic”获得启发,促使他下载专业数字音乐软件开始创作。2015年毕业于荷兰乌特勒支的创作学院Herman Brood Academy。他也使用多种暱称如GRX。他也帮许多其他音乐人写歌。
title: 使用软件.
content: 后来马汀·盖瑞克斯在之后公布了使用的软件,制作音乐使用FL Studio,录音使用Pro Tools。
title: 早期生涯.
content: 马汀·盖瑞克斯和Julian Jordan共同发行了"BFAM",也是他创作生涯的开始。2012年,他赢得了SLAM! FM的年度DJ才华奖。同年,在Christina Aguilera的专辑"Lotus"收录了他对"Your Body"的重混。他和TV Noise合作的歌"Just Some Loops"被收录在合辑"Loop Masters Essential, Volume 2"。2012年他和Spinnin' Record签约,发行了歌曲"Keygen"。
title: 2013-14:突破和《Animals》.
content: 2013年,他由提雅斯多的唱片公司"Musical Freedom"和Sidney Samson共同发行了单曲"Torrent"。2013由Spinnin' Record公司发行的单曲"Animals"使他的人气直直上升,在欧洲各国冲上了排行榜前几名,也迅速成为了Beatport最年轻的冠军DJ,那时候他还只是个十七岁的高中生。但到那一年为止,他的创作生涯已将近十年。。这首歌也被Hardwell收录在他的合辑"Hardwell presents 'Revealed Volume 4"。2013年,他发行了对Sander Van Doorn和Dimitri Vegas and Like Mike的"Project T"的Remix。Garrix于2013年在DJ杂志百大DJ首度上榜,排名第四十名,2014年排名第四。2013年十一月与美国企业家Scooter Braun的Scooter Braun计划签约(后来的School Boy Records)。2013年十二月发表和Jay Hardway合作的歌曲"Wizard"在比利时排名第六,在荷兰第十七。和Firebeatz合作的"Helicopter"(直升机)在Beatport排行维持冠军长达两周。后来又在Ultra演出。2014发表了"Proxy",亦和MOTi发表了Virus、和Afrojack发表了"Turn Up The Speakers"。
title: 2015:与其他人的合作.
content: 2015年Martin Garrix持续发表了"Forbiden Voices",后来又发表了"Don't Look Down",和亚瑟小子合作。接着更和Tiësto合作了"The Only Way Is Up"。五月和Avicii合作"Waiting For Love"。六月又和Matisse & Sadko合作了"Dragon"。2015年10月17日,,Martin Garrix获选为DJ杂志全球百大DJ第3名。
title: 2016:世界百大DJ冠军最年轻得主.
content: 2016年10月19日,Martin Garrix获选为DJ杂志全球百大DJ冠军,时年20岁,成为DJ杂志历年来最年轻的冠军。受访时他说「对于得奖感到有点不真实,我百分之百没想过会得到冠军。今年因为超棒的表演和粉丝们而十分精彩,万分感谢粉丝们的支持。我甚至没有做任何宣传,代表我们的粉丝后援真的太棒了。」百大DJ票选派对于荷兰阿姆斯特丹有名的海尼根音乐厅举办,颁奖给他的是2002至2004年三次夺冠的恩师Tiesto,派对同时作为阿姆斯特丹音乐节的开场。
title: 2017:卫冕世界百大DJ冠军.
content: 2017年10月18日,Martin Garrix成功卫冕DJ杂志全球百大DJ冠军。
title: 2019:世界百大DJ第二名.
content: 2019年世界百大DJ杂志票选结果出炉,结果Martin Garrix被狄米崔·维加斯(Dimitri Vegas & Like Mike)挤下第一名宝座。
title: 2021:欧洲国家杯音乐制作.
content: 2021年的欧洲国家杯将Martin Garrix选为官方音乐制作人,并帮忙制作杯赛的所有歌曲。(活动原订于2020年,因2019冠状病毒病而延后至2021年)

Summary: 马泰因·赫拉德·哈里岑(,,1996年-5月14日),知名于其艺名马汀·盖瑞克斯(Martin Garrix),是一名荷兰的DJ和音乐制作人。《Animals》为其出道之作,在十几个国家登上前十名的排行,更在比利时和英国登上冠军,而在爱尔兰则为第三名。和Jay Hardway于2014合作的单曲《Wizard》在各国表现也十分亮眼。现今以《Scared To Be Lonely》,《Animals》 和《In the Name of Love》这三首歌最广为人知。2013年在DJ杂志首次登上百大DJ第40名,2014年则为第4名。他的恩师Tiësto认为马汀·盖瑞克斯是Ultra音乐派对2015第1名的DJ。马汀•盖瑞克斯曾说过Calvin Harris是他的梦想导师。使他在2015年成为世界百大DJ第3位,是他首次登上世界百大DJ前3位,2016年他以20岁零157天成为DJ杂志的世界百大DJ第1名,2017年再度获得此殊,2018年第三度获得百大DJ第一名。他的YouTube频道达到1350万订阅(截于2020/05/23日)。在2019年12月被欧洲国家杯选为官方音乐制作人,并发表2021年的官方代言歌曲

Martin Garrix: Martin Garrix, de son vrai nom Martijn Garritsen, né le à Amstelveen, est un disc jockey, compositeur et producteur musical néerlandais. Il utilise parfois l'alias GRX.