Jax-dan/zhwiki-latest huggingface dataset:
范希朝

范希朝（），字致君，蒲州虞乡（今山西省运城市虞乡镇）人。唐朝将军。元和九年过世。
生平.
德宗时期.
唐朝唐德宗李适为王其间任邠宁虞候帮助邠宁节度使韩游瑰。李适出巡奉天见范希朝战守有功，累加范希朝为宁州刺史。贞元四年（即公元788年）正月，韩游瑰入朝进见李适，李适将奉天归入邠宁，但韩游瑰担心范希朝在乡间怎有名望，打算找寻范希朝过错而将其杀害，所以范希朝逃奔凤翔。李适知道此事后，立刻召范希朝往京师，及安置范希朝在左神策军中。
同年七月，韩游瑰受代回朝，左金吾大将军张献甫接任途中，邠宁一众将领担心张献甫严格，乘机作乱，纵容士兵抢掠及列名上书要求李适将范希朝升迁为节度使，接任韩游瑰因受代而空置的职位，而得到李适准许，但范希朝认为张献甫更为适合，李适赞同张献甫升迁为邠宁节度使而范希朝为副，因此事范希朝得到加嘉。几日后范希朝亦升迁为振武军节度使及加检校礼部尚书。
振武县位于现今内蒙古，为唐朝时期边境位置，党项及室韦少数民族居在振武之中，他们经常在大白天冲入城内侵扰及搜掠民居，居民心惊胆颤、无日安宁。范希朝在任后将振武地势逐一考察，又将有危险的地方设置堡栅，更以斥候（即今侦察员，侦探，间谍）严守，如有少数民族犯案，必杀无赦，令当地居民得享安居。
振武少数民族当时有习俗以送奇驼名马给新上任长官，就算是清廉官员，亦因不想令其不欢而接受，但范希朝在位期间一直不肯接受。范希朝在位振武十四年，振武一直平安无事。另外范希朝见当地很少树木，就在其他地方运入柳树，命令军人栽种，短时间内令振武树木成荫，居民赖著树木不肯走。
贞元六年四月，范希朝被任为单于大都护及麟、胜二州节度使。
到贞元末年，范希朝不断上奏要求还朝。以当时节度使位高权重，范希朝竟自己要求还朝实属少见，所以李适大为喜悦，于是召范希朝任检校右仆射兼右金吾大将军。
顺宗时期.
唐顺宗李诵永贞年间（即公元805年），李诵重用当时翰林学士王叔文，更利用王叔文从事德宗以来的弊政改革，贬斥贪官，废除宫市制度，停止盐铁进钱和地方进奉，并试图收回宦官兵权，将兵权授予韩泰，史称「永贞革新」。到永贞五月，王叔文自知为内外所憎，所以藉当时老将范希朝德高望重之名，委以左神策、京西诸城镇行营节度使，主管京西、神策军。但最后因李诵中风，喑哑不能言而改革不成。
宪宗时期.
唐宪宗李纯在位，元和元年（即公元806年）三月，神策京西行营节度使范希朝复任为右金吾大将军。到二年四月，再命为检校右仆射兼右金吾大将军、检校司空、朔方灵盐节度使，用以革除旧有弊端及镇守边疆。
西突厥有一部落名为沙陀，居于北庭金满州，英勇擅战，冠绝各少数民族，但在贞元年间，吐蕃赞普（即吐蕃国王）攻陷北庭，将沙陀人迁徙于甘州，每有战事均以沙陀作先头部队。元和三年五月，回鹘攻吐蕃并取得凉州，吐蕃认为沙陀比不上回鹘，打算迁徙至河外。沙陀亦因此畏惧，沙陀首领朱邪赤心与其子商讨打算将整个部落三万人循著乌德犍山（又称郁督军山，即今外蒙古三音诺颜境内杭爱山以北）向东行投靠唐。三天之后，因已惊动吐蕃赞普，吐蕃追兵赶至，吐蕃追兵与沙陀展开战幔从洮水战至石门关，大战数百回合后士众大半已死，剩下大约近万人进入灵州后降于唐。灵盐节度使范希朝知道此事后迎接，将其整个部落归纳及安置在盐州，为安抚他们，帮助他们广展畜牧。李纯下诏设置阴山府及任朱邪赤心之父朱邪执宜为兵马使。其后朱邪尽忠之弟朱邪葛勒阿波（又名曷勒河波）亦率领近七百人来投范希朝，朱邪葛勒阿波被李纯下诏命为阴山府都督。之后灵州、盐州每有征讨，沙陀每次都被委派，每次都凯旋而归，令灵州、盐州日益强大。
到元和四年，李纯曾准许范希朝奏请将六百人衣粮给沙陀用以防止太原被秋兵来犯。同年六月，范希朝在朝议时认为沙陀在灵武太接近吐蕃而且部落众多，担心沙陀反复，所以李纯将范希朝升迁为太原令尹、北都留守、河东节度使。范希朝从沙陀拣选一千二百人，号称沙陀军，并归入自己军队之中，剩余的安置在湘川。朱邪执宜负责保卫神武川之新城黄花堆。
元和五年四月，范希朝与张茂昭于木刀沟大破回纥首领承宗。
但后来范希朝年纪老迈及出师镇州无功而被除去左龙武统军职务，以太子太保之名退休。元和九年十一月去世，被功勋为太子太师。
自由基引发剂

自由基引发剂（）指能够在化学反应中较容易地产生自由基的一类物质。这类物质一般都有容易断裂（低键离解能）的共价键。常用的自由基引发剂包括卤素（氯和溴）、偶氮化合物、有机过氧化物等。它们一般用于引发各种自由基聚合及其他自由基反应。
自由基引发剂一般不稳定（尤其是偶氮化合物和有机过氧化物这两类），若没有妥善使用或存放容易发生爆炸。
巴黎绿

巴黎绿（），化学名醋酸亚砷酸铜（）是一种高毒性的铜盐，常温下为鲜绿色晶体。虽然巴黎绿有剧毒，但因为价格便宜且天然，因此它曾是一种广泛使用的颜料，甚至广泛使用在各种用品上，例如衣物、蜡烛、壁纸，甚至是绘画颜料等；除此之外它还被用作杀虫剂和杀鼠剂。
美国海军陆战队无声操枪排

美国海军陆战队无声操枪排（）是美国海军陆战队一支由24人组成的步枪排，常暱称为「行军的24人」（）。该部队的职责是进行无军乐团伴奏、无口令搭配而配合精准的独特操枪表演，借此展现陆战队的专业与纪律。
历史.
无声操枪排创立于1948年，原本仅举行一次操演，但由于受到热烈回响的缘故，很快就成为内一支例行举办表演的队伍。
操枪形式.
操枪排的海军陆战队员在表演时，利用经过手工抛光、重达、装有刺刀的M1加兰德步枪进行一系列缜密配合的技巧和枪法，包括变换的阵列队形，以及队员们依序渐进地将步枪旋转或抛出等。种种特色使无声操枪排显得有别于陆战队其他的仪队单位。
队员选拔与培训.
操枪排队员是由加州潘德顿营和北卡罗来纳州勒琼营的两所中挑选学员而来，并经由军营人员进行面试。凡是获准入队的学员，都会分派到首都华盛顿特区的陆战队军营，服为期两年的仪队兵役。除了仪队职责外，其他的受训项目都是与其他战斗单位的步兵联合进行。而在两年期限内，还会送至维吉尼亚州匡提科基地内的等其他基地增强步兵技巧。队员甄选的基本要件为身高5呎11吋（180公分）至6呎11吋（210公分）之间，并且体重要位在同身高者的中间值左右，队员间的身高以整齐划一为佳。
年资或经验较足的操枪排队员（通常是士官）可获得参加进一步甄试的机会，进而成为带队队长，而他们必须通过前一年的队长检视，最终只有两人能通过。
一旦一年中的操枪排队员全部选定后，便开始在华盛顿训练，并至亚利桑纳州的完成年度巡回。在此过程中，他们除了在华盛顿的陆战队军营外，还会前往美国数个地点表演，有时亦可能前往海外。
总铎区

总铎区（）或联区是天主教及圣公会教会行政层级，由多个堂区/牧区所构成。另外在总铎区中另会选出一名神职人员担任总铎或地区总牧（Dean）。
天主教.
在天主教，总铎区的成立被规范在教会法374条第2项。该法条说明为了方便进行教务的管理可由几个邻近堂区组成特定群体，并以总铎区为例。不过是否成立总铎区依旧是看教区主教或是类似教区的地方教会之教长及其幕僚的考量。此外在天主教一个总铎区是由主教在考量辖下总铎区供职的神父们的建言及自己的考虑后，须在总铎区内任命一位神父为总铎。总铎一职的任期应由教区的特别法规范，并由主教保留撤换总铎之权。
而总铎神父必须负责自己管理的总铎区内牧灵活动的协调；各神职人员的职责之督导；维持教会仪式能按规举行，并尽量维护总铎区内的大小事务的运作，如房屋的修缮等。此外亦当关注总铎区内的神职人员能否定期参与神学研讨会及灵修上的辅助，并适时关心各堂区神父患病时能获得的照料以及离世后的丧礼与身后事的安排。并且总铎应常访问总铎区内的各堂区。其他则以特别法去明订之。
圣公会.
联区的制度在圣公会的传统不是新鲜事，但不是法定架构，各教区按其需要，为了方便举行联合事工及调配资源，将不同大小的礼拜堂组织一起。联区中较大的礼拜堂或较成熟的牧区会担任联区中的主堂，提供资源协助联区内其他堂发展。这既有利于推动群体牧职，亦能互相协调，适当运用资源，并能互补不足。在外国，教区的幅员可以很辽阔，于是相邻的牧区会组成联区。有了这种群体牧职、互相协调、互补不足的弹性，即使教友突然需要关顾，甚至要处理丧事，牧师都可以即时给予支援，牧师之间亦能互相『补位』。当然，联区亦可以合办培育课程、洗礼慕道班、青年联堂活动、举行联合坚振礼等。
世界果然是我☆传奇!!

《世界果然是我☆传奇!!》（）是fripSide NAO project!的单曲。2008年8月20日由5pb.Records发售。
王郑浚仁

王郑浚仁（，），马来西亚槟城人，有“海豚音王子”之称。现为婚宴现场乐队主音及歌唱导师。曾参加Pop Star 2009比赛，获得冠军。2013年，参加马来西亚Astro新秀大赛亦获得亚军。同年8月起，代表马来西亚参加台湾的歌唱比赛节目第三届《华人星光大道》。2017年，参加马来西亚第一季《The Voice 决战好声》歌唱比赛节目。2024年，参加《中年好声音3》，最后获得第8名。
MIT应用开发者

MIT应用开发者（）是一款图形用户界面的Android智能手机应用程序开发软件。它起先由Google提供，现在由麻省理工学院维护及营运。
概述.
它可以让任何熟悉或不熟悉程序设计的人来创造基于Android操作系统的应用软件。它使用图形化界面，非常类似于Scratch语言和StarLogo TNG用户界面。用户可以拖放图形对象来创造一个运行在安卓系统上的应用，它就可以在许多手机设备上运行。
应用开发者团队是由哈尔·阿伯尔森和马克·弗里德曼领导。
汉勒效应

汉勒效应（）指的是用偏振光激发原子，并在原子的特定方向加磁场时，原子发射光的偏振度减少的现象。这是德国实验物理学家威廉·汉勒在1924年发现的，故以他的名字命名。
吕超 (后凉)

吕超（），小字胡奴，略阳郡氐族人，中国十六国时期后凉宗室，后凉懿武帝吕光弟吕宝子，末任君主吕隆弟。曾劝吕绍杀死吕纂但不果，吕纂政变后一度出奔。后又与吕隆等杀吕纂，推吕隆登位，自任辅国大将军。
生平.
龙飞四年（399年），吕光去世，其子吕绍继位，但由吕纂掌握军队。吕超时任骁骑将军，向吕绍表示：「吕纂多年来掌握军队，威震内外，在丧礼上没展现哀伤，反而高视阔步，看他举止异常，恐怕会生大变故呀，应该早日除去他，以安定国家。」然而吕绍拒绝，吕超就说：「圣人说能察知事情的细微变化和征兆就能称为神妙了，陛下在事情来临时还不决断，臣看来大势已去了。」后吕绍于湛露堂接见吕纂，持刀侍衞的吕超用眼神请示吕绍要收捕吕纂，但吕绍不肯。
同年，吕纂发动政变进攻宫城，吕绍命吕开率禁军在端门抵抗，吕超也率二千兵协助，然而兵众因害怕吕纂，都自行溃散。最终吕绍自杀，吕超出奔广武，吕纂即位为帝。不久吕纂又对征东将军吕方说：「吕超绝对是一位忠臣，其义勇值得嘉许，只是不识治国大道和随机应变。正要依靠其忠贞节尚，以救助当世祸乱，向他传述这意思吧。」吕超于是上疏表达谢意。
吕超后任番禾太守，又于咸宁三年（401年）擅自攻击鲜卑思盘，思盘弟乞珍向吕纂投诉，吕纂就命吕超带思盘入朝。吕超到都城姑臧后大惧，于是巴结殿中监杜尚。吕纂见吕超后大怒，说：「你恃著兄弟勇武，想欺负我，就应该将你杀死，然后天下就安定。」吕超听后顿首称不敢。接著吕纂与吕超及众臣在内殿办宴会，吕隆在会上频频向吕纂进酒，吕纂酒醉后还带著吕超等在宫内巡游。不过，吕超就乘著吕纂所乘手挽车在琨华堂东合不能通过，亲将窦川、骆腾放下佩剑推车的机会拿剑攻击吕纂。吕纂下车试图抓住吕超，但为吕超刺穿胸部，逃到宣德堂。吕超又杀了窦川和骆腾。杜尚接著命吕纂皇后杨氏召来讨伐吕超的禁军放下武器，将军魏益多更杀了吕纂。政变发生后，陇西公吕纬打算讨伐吕超，后虽听信吕超弟吕邈劝言与其结盟，但吕超还是将其杀了。
随后，吕超让位给吕隆，吕隆虽不愿也被逼接受，于是即天王位。吕超官拜使持节、侍中、都督中外诸军事、辅国大将军、司隶校尉、录尚书事，封安定公。吕超又垂涎杨氏美貌，想纳其为妾，惟杨氏不肯并自杀。
同年，后秦姚硕德攻凉，吕超等迎战但大败，吕隆只得婴城固守。不久，魏益多煽动人心，打算杀吕隆兄弟，事情泄露后诛杀了三百多家人。其时群臣都求吕隆与后秦修和，吕隆最初不愿，但在吕超劝说下还是请降。神鼎三年（403年），吕隆逼于南凉和北凉的攻击，就派吕超带著珍宝请后秦派军迎接东迁，后凉于是灭亡。吕超在后秦获授安定太守。后秦弘始十八年（416年），姚兴临终时，他的儿子南阳公姚愔计划杀死太子姚泓，事情失败。姚泓捕杀姚愔和参与姚愔密谋的吕隆，姚泓命令齐公姚恢杀掉安定太守吕超。姚恢犹豫很久，才把吕超杀了。
菲尔角银光鱼

菲尔角银光鱼（，学名：Notropis mekistocholas），又名菲尔角美洲鱥，是鲤科的一种小型淡水鱼，原产于北卡罗来纳州中央数县，也仅见于菲尔角河盆地的浅溪中。鱼体呈黄色，沿中线两侧各有一条黑色条纹，鱼唇也是黑色的。菲尔角银光鱼常常与其他的小鲦鱼混在一起游动，每年可产两次卵，野生条件下寿命为二至三年。雌雄两性外表基本相同，但繁殖季节体色会发生变化。1962年被发现。
菲尔角银光鱼本身数量较少，建筑大坝和水污染等造成的栖息地破坏更是雪上加霜。1987年被首次认定为濒危物种，虽然已经开始对次物种进行保护，其现依然已是极危物种，野生条件下约只有五条菲尔角银光鱼。
命名法.
菲尔角银光鱼在1962年首次被发现，1971年被小弗兰克林（Franklin F. Snelson, Jr.）误认为新物种。其学名来自古希腊语mēkistos/μηκιστος（最长/最高或很长，即mēkos/μηκος的最高级）和cholas/χολας（肠子或胆汁）。菲尔角银光鱼属于鲤科 美洲鱥属，该属下包含许多北美鲦鱼。它在美洲鱥属算是一个独特的物种，因为其肠子狭长而构造更为复杂，同属生物中只有"Notropis nubilus"有类似特征。而原因主要取决于其素食性。其鱼唇、头部的形状及八个臀鳍鳍条也与众不同。此外，它也是少数拥有腹膜的美洲鱥属鱼类。与"Notropis procne"及"Notropis stramineus"有亲缘关系。
描述.
菲尔角银光鱼是一种小型而强壮的鱼，体长平均为，最大不过。体侧呈现银黄色光泽，两侧各有一条黑色条纹横贯全身直至尾柄，上部还有另外一对条纹，但色泽极为黯淡。鳞屑的轮廓为黑色。鱼鳍略呈黄色，有斑点。背鳍开始于腹鳍稍靠后的位置。繁殖季节雄性会变成金色，而雌性则会变成银色。上唇为黑色，下唇有一条黑色的条纹。
与其他杂食性的同类一样，菲尔角银光鱼只有咽头齿用以咀嚼食物。菲尔角银光鱼的臀鳍有八个鳍条。因为身体略微透明，其盘曲的肠子和黑色腹膜可以直接从体外看到。
分布与栖息地.
菲尔角银光鱼原产于北卡罗来纳州山地地区的菲尔角河上盆地。作为美洲鱥属分布范围最狭窄的物种，现已知只有五个存活的野生种生活在查塔姆县、哈尼特县、李县、穆尔县和兰道夫县的深河（Deep River）、山楂河（Haw River）和洛矶河（Rocky River）。冬季会从主河道的浅滩迁徙到小型支流里。
其栖息的浅滩多是鹅卵石底，且周围有美国水柳和水草为其提供藏身之地。菲尔角银光鱼很少进入水深超过的河流中。
习性.
菲尔角银光鱼常和其他鲦鱼群一起游动，一般在人工饲养的情况下可以存活六年，但野生情况下只有二到三年的寿命。
根据肠子的构造，菲尔角银光鱼主要以植物为食，但后来有研究发现其也会使用动物性食物。主要食谱包括岩屑、浮游生物、硅藻和其他藻类。
其天敌包括莓鲈等鲈鱼，以及引入的铲𫚔。不过成年的铲𫚔因与菲尔角银光鱼栖息地不同而不会对其构成威胁。
菲尔角银光鱼在每年5月15日左右水温时开始产卵。第二次繁殖季通常发生在夏末。两性的体色在此时发生变化，雄鱼的体前侧将长出小瘤。产卵时前往洛矶河水流缓慢的区域。幼鱼在三天后就会孵化出来，另外还会携带五天的卵黄囊。直到一年之后成熟为止，幼鱼会继续生活在这些水流缓慢的地区。
保护.
虽然只有五条野生种，但其人工饲养的数量有1500到3000条。根据美国1973年颁布的濒危物种法案，1987年9月25日菲尔角银光鱼被认定为关键栖息地濒危（Endangered with Critical Habitat）。而自此以后，其数量和栖息地范围就开始不断缩小。根据雷斯法案，这种鱼被限制捕捞或交易。不过据信菲尔角银光鱼在历史上曾经数量很多。
其生存的主要威胁之一是菲尔角河上的大坝，这些大坝导致这种鱼栖息的浅滩消失。一些地理分隔种的消失可能还要归因于基因问题，不过2004年的研究显示其遗传多样性依然很丰富。此外水污染也是其濒危的元凶之一，因为这种鱼对污染物十分敏感。
美国鱼类及野生动物管理局负责菲尔角银光鱼的保护工作。他们已采取了必要的保育措施，1989年捐赠16,000美元以维护北卡罗来纳动物园中生活的菲尔角银光鱼。自从1997年成功地进行了人工繁殖以来，这种鱼开始变得极易饲养。2001年的一项实验中，900条菲尔角银光鱼被放生以测试水质。
2006年2月破坏了菲尔角银光鱼栖息地的Carbonton Dam被拆除，因此其所在河段的水位已恢复历史正常水平。
翡翠台电视节目列表 (2014年)

本列表列出2014年由香港无线电视翡翠台所播放的节目（只限综艺及资讯节目）。
星期一至五（非黄金时段）.
09:50时段.
香港时间逢星期一至五09:50-10:00（逢公众假期改为09:05-09:15）及星期六09:00-09:10播出
13:25时段.
香港时间逢星期一至五13:25-14:10播出（除特别注明外，均为高清制作）
14:15时段.
香港时间逢星期一至五14:15-14:40/14:45播出，逢星期二至六01:25/01:30-01:55/02:00重播（除特别注明外，均为高清制作）
16:20时段.
香港时间逢星期一至五16:20-17:20播出，10月3日起与节目内播映之动画分拆，并改为在16:50-17:20播出，动画则改为在16:20-16:50播出。（除特别注明外，均为高清制作）
星期一至五（黄金时段）.
19:00时段.
星期一.
香港时间逢星期一19:00-19:30播出（除特别注明外，均为高清制作）
星期三.
香港时间逢星期三19:00-19:30播出（除特别注明外，均为高清制作）
星期五.
香港时间逢星期五19:00-19:30播出（除特别注明外，均为高清制作）
19:30时段.
香港时间逢星期一至五19:30-20:00播出（与高清翡翠台同步播放），逢星期二至六01:55/02:00-02:25重播（除特别注明外，均为高清制作）
22:30/22:35时段.
香港时间逢星期一至五22:30/22:35-23:00/23:05播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
23:50/23:55时段.
香港时间逢星期一至五23:50/23:55-00:00/00:05播出（除特别注明外，均为高清制作）
星期二至六.
02:25时段.
香港时间逢星期二至六02:25-03:25播出（除特别注明外，均为高清制作）
04:20时段.
星期二.
香港时间逢星期二04:20-05:00播出
星期三.
香港时间逢星期三04:20-04:50播出
星期四.
香港时间逢星期四04:20-04:50播出
星期五.
香港时间逢星期五04:20-05:00/05:05/05:10播出
星期六（非黄金时段）.
09:00时段.
香港时间逢星期一至五09:50-10:00及星期六09:00-09:10播出
09:10时段.
香港时间逢星期六09:10-09:45播出
10:45时段.
香港时间逢星期六10:45-11:15播出（除特别注明外，均为高清制作）
12:00时段.
香港时间逢星期六12:00-13:00播出（除特别注明外，均为高清制作）
14:45时段.
香港时间逢星期六14:45-15:55播出
16:30时段.
香港时间逢星期六16:30-17:00播出（除特别注明外，均为高清制作）
17:00时段.
香港时间逢星期六17:00-17:30播出（除特别注明外，均为高清制作）
星期六（黄金时段）.
19:30/19:35时段.
香港时间逢星期六19:30/19:35-20:30播出（除特别注明外，均为高清制作）
20:30时段.
香港时间逢星期六20:30-21:30播出，10月25日起改为20:30-22:00播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
22:00/21:30时段.
香港时间逢星期六22:00-22:30播出，7月19日起改为21:30-22:30播出，10月25日起改为22:00-23:15播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
22:30时段.
香港时间逢星期六22:30-23:30播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
23:00/23:15时段.
香港时间逢星期六23:00-23:30播出，10月25日起改为23:15-23:45播出（除特别注明外，均为高清制作）
00:00/00:05时段.
香港时间逢星期日00:00/00:05-01:00/01:10播出（除特别注明外，均为高清制作）
深夜时段.
香港时间逢星期日凌晨播出
星期日（非黄金时段）.
06:00时段.
香港时间逢星期日06:00-06:30播出
07:00时段.
香港时间逢星期日07:00-07:30播出
07:30时段.
香港时间逢星期日07:30-08:00播出
08:30时段.
香港时间逢星期日08:30-09:00播出
09:00时段.
香港时间逢星期日09:00-09:30播出
16:30时段.
香港时间逢星期日16:30-17:00播出（除特别注明外，均为高清制作）
星期日（黄金时段）.
19:00时段.
香港时间逢星期日19:00-19:30/19:35播出（除特别注明外，均为高清制作）
20:00时段.
香港时间逢星期日20:00-21:00播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
21:00时段.
香港时间逢星期日21:00-22:00播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
22:00时段.
香港时间逢星期日22:00-23:00播出，6月15日起改为22:00-22:30播出（除特别注明外，均为高清制作，且与高清翡翠台同步播放）
23:00时段.
香港时间逢星期日23:00-23:30播出，5月18日起改为23:00-23:45播出（除特别注明外，均为高清制作）
深夜时段.
香港时间逢星期一03:00-03:55/04:00播出
公众假期／非特定时段.
除特别注明外，均为高清制作
天主教奎隆教区

天主教奎隆教区 （、）是罗马天主教的一个教区，位于印度喀拉拉邦南部，受特里凡得琅总教区管辖。
历史.
教区第一次成立于1329年8月7日，属苏丹尼耶总教区。后来被并入果亚教区。目前的教区的前身是1853年成立的宗座代牧区，1886年9月1日升为教区。
现况.
2010年有教友48,501名，占辖区总人口百分之0.9。由129名司铎名管理七十八个堂区。现任教区主教为斯德望．阿蒂波齐伊尔。
黛安娜·耐德

黛安娜·耐雅德（，，）是一名美国作家、记者、励志演讲人，和世界纪录长距离游泳运动员。 1975年，绕着曼哈顿游了45公里而引起全美国的关注（）。1979年，从巴哈马北Bimini游到朱诺海滩，全程164公里（）。2013年9月2日，64岁时第五次尝试，成为第一人在没有鲨鱼笼的帮助下，从古巴哈瓦那史无前列地成功地游到佛罗里达基韦斯特岛，全程180公里（）。 耐雅德曾在美国女子壁球选手里排名第十三。
耐雅德是无神论者。同时她喜欢吃猪排。
新州 (辽朝)

新州，辽朝的州。
唐沃州地。辽太祖耶律阿保机以杏埚新城置，治所在今内蒙古自治区敖汉旗东白塔子村。统和八年（990年），改名武安州。近说：辽景宗已置武安州于木叶山（今西拉木伦河与老哈河合流处）下杏塌，圣宗统和八年城杏埚新城，迁武安州民户至新城，遂改为新州。属中京道。 
参考资料.
天主教阿勒皮教区

天主教阿勒皮教区（；）是罗马天主教的一个教区，位于印度喀拉拉邦南部，受特里凡得琅总教区管辖。
历史.
教区成立于1952年6月19日，2012年有教友163,100名，占辖区总人口百分之21.3，由114名司铎管理三十九个堂区。
现任教区主教为，荣休主教为。
天主教布讷卢尔教区

天主教布讷卢尔教区 （、）是罗马天主教的一个教区，位于印度喀拉拉邦南部，受特里凡得琅总教区管辖。
教区成立于1985年12月21日，2004年有教友46,708名，占辖区总人口百分之1.9。由五十名司铎名管理十个堂区。现任教区主教为思维‧邦努穆坦。
LINE OFFLINE 上班族

《LINE OFFLINE 上班族》（），为LINE的衍生作品，是从2013年1月7日开始在日本东京电视台（关东限定）播放的5分钟短篇动画（泡面番），描述了各个登场人物在公司中的日常生活。
在台湾，从2013年8月12日起，每周一至周五晚上7点在八大综合台播出，2014年1月起停播。2021年底，该卡通又重新于东森幼幼台复播并改名为《LINE 在一起》。
在香港，自2017年11月27日起，每周一至周五晚上9点55分在ViuTV播出，但于2018年3月6日起改为每周二至周六深夜12点30分在ViuTV播出。
国道17号 (印度)

国道17号（，简称NH17）是一条纵贯印度西海岸的国家级公路，经过马哈拉施特拉邦、果阿邦、卡纳塔克邦和喀拉拉邦，北起马哈拉施特拉邦的潘韦尔，沿途经门格洛尔、卡利卡特，南至柯枝止。全长1,296公里。
蒋衡

蒋衡（），又名振生，字湘帆，一字拙存，号江南拙叟，江苏金坛人，工书法。
生平.
生于康熙十一年。十五岁随杨宾学习书法，曾在扬州大明寺外墙壁题写“淮东第一观”。雍正年间为贡生，游历陕西，临摹各种碑帖300多种，后刻成《拙存堂临古帖》28卷，时任川陕总督的年羹尧慕名招他进督府指点书法。在西安看到唐朝的《开成石经》，决心自书十三经，至乾隆二年完成，历时十二年，共63万字、189块碑，加上“大学碑”共190块碑。乾隆五年（1740年）江南河道总督高斌将蒋衡手稿转献朝廷，收藏于故宫大成懋勤殿，赐蒋衡为国子监学正。翌年，谕旨以蒋衡手书为底本，刻石太学，于五十九年（1794年）刻成，定名《乾隆石经》。尝于扬州蕃厘观写《十三经》，马曰璐装潢，大学士高斌进之，奉命刊于辟雍，授官国子监学正。观中建写经楼，法净寺旁「淮东第一观」，是所书也（载《扬州画舫录》卷2）。应高斌邀请，为江南河道总督署园林清晏园中的荷芳书院诸景点书写题名。乾隆八年，蒋衡卒。
乾隆五十六年（1791年），乾隆帝命和珅、王杰为总裁，彭元瑞与刘墉负责考订蒋衡所书经文，将俗体字改为古体字。乾隆五十九年（1794年）刻成《乾隆石经》，“刊之石版，列于太学，用垂永久”。彭元瑞另著有《乾隆石经考文提要》，乾隆亲自为《提要》撰序。有真书189块，加一块乾隆《刊石经谕旨碑》，总计63万余字，现存国子监。
著有《拙存堂临古帖》28卷（临摹碑帖300多种）、《拙存堂诗文集》、《拙存堂文集》（浙江巡抚纳兰常安序）、《拙存堂题跋》、《蒋氏游艺秘录》、《读易私记》、《书法论》等。钤印：蒋衡、拙存、橐宇巢仙、拙存老人、仁者寿。
埃奇米阿津主教座堂

埃奇米阿津主教座堂（更准确读音：H弥耶炅）（）是亚美尼亚使徒教会的总堂和亚美尼亚宗主教驻地，位于亚美尼亚西部城市瓦加尔沙帕特。
埃奇米阿津（更准确读音：H弥耶炅）主教座堂是亚美尼亚的第一座教堂，也可能是世界上最古老的第一座教堂！该堂最初由圣启蒙者额我略建于301-303年，当时梯里达底三世确立基督教为亚美尼亚的国教，被认为是全世界最古老的主教座堂。后来该堂损毁严重，于483年几乎彻底重建为目前的形式。埃奇米阿津主教座堂在苏联初期(1920–30年代)关闭，20世纪下半叶恢复。
埃奇米阿津主教座堂自创建以来一直是亚美尼亚最重要的地点之一，被称为“亚美尼亚的梵蒂冈”。2000年，埃奇米阿津主教座堂和附近的圣加雅涅教堂、、、兹瓦尔特诺茨考古遗址一同被列为世界遗产。2002年，拥有50多座纪念碑的大教堂建筑群，包括位于大教堂周围的众多亚美尼亚十字架石和坟墓，被亚美尼亚政府列入亚马维尔州的历史和文化古迹名单。
吴弘肇

吴弘肇（）和名泊里主宗重，琉球国第一尚氏王朝人物，为吴氏我那霸家的元祖。童名真德。
吴弘肇的早年生涯是未知的，仅知道他是泊村的住人。1466年，尚德王远征喜界岛，凯旋而归；途经泊村的时候，吴弘肇之妻亲自戴水迎于海涯，献于尚德王。尚德王大喜，以其清水洗涤手足，并且称赞吴弘肇之妻为女中忠臣。随后尚德王召吴弘肇夫妇赴宴，封吴弘肇为泊地头职，管理泊村和奄美群岛；封吴弘肇之妻为泊大阿母潮花司，赐之田圃于浦添间切名嘉瑠邑。
中国香港滑冰联盟

中国香港滑冰联盟（），原名香港滑冰联盟（）是专门管辖香港花样滑冰和短道速滑事务的组织。该组织成立于1980年。现时，中国香港滑冰联盟是国际滑冰联盟和亚洲滑冰联盟的成员，旗下的主要比赛有香港短道速滑锦标赛和香港花样滑冰锦标赛。
吴起良

吴起良（）和名花城亲方宗义，是琉球国第二尚氏王朝时期人物。童名真嘉那，号不越。
吴起良的生年不详，可能出生在1470年以前。他是吴弘肇（泊里主宗重）的次子，在吴弘肇死后继承家督之位。他的女儿思乙金按司（1482年出生）嫁给了尚真王的长子尚维衡（浦添王子朝满）。
弘治年间，任浦添间切中西地头职，叙紫冠，称中西亲方宗义。尚维衡受到诬陷而被废去王世子之位，前来浦添投奔岳父吴起良。吴起良重修了荒废的浦添城，并让出自己的邸宅，改建为尚维衡的宫殿。后来这座宫殿不幸在1609年萨摩之乱中被焚毁。
1506年，吴起良以王舅的身份，与正议大夫郑玖、长史蔡賔（与那霸亲云上）一起出使明朝。在《历代宝案》和《中山世谱》里，吴起良以「亚嘉尼施」的名字登场。
正德年间，转任具志头间切花城地头职，改称花城亲方宗义。1521年逝世。
朱雀门 (日本)

朱雀门（）是日本古代京城平城京及平安京内位于宫城南侧中央的城门，即宫城的正门；正对此门为宽阔的朱雀大路，直抵京城南端的罗城门。
1998年，复原的平城京朱雀门向公众开放。主要承建者为竹中工务店。
国道9号 (印度)

国道9号（，简称NH9）是一条俾斜贯印度中南部的国家级公路，经过马哈拉施特拉邦、卡纳塔克邦和安得拉邦，西起马哈拉施特拉邦的浦那，沿途经绍拉布尔、海德拉巴、维杰亚瓦达，东至默吉利伯德讷姆止。全长841公里。
天主教内亚丁格拉教区

天主教内亚丁格拉教区 （、）是罗马天主教的一个教区，位于印度喀拉拉邦南部，受特里凡得琅总教区管辖。
教区成立于1996年6月14日，2004年有教友128,730名，占辖区总人口百分之9.6。由八十六名司铎名管理六十三个堂区。现任教区主教为味噌爵‧萨慕尔。
姜南吉

姜南吉（，），韩国男演员。
天主教埃卢鲁教区

天主教埃卢鲁教区 （、）是罗马天主教的一个教区，位于印度安得拉邦东部，受维萨卡帕特南总教区管辖。
教区成立于1976年12月9日，2004年有教友46,708名，占辖区总人口百分之1.9。由五十名司铎名管理十个堂区。现任教区主教为查亚‧拉奥‧波利梅拉。
天主教贡土尔教区

天主教贡土尔教区 （、）是罗马天主教的一个教区，位于印度安得拉邦东部，受维萨卡帕特南总教区管辖。
教区成立于1940年2月13日，2006年有教友218,097名，占辖区总人口百分之4.2。由168名司铎名管理七十九个堂区。现任教区主教为巴利‧加利。
哈佛进修学院

哈佛进修学院（英文：）为文理学院的一部分，负责提供不同有关博雅、资讯科技、社会科学、宗教及环境管理的本科、研究及非学位的课程。非学位课程为开放报读性质，而学位课程则需校方正式的录取。获接受入读申请的学生，可以享用所有哈佛的教学设施（包括图书馆、实验室等）及面见教职员。
乞伏阿柴

乞伏阿柴（），西秦王子，陇西鲜卑人，乞伏国仁之子。
建义四年（388年）父亲乞伏国仁去世，因为乞伏公府、乞伏阿柴兄弟年幼，没有即位，他的叔叔乞伏-{干}-归被推举为王。更始三年（411年），西秦国君（河南王）乞伏-{干}-归把羌族句岂等部落五千多户强迁到叠兰城住，任命乞伏阿柴为兴国郡太守，镇守兴国郡。更始四年（412年）乞伏公府杀死乞伏-{干}-归和他的儿子十数人，走保大夏，被乞伏干归的儿子乞伏炽磐击败，逃奔叠兰城，依附乞伏阿柴，乞伏智达等攻陷了叠兰城，斩杀了乞伏阿柴父子五人。
赵美玲

赵美玲（，），韩国女演员，1995年MBC第24期公开招募演员。
征婚启事 (电视剧)

《征婚启事》（），2014年台湾偶像剧，为台视与八大电视合作制播的周五优质戏剧。改编自陈玉慧的原著《征婚启事》，联合互动传播股份有限公司制作。2013年12月23日开镜，2014年6月7日杀青。由隋棠、李铭顺、郭书瑶、张少怀、钟承翰、黄志玮、蔡昌宪领衔主演。本剧获得中华民国文化部103年补助高画质电视节目新台币1200万元及「文创跨界创新与原创加值亮点计划」新台币200万元补助。台新银行为《征婚启事》在台视播出时的冠名赞助厂商，也独家赞助该剧YouTube官方频道。台视于2014年11月7日起每周五晚上10点首播，八大综合台于2014年11月8日起每周六晚上10点播出，YouTube于2014年11月13日起播出，每周播出2集。接档《妹妹》。
故事大纲.
李海宁，大国民出版社总编辑，与男友方成皓交往九年，但两人的关系已渐渐进入平淡僵化的循环中。三年前她被挖角跳槽，也把方成皓一起从大型出版集团带过来。但这家出版社除了成皓的书之外一律不赚钱，但渐渐地连成皓的书都面临了销售瓶颈。正当她为成皓策划著关于网路征婚的新书之时，却意外发现成皓一连串惊人的诽闻风暴。在愤怒之余，她决定在这循环的困境里跳脱，征婚新书的主角由自己接手。于是，不想结婚的她，开始征婚！她写下：「女，三十二岁，诚征正直善良、乐于沟通之男士。愿先友后婚。」
这一场「以婚姻为前提」的相遇，就如同一面面镜子反射出爱情的种种样貌，看见人性百态、也发现爱情里迷离的自己。在形形色色的一百位征婚者之中，海宁也学到了爱情的各种难题与课题：责任、承诺、错过、背叛、激情...。最后，她能在这场征婚行动中，遇见真爱吗？
电视剧歌曲.
电视原声带.
征婚启事电视原声带由滚石唱片制作发行，片数为1CD。原声带中收录了剧中多首歌曲及部分配乐。台湾于2014年12月5日发行。
提西福涅

提西福涅（、，字面意思为“向凶手复仇(avenging murder)”）是希腊神话登场的一个名字，也是阿尔克麦翁（Alcmaeon）的女儿的名字。
复仇女神.
提西福涅是复仇三女神厄里倪厄斯之一，阿勒克托和墨盖拉是她的姊妹。她们都是从乌拉诺斯阉割的血液浸染大地后诞生出来的，也有的说她们是夜晚神倪克斯的女儿。在维吉尔史诗《埃涅阿斯纪》（Aeneid）第6卷中，讲述提西福涅是地狱深渊塔耳塔洛斯大门的守卫者，身穿血淋淋的衣裙。
阿尔克麦翁之女.
在欧里庇得斯早已失传的一部剧本《阿尔克麦翁在科林斯》（Alcmaeon in Corinth）中，描写了阿尔克麦翁的经历。其中提到了提西福涅这个名字，说她是阿尔克麦翁和曼托（Manto、特伊西亚斯之女）的一个漂亮女儿，由科林斯国王克瑞翁（Creon）抚养成人（也有的说是阿尔克麦翁把提西福涅许配给克瑞翁为妻）。由于科林斯王后的嫉妒，克瑞翁不得不将她当做奴隶卖掉。而她的买主正巧就是她的生父，但阿尔克麦翁一开始却认不出她是自己的女儿。
TVB Window电视剧集列表 (2014年)

本列表列出2014年由香港无线网络电视TVB Window所播放的剧集。
星期一至五.
中午剧集时段.
香港时间逢星期一至五12:30-14:00及22:30-23:55/24:00播出，逢星期二至六02:30-04:00重播；1月28日至2月11日改为逢星期一至五12:30-13:30及22:30-23:30播出，逢星期二至六02:30-03:30重播；7月21日起改为12:30-14:00、20:30-21:55/22:00（如当日晚上为赛马夜，该时段会暂停播放）及23:30-01:00播出。
中午剧集时段（2）.
香港时间逢星期一至五13:30-14:00及23:30-00:00播出，逢星期二至六03:30-04:00重播。
下午剧集时段.
香港时间逢星期一至五15:00-15:55/16:00播出，逢星期二至六05:00-06:00（7月22日起改为04:00-05:00）重播。
「我们的...」系列／凌晨剧集时段／翡翠星力量.
香港时间逢星期二至六00:30-02:15播出，逢星期二至五及下星期一10:00-11:45重播；7月22日起改为01:00-02:45播出，逢星期二至五及下星期一10:00-11:45重播。（每次播映两集）
星期六.
下午剧集时段.
香港时间逢星期六15:30-17:30及21:00-22:55/23:00播出，逢星期日01:30-03:30及12:00-14:00重播；8月16日起改为逢星期六15:30-17:30播出（如该星期六为赛马日，该时段会暂停播放），逢星期日08:00/09:00-10:00/11:00重播（每次播映两集）
弦场论

弦场论（，简称SFT）是弦理论中的一种形式理论，使用量子场论的语言重新描述相对论性弦的动力学。
开弦场论.
开弦场论由维腾提出，建立在BRST不变性的基础上，认为弦交互作用中，一根开弦中点分裂成两根弦，两根弦的一半各自重叠一体，重叠处进行交互作用，而另外两半则结合成第三根弦。如此，符合乘积结合律，这也是弦论中非交换几何的经典例子。此外，由于两根弦经由交互作用产生第三根弦，维腾认为，交互作用量值可以弦场的三次方表述，因此该理论又可称作立方弦场论。
真空弦场论.
真空弦场论发轫于Sen猜想之一，该猜想认为最终稳定真空是闭弦真空，故而该最终态下没有D-膜存在。真空弦场论便是描述D-膜衰变最终态的场论，这也是目前备受关注的弦场论。
边界弦场论.
边界弦场论与前述两者较为不同，它认为D-膜可以视为共形场论边界上的相干态，且此相干态可由闭弦理论推导出来，因此这意味著开闭弦之间有对偶性的存在。边界弦场论进一步认为，快子是开弦世界面圆盘边界上共形场论的一个边界算子，若以量子重整化群的观点来看，重整化群流可以视为快子凝聚的过程；若再以标的时空的角度探讨，共形场对应到其时空座标，D-膜在座标方向上将逐渐衰减为低维膜，此结果恰好符合Sen的猜想。然而目前的边界弦场论几乎局限于对开弦的描述，对于闭弦的场论至今尚未有满意的答案。
天主教内洛尔教区

天主教内洛尔教区 （、）是罗马天主教的一个教区，位于印度安得拉邦东南部，受维萨卡帕特南总教区管辖。
教区成立于1928年7月3日，2004年有教友79,765名，占辖区总人口百分之1.2。由118名司铎名管理七十九个堂区。现任教区主教为多拉博伊纳．梅瑟．普拉卡萨姆。
天主教斯里加古兰教区

天主教斯里加古兰教区（；）是罗马天主教的一个教区，位于印度安得拉邦东北部，受维萨卡帕特南总教区管辖。
教区成立于1993年7月1日，2004年有教友59,670名，占辖区总人口百分之2.0。由三十七名司铎名管理廿四个堂区。现任教区主教为，荣休主教为。
基本归因谬误

基本归因谬误（）也称为错误归因。是指人们在评估他人的行为时，即使有充分的证据支持，但仍总是倾向于高估内部或个人因素的影响（一定是他有这样的人格，才做出这样的行为），而非外在情境因素（也许是情势所迫，或这个场所有特殊的潜规则）。
来源和范例.
基本归因谬误是由爱德华·琼斯和维克多·哈里斯（Victor Harris, 1967）进行实验的几年之后由李·罗斯（Lee Ross, 1977)创造出来的。
行进乐队

行进乐队（）也称为仪乐队、步操乐队等，是一项结合步操与乐器演奏的户外表演和比赛方式，呈现的乐器主要铜管、木管和打击乐器。仪乐队的演奏者身穿仿军事风格的制服， 制服上包括学校或组织的符号、、、手套、肩带和等配件。
天主教贝尔高姆教区

天主教贝尔高姆教区 （、）是罗马天主教的一个教区，位于印度卡纳塔克邦西北部，受班加罗尔总教区管辖。
教区成立于1953年9月19日。2012年有教友30,512名，占辖区总人口仅百分之0.3。由一百四十名司铎名管理六十七个堂区。现任教区主教为伯多禄‧马沙多。
Agda

Agda 是一个依赖类型的纯函数式编程语言。目前的版本，Agda 2，最初由瑞典查尔摩斯工学院的 Ulf Norell 作为博士论文课题设计并实现。先前的版本 Agda 1 由 Catarina Coquand 在 1999 年开发，而现今的版本则是对其的彻底重写，因此可视作一个全新的语言，但保留了 Agda 的命名和传统。
Agda 的类型系统体现了柯里-霍华德同构（Curry-Howard correspondence），因此亦可作为一个构建构造性证明的。它的类型理论基于 Zhaohui Luo 提出的 UTT（unified theory of dependent types），与 Per Martin-Löf 的直觉类型论相似。
Agda 与另一个基于依赖类型的证明辅助工具 Coq 设计上存在着显著的不同之处：它本身并不提供单独的证明策略语言（tactics），所有的证明均以函数式编程的方式书写；Agda 拥有许多常规的函数式程序语言要素，诸如：数据类型（data types）、模式匹配（pattern matching）、记录类型（records）、let表达式和模块（modules）等，而其语法设计则高度仿照 Haskell 语言。
用户可通过 Emacs 或 Atom 编辑器的界面与 Agda 系统进行交互。Agda 系统亦可借由命令行单独调用。
通过类型检查的 Agda 程序可以被编译到 Haskell，并由 GHC 编译器最终编译为可执行的本地机器码；亦有编译到 JavaScript 的后端实现。
Agda 的名字来自于一首由音乐家 Cornelis Vreeswijk 创作的瑞典语歌曲“Hönan Agda”，歌词讲述了一只名叫 Agda 的母鸡的故事。这实际上影射了 Coq（Coq 在法语中意为公鸡）。
简介.
一个简单的“Hello world”程序.
将下述程序保存于文件codice_1中：
module hello-world where
open import IO
main = run (putStrLn "Hello, World!")
在 Emacs 中可使用 C-c C-x C-c 来编译此程序；或在命令行中执行codice_2进行编译。
几点解释：
归纳类型（inductive types）.
在 Agda 中定义数据类型的方式与其它（非依赖类型）编程语言中的代数数据类型相似。
例如，在 Agda 中归纳地定义皮亚诺数：
data ℕ : Set where
 zero : ℕ 
 succ : ℕ → ℕ
这表明存在两种形式可以用来构造一个自然数：首先，zero 是一个自然数；若已知 n 是一个自然数，则 succ n 也必定是一个自然数。
又如，Agda 中对小于或等于关系的定义：
data _≤_ : ℕ → ℕ → Set where
 z≤n : {n : ℕ} → zero ≤ n
 s≤s : {n m : ℕ} → n ≤ m → succ n ≤ succ m
第一处构造（codice_7）指出：zero 必定小于或等于任何自然数；第二处构造（codice_8）指出：当 n &lt;= m 时必定有 succ n &lt;= succ m。
例如，考虑codice_9，依照定义，它是对零小于一的证明；再考虑codice_10，则是对一小于二的证明。
依赖类型模式匹配（dependently typed pattern matching）.
在类型论中，归纳和递归原则通常被用来证明涉及到归纳类型的定理。Agda 则使用依赖类型模式匹配来达到此目的。例如，自然数的加法可被定义为：
add zero n = n
add (succ m) n = succ (add m n)
比起运用归纳/递归原则，直接定义递归函数更加简单直观。依赖类型模式匹配是 Agda 内置的语言特性之一；其核心类型论并没有包含归纳/递归原则。
记录类型（records）.
除了归纳类型之外，Agda 还支持记录类型。记录的作用是将若干类型的值包装在一起，并使用不同名称标识不同的域；它可看作是对依赖乘积类型（dependent product types）的推广。
例如，在 Agda 中定义一个值对（pair）：
record Pair (A B : Set) : Set where
 field
 fst : A
 snd : B
以上代码定义了一个新的数据类型codice_11，以及两个投影函数：
Pair.fst : {A B : Set} → Pair A B → A
Pair.snd : {A B : Set} → Pair A B → B
记录类型的值可以使用记录表达式来创建，如：
若在定义记录类型时使用codice_12关键字规定了构造器，则亦可直接使用相应的构造器来创建记录，如：
record Pair (A B : Set) : Set where
 constructor _,_
 field
 fst : A
 snd : B
p34 : Pair Nat Nat
p34 = 3 , 4
元变量（metavariables）.
Agda 和其他类似的交互式证明系统（如 Coq）相比，一个显著的特性是在证明构造中对元变量的大量利用。
例如，在 Agda 中可以写出如下函数：
add : ℕ → ℕ → ℕ 
add x y = ?
“?”即是一个元变量。在 Emacs mode 中交互时，系统会提示用户所期望的类型，允许用户进一步添加具体代码到其中。该特性为渐进式程序构造提供了支持，从而达到与 Coq 的证明策略（tactics）类似的意图。
终止检查（termination checking）.
作为一个定理证明系统，Agda 语言中的定义必须是完整（total）的。所有的程序必须终止，所有的模式必须得到匹配。若无法保证定义的完整性，其类型论背后所对应的逻辑将失去一致性，导致假命题可以被证明。
目前 Agda 使用 Foetus 终止检查器。
Unicode.
Agda 语言大量吸收了 Unicode 字符集中的数学符号，这使得其证明更具可读性。Agda 的 Emacs mode 中提供了输入这些符号的快捷键；这仿照 TeX 中书写数学符号的形式。例如，输入 Σ 可以使用 codice_13。
标准库.
Agda 的标准库包含了一些常见数据结构的定义和相关的定理证明，例如自然数、列表（lists）与矢量（vectors）。
编译器.
Agda 目前具备两个官方的编译器后端：编译到 Haskell 的 MAlonzo 后端；和另一个编译到 JavaScript 的后端。
天主教贝拉里教区

天主教贝拉里教区 （、）是罗马天主教的一个教区，包括印度卡纳塔克邦中部四县，受班加罗尔总教区管辖。
贝拉里自治传教区成立于1928年6月15日。1949年3月10日升为教区。
2012年有教友29,262名，占辖区总人口仅百分之0.6。由九十名司铎名管理四十一个堂区。现任教区主教为亨利‧德苏沙。
天主教古尔伯加教区

天主教古尔伯加教区 （、）是罗马天主教的一个教区，包括印度卡纳塔克邦东北部三县，受班加罗尔总教区管辖。
教区成立于2005年6月24日。2006年有教友5,000名，占辖区总人口仅百分之0.1。由三十六名司铎名管理二十三个堂区。现任教区主教为罗伯特‧弥额尔‧米兰达。
Idris

Idris是一个通用的依赖类型纯函数式编程语言，其类型系统与Agda以及相似。
Idris语言具备堪与Coq媲美的交互式定理证明能力，自带tactics，而其设计目标侧重于通用系统编程更甚于辅助证明。Idris的其他设计目标还包括“可观的”代码性能，对副作用的控制，以及对于实现嵌入式领域特定语言（Embedded Domain Specific Language，EDSL）的支持。
Idris通过一个依赖类型的核心语言TT生成C语言的中间代码并编译到本地机器码，并利用了一个基于Cheney算法的垃圾收集器实现。Idris亦拥有 JavaScript、Java和LLVM的编译器后端。
Idris的名字来自于20世纪70年代的英国儿童动画片《》里，一条会唱歌的龙。
语言特性.
依赖类型.
Idris 支持对依赖类型（formula_1）的定义。如下定义了formula_2，即元素类型 formula_3 的 formula_4-元组类型：
data Nat = O | S Nat
infixr 5 ::
data Vect : Type -&gt; Nat -&gt; Type where
 VNil : Vect a O
 | (::) : a -&gt; Vect a k -&gt; Vect a (S k)
嵌入式领域特定语言（EDSL）.
Idris 对嵌入式领域特定语言的支持主要包括以下方面：
类型提供器（Type Provider）.
Idris 拥有与 F# 相似的类型提供器，它允许编译器在编译期间根据所执行代码的需求而生成新的类型信息。这使得静态类型系统更具可扩展性。
示例.
语法.
Idris 的语法与 Haskell 有许多相似之处。一个最简单的 Hello World 程序如下：
module Main
main : IO ()
main = putStrLn "Hello, World!"
该程序与 Haskell 的等效写法仅有两点不同：类型签名使用单个冒号“:”而不是双冒号“::”；开头的模块声明中不必使用 where 从句。
Idris 亦支持 where 从句、let 表达式、with 规则、简单的 case 表达式和模式匹配等。
依赖类型.
一个在 Idris 中使用依赖类型的示例：
total
append : Vect n a -&gt; Vect m a -&gt; Vect (n + m) a
append Nil ys = ys
append (x :: xs) ys = x :: append xs ys
该函数将一个包含 m 个类型 a 的元素的 vector 连接到一个包含 n 个类型 a 的元素的 vector 之后。由于输入 vector 的确切类型依赖于它的值，故在编译（类型检查）时即可保证输出的 vector 必将包含 (n + m) 个类型 a 的元素。
关键字“total”将会执行函数的完整性（totality）检查。若函数定义未涵盖所有可能的情形（partial function），则检查器会报错。
另一个使用依赖类型的示例：
total
pairAdd : Num a =&gt; Vect n a -&gt; Vect n a -&gt; Vect n a
pairAdd Nil Nil = Nil
pairAdd (x :: xs) (y :: ys) = x + y :: pairAdd xs ys
Num a 标志着类型 a 属于 Num。注意在这里，该函数被认为是完整的（total），尽管并未定义一个参数是 Nil 而另一个参数非 Nil 的模式。原因在于两个作为参数的 vector 只能具备相同的长度，这一点通过依赖类型系统得到了保证，因此在编译时两者长度不同的情形绝无可能发生。这使得该函数定义仍然是完整的。
求值策略.
Idris 默认采取及早求值（Eager evaluation），而非 Haskell 的惰性求值（Lazy evaluation）方式。Idris 支持使用 Lazy 关键字显式地指定惰性求值：
data Lazy : Type -&gt; Type where
 Delay : (val : a) -&gt; Lazy a
Force : Lazy a -&gt; a
boolCase : Bool -&gt; Lazy a -&gt; Lazy a -&gt; a;
boolCase True t e = t;
boolCase False t e = e;
2014年国际足联俱乐部世界杯

2014年国际足协世界冠军球会杯（），即第 11 届俱乐部世界杯，于2014年12月10日至20日在摩洛哥举行。
申办国家.
共有4个国家提出申请举办本届赛事。
2011年10月，国际足联宣布伊朗、南非、阿联酋退出申办。2011年12月17日，国际足联正式宣布摩洛哥举办本届赛事。
比赛场馆.
2014年国际足联俱乐部世界杯的比赛场地分别在拉巴特和马拉喀什。
赛程.
本届杯赛没有平局，如果在常规比赛时间内打平：
资格赛.
其他队伍轮空。
瓦隆主要矿业遗址

瓦隆主要矿业遗址（）位于比利时南部的瓦隆区。它完整保留了18到20世纪的瓦隆地区煤矿的原貌，并具有多处和煤矿基础设施的遗迹，2012年被列入世界文化遗产。
概况.
瓦隆主要矿业遗址包括四个地点
18世纪的第二次工业革命中，采矿和重工业成为比利时经济的主要部分，大多数矿山和矿冶工业都位于东西横贯瓦隆区的一块狭长地带中（被称为“工业山谷”）中，后来围绕着迅速发展的采矿业，这一带的城市也迅速发展。到了20世纪，这一带的采矿业衰落了，本遗址列出的四座矿山已然不再生产，只是作为博物馆向参观者开放。
天主教吉格默格卢尔教区

天主教吉格默格卢尔教区 （、）是罗马天主教的一个教区，包括印度卡纳塔克邦中南部两县，受班加罗尔总教区管辖。
教区成立于1963年11月16日。2006年有教友36,819名，占辖区总人口仅百分之1.2。由七十八名司铎名管理三十四个堂区。现任教区主教为安多尼‧斯瓦米‧多默萨帕。
叶夫根尼·德拉贡诺夫

叶夫根尼·费奥多罗维奇·德拉贡诺夫（，），又译德拉古诺夫，是俄罗斯著名斯武器设计师，他一生设计了很多轻武器步枪及部件，其最著名的设计是以他的名字命名的德拉古诺夫狙击步枪也是现代第一支为支援班排级狙击与长距离火力支援用途而专门制造的狙击步枪。
生平.
他出生在一个生产枪炮的家庭，父亲是伊热夫斯克武器厂武器设计师费奥多尔·弗拉基米罗维奇·德拉古诺夫 (Fyodor Vladimirovich Dragunov) ，母亲是教师齐娜达·康斯坦丁诺夫娜·德拉古诺娃 (Zinaida Konstantinovna Dragunova)。1938年，叶夫根尼·德拉古诺夫以工艺技术员资格从伊热夫斯克工业学院毕业，开始在伊热夫斯克兵工厂担任金属加工技术员。1939年12月初，德拉古诺夫应征入伍，并被送往哈巴罗夫斯克炮兵仪器侦察学校学习。
1941年后期，他作为一位资深的军械士为苏联在战时工作，在这段战争期间，透过缴获外国大量的武器，得到了很多关于武器方面的知识。在1945年战争结束后，他离开军队回到家乡伊热夫斯克加入陆军武器设计局。在1950年代，他是运动及打靶用途步枪的项目设计师。在1960年的冬季奥林匹克运动会其设计的步枪，成功帮助苏联赢得冬季奥运金牌。
步枪设计师生涯.
在1959年德拉贡诺夫设计了陆军使用的狙击步枪，也就是德拉古诺夫狙击步枪并赢得武器设计的竞赛。在1963年苏联陆军开始正式投入生产使用这一款狙击步枪，后来成为著名的德拉古诺夫狙击步枪。20 世纪 70 年代初。他设计了PP-71冲锋枪，但没有投入批量生产。德拉古诺夫后来也继续设计武器，在AKS-74U的导气装置（MAmalokalibrenii avtomat）也是他的发明之一。这是他职业生涯最后一项的主要发明，这一MA导气装置在的设计PP-71冲锋枪有极大贡献。1991年去世前不久，德拉古诺夫在PP-71的基础上制造了PP-91 Kedr冲锋枪，该枪后被俄罗斯内务部采用。
嘉奖.
在德拉古诺夫去世后，他被追授予列宁奖及俄罗斯联邦国家奖。
家庭.
叶夫根尼·德拉古诺夫他与莉迪亚·尼古拉耶夫娜·德拉古诺娃结婚。他的2个儿子米哈伊尔和阿列克谢也成为了枪匠。米哈伊尔完成了他父亲开始的改进 PP-91的工作。小儿子阿列克谢·德拉古诺夫 (Alexey Dragunov) 与维克多·卡拉什尼科夫 (Viktor Kalashnikov) 合作，在伊日玛什制造了 PP-19 野牛冲锋枪。
天主教加尔瓦尔教区

天主教加尔瓦尔教区 （、）是罗马天主教的一个教区，位于印度卡纳塔克邦西北北卡纳达县，受班加罗尔总教区管辖。
教区成立于1976年1月24日。2006年有教友53,800名，占辖区总人口仅百分之3.9。由102名司铎名管理六十五个堂区。现任教区主教为德雷克‧费尔南德斯。