hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
蔣衡 生平
生於康熙十一年。十五岁隨杨宾学习书法，曾在扬州大明寺外墙壁题写“淮东第一观”。雍正年间為贡生，游历陕西，临摹各种碑帖300多种，后刻成《拙存堂临古帖》28卷，时任川陕总督的年羹尧慕名招他进督府指点书法。在西安看到唐朝的《開成石經》，決心自書十三經，至乾隆二年完成，歷時十二年，共63萬字、189塊碑，加上“大學碑”共190塊碑。乾隆五年（1740年）江南河道总督高斌将蒋衡手稿转献朝廷，收藏于故宫大成懋勤殿，賜蔣衡為國子監學正。翌年，谕旨以蒋衡手书为底本，刻石太学，于五十九年（1794年）刻成，定名《乾隆石经》。尝于扬州蕃厘观写《十三经》，马曰璐装潢，大学士高斌进之，奉命刊于辟雍，授官国子监学正。观中建写经楼，法净寺旁「淮东第一观」，是所书也（载《扬州画舫录》卷2）。应高斌邀请，为江南河道总督署园林清晏园中的荷芳书院诸景点书写题名。乾隆八年，蔣衡卒。
蔣衡 生平
乾隆五十六年（1791年），乾隆帝命和珅、王杰为总裁，彭元瑞與劉墉負責考訂蔣衡所書經文，將俗體字改為古體字。乾隆五十九年（1794年）刻成《乾隆石经》，“刊之石版，列于太学，用垂永久”。彭元瑞另著有《乾隆石经考文提要》，乾隆亲自为《提要》撰序。有真书189块，加一块乾隆《刊石经谕旨碑》，总计63万余字，现存国子监。
著有《拙存堂临古帖》28卷（临摹碑帖300多种）、《拙存堂诗文集》、《拙存堂文集》（浙江巡抚纳兰常安序）、《拙存堂题跋》、《蒋氏游艺秘录》、《读易私记》、《书法论》等。钤印：蒋衡、拙存、橐宇巢仙、拙存老人、仁者寿。
与书法家王澍 (书法家)交友。
德国联邦铁路E41型电力机车
德国联邦铁路E41型电力机车（德語：）是德国联邦铁路根据标准化电力机车计划而在1956年起生产的一款电力机车，主要用于铁路支线客运及短途客运。它自1968年起改称为141型，并且是重量最轻的一款标准化电力机车。
德国联邦铁路E41型电力机车 开发历史
1950年，德国联邦铁路的专职委员会决定采购两款大面积使用标准化部件的基本型电力机车。其一是基于E94型电力机车开发的六轴货运机车，其二是基于E44型电力机车开发的四轴通用机车。它们都应设立驾驶台，以使火车司机可以坐着工作。而在此前的电力机车型号（E18型及E19型除外）中，司机都必须站立驾驶，因为这被假定为可提高他们的注意力。
首个通用机车的出厂型号在最初被设定为E46型，但在通过提升最高速度以满足快速列车的运营需求后，它又被改称为E10型。1952年，德国主要的机车制造商和电气工程企业首先联合生产了4台试验性样机，系列代号为E10.0型，它们不仅能满足联邦铁路中央局的要求，并且在传动技术、电气设备、走行结构和其它细节上都实现了各公司的特定理念。然而在其后得测试程序中表明，仅有两种类型的新机车并不足以满足所有的性能要求。因此系列车型又立即进行了重新修改，它们被分为用于快速列车服务的E10型、用于货运列车的E40型（两者均由西门子-舒克尔特/克劳斯-玛菲研发）、用于轻载短途客运的E41型（由BBC/亨舍尔研发）和用于重载货运的六轴机车E50型（由AEG/克虏伯研发）。
德国联邦铁路E41型电力机车 开发历史
根据修订后的型号要求，E41型机车（1968年起改称141型）主要担当短途客运及轻载货运的牵引机车。由于它们的研发目标之一是应在电气化的支线铁路使用，其轴重被控制在15吨以内。相对于其它标准化电力机车的型号，E41型的成本更为低廉，并能发挥更大的作用。因此除其他事项外，机车的电气部件存在显著的差异。
德国联邦铁路E41型电力机车 批量生产
在1956年至1971年期间，德国联邦铁路共采购了451台E41型机车，而最后交付的16台机车则是在出厂时直接使用了新的定型编号141型。所有机车都配备了动力集中式列车控制设备。它们之中的一些机车随后也被用作自1987年起也被用作S-Bahn服务，例如在莱茵-鲁尔S-Bahn（141 248号机车在1977年牵引n-型车厢试运行）以及自1987年在纽伦堡S-Bahn中使用。
最后交付的5台141型机车还试验性的搭载了电子再生制动，可以将制动能量反馈至接触网。这些机车的特点是车顶上的箱型盖，它被安置在固定辅助设备部分的下方，从而与不设再生制动的版本作区分。
德国联邦铁路E41型电力机车 设计特点
与所有其它标准化电力机车一样，E41型机车的转向架轴承也采用箱型结构焊接。焊接的桥式底盘是基于转向架上的螺旋弹簧和橡胶元件实现支撑。桥式底盘和箱形结构形成一个自承式的单元。制动装置包括一个间接作用的克诺尔型空气制动器以及用于分流直接作用的辅助制动器。
E41型机车使用的牵引电动机是根据ET30型电联车进一步发展而来，这是一个10针的版本，型号为ABM 6651型。与其它所有标准化电力机车一样，橡胶空心轴传动装置均由西门子-舒克尔特提供，它们已在首台E10.0型机车中证明了自身优异的传动性能。
车顶设备包括两个DBS 54a型双臂受电弓、然后是强制安装的车顶隔板、压缩空气主开关和用于测量接触网电压的高压互感器。变压器是一个采用油冷却的三回路变压器。
德国联邦铁路E41型电力机车 设计特点
驾驶室的安全设备有机械或电子的紧急列车停止装置（）、点状列车控制装置（，如今根据新的要求使用PZB 90的软件版本）和车载无线电设备。自1990年代末起，用于客运的机车都被强制加装了一个0公里启动中控门锁（，简称）。此外，所有用于S-Bahn运营的141型机车都配备了多频列车控制装置（）。机车的加装投入还包括牵引双层列车时可以有选择的开启单侧车门的控制设备。141 400号和403号机车则曾在一段时间内搭载了列车连续监控装置（）于希尔德斯海姆至黑尔姆施泰特之间进行测试，这是线状列车控制装置（）的雏形。
全部141型机车均设有通过36针控制电缆实现的传统动力集中式列车控制设备，从而使动力集中式列车操作得以首次在地区范围内运用。141 091号机车自1960年起搭载了日后时刻复用动力集中式列车控制设备（，简称）的早期版本进行测试，其特征在于所述控制指令是作为音频信号通过电子列车加热管进行传送。用作纽伦堡S-Bahn的141型机车最终配备了ZWS（音频复用控制是通过UIC电缆（扬声器电缆）传送控制指令），使得它们在结束S-Bahn运营后仍然可以非常灵活的运用于动力集中式双层列车之中，但这可能会导致机车的性能达到极限。
德国联邦铁路E41型电力机车 运用
141型机车在早年便已不仅限于用作牵引n-型车厢的动力集中式列车服务。它一面世就被投入了支线货运列车甚至快速列车运行。因此首批出厂的部分机车使用了象征德国联邦铁路长途运输的蓝色涂装。在德铁于1950年代末提出将快速列车的最高速度提升至140公里/小时后，机车在这一方面的运用即宣告结束。然而，机车的主要应用领域仍是牵引动力集中式列车，并率先在慕尼黑地区、鲁尔地区和萨尔地区完成了首次运行。
141型机车曾长期运行于老联邦德国的线路中，例如慕尼黑、萨尔布吕肯、特里尔、基尔、法兰克福和多特蒙德周边的都会区，两德统一后，在萨勒河铁路的卡姆堡及普罗布斯策拉之间至瑙姆堡及耶拿的线路中也能见到这款机车的踪影。
1987年，7台141型机车（141 436号至141 442号）被编入新成立的纽伦堡S-Bahn中使用。它们采用橙色/卵石灰色的S-Bahn涂装，并与x-型车厢共同构成动力集中式列车车组。这些机车直至1994年被143型机车（原德国国营铁路243型）替换并重新喷漆。
德国联邦铁路E41型电力机车 运用
两德统一后，141型机车的许多运营服务均被取代，尤其是143型机车。如今的动车组，425型电联车也占据了141型机车原先的运用领域。
德国（联邦-）铁路的各种配色方案在141型机车身上都能得到较佳的展现效果，它们曾被主要漆以6款不同的配色方案：
首台机车由于作为当时仍然有效的快速电力机车概念（可牵引最高时速为120公里/小时的快速列车）的类别，因此被漆成了钴蓝色。在这一概念发生变化后（快速列车类别必须达到140公里/小时），机车即更改为通勤列车和货运列车所匹配的氧化铬绿色涂装。随后它们自1975年4月起又转化为海蓝色/米色的变体涂装，自1987年3月起又改用东方红色涂装（最先于汉堡）。机车最后采用的配色方案是自1997年10月起实施的现今交通红色涂装。部分运用于纽伦堡的141型机车在1987年还收到了与当时S-Bahn涂装相匹配的橙色/卵石灰色涂装。
德国联邦铁路E41型电力机车 运用
运用于哈根的141 248号机车则在1977年1月收到了非对称的S-Bahn试验性涂装，它与普通的海蓝色/米色配色方案相类似。由于机车需要固定牵引一列单侧带有蓝色窗边条纹的试验列车运行，即由埃森铁路局根据S-Bahn运输需求所改造的n-型车厢，因此机车及车厢采用了相互协调的色调。这列车组被称为“卡尔斯鲁厄列车”（），是如今被频繁使用的S-Bahn列车的原型，通常由111型或143型机车牵引3至5节x-型车厢组成。另一个采用过特殊涂装的是141 378号机车，它在海蓝色/米色的标准涂装基础上还漆以了蓝色的车顶。
德国联邦铁路E41型电力机车 退役
德国联邦铁路早在1980年代末便考虑在中期将141型机车作拆分。其首次减少库存的计划是在1987年实施，远远早于其它的标准化电力机车。因此，141型机车不应再被纳入东方红色的喷漆方案，除了为特定运用区域（汉堡城铁、“威斯巴登城铁”：法兰克福－美因茨－威斯巴登）量身订造的机型。但在两德统一后，短途运输的需求日益增大，尤其是在区域运输中需要数量庞大的动力集中式列车牵引机车；以及随着德国铁路改革的推进而拆分的若干业务部门，特别是计划将140型机车分配至德铁货运、141型机车分配至德铁区域运输，这些都表明将机车提前退役是不切实际的。从1990年代中期开始，机车最终完成了东方红色喷漆，并自1997年起也参与了德国铁路新的交通红色涂装概念。
因此141型机车很大程度上可以维持传统的运用领域直至1990年代末；截至1999年12月31日，总产量为451台的141型机车仍有334台仍处于运营状态，它们集中分布在布伦瑞克（从塞尔策及汉堡转配而来）、多特蒙德、法兰克福、纽伦堡和萨尔布吕肯等地，并根据它们的运用特点被广泛使用。
德国联邦铁路E41型电力机车 退役
随着425型及426型电联车的交付，大量配备36针动力集中式列车控制电缆的110型和143型机车投入使用；以及区域运输服务被外判至私营铁路公司，这些都意味着141型机车的运用领域被大幅缩减，其最初撤离的区域是弗兰肯及巴伐利亚州，其次是黑森州、莱法州、北威州、汉堡及石荷州，并最终也从不来梅州及下萨克森州撤出。
这些不再需要的机车大多进行了报废处理。特殊的命运则降临在141 046号机车身上，它在1995年被废弃，后于2007年在汉诺威作为发电机车使用；141 068号机车则被保留在法兰克福车辆段用作培训用途；141 160号机车于1999年至2005年期间在诺特海姆也用作发电机车；而141 161号机车则在克赖恩森作为德铁线路的应急演练机车使用，但自2005年起已被封存在富尔达车辆段。
至2005年12月31日，仅剩5台141型机车仍处于运营状态（不包括由德铁区域运输租借至达姆施塔特-柯拉尼希施泰因铁道博物馆的141 228号机车），其中4台（141 400号–402号、439号）驻扎在法兰克福，这是由于当地的运力不足而重新返回运营；另有1台（141 083号）则驻扎在布伦瑞克。
德国联邦铁路E41型电力机车 退役
在布伦瑞克的141 083号机车于2006年2月退役后，141型机车最后的运用场所仅剩法兰克福。从2005年12月至2006年5月初，最后4台机车在卡塞尔及梅尔松根间定期作为卡塞尔有轨电车的替换服务运行，如有需要，它们还可与其它机车共同执行一个穿越黑森州的交路计划。在法兰克福的6台更年轻的143型机车退役后，最后4台141型机车连同馆藏机车141 228号又重新定期运行于卡塞尔、吉森和迪伦堡间的美因-威悉铁路中，或可牵引特别列车运行。而在推挽式的美因-威悉区域列车于2006年12月10日转换为动车组形式的中黑森快车后，这些机车也丧失了最后的运用领域。最后4台驻扎在法兰克福的机车在停运六个后还有3台（400号、402号和439号）仍未退役，但自2006年12月29日，所有封存的141型机车都被勒令转移至奥普拉登强制报废。141 401号机车则作为展览机车陈列于庞巴迪卡塞尔工厂的44型蒸汽机车旁。
德国联邦铁路E41型电力机车 馆藏机车
有如下141型机车在博物馆中保存：
值得一提的是141 160号机车也被保存了很长一段时间，作为在1988年退役的首台141型机车，它直至2005年12月均作为一个静态的供暖系统驻扎在诺特海姆车辆段，随后在现场被拆解。此外141 046号机车（海蓝色/米色涂装，原莱恩豪森维修车间的供电机车）在此期间也已被现场拆解。
埃奇米阿津主教座堂
埃奇米阿津主教座堂（亞美尼亞語：）是亚美尼亚使徒教会的总堂和亚美尼亚宗主教驻地，位于亚美尼亚西部城市瓦加尔沙帕特，靠近土耳其边境。
埃奇米阿津主教座堂是亚美尼亚的第一座教堂，该堂最初由圣启蒙者额我略建于301-303年，当时梯里达底三世确立基督教为亚美尼亚的国教，被认为是全世界最古老的主教座堂。后来该堂损毁严重，于483年几乎彻底重建为目前的形式。埃奇米阿津主教座堂在苏联初期(1920–30年代)关闭，20世纪下半叶恢复。
埃奇米阿津主教座堂自创建以来一直是亚美尼亚最重要的地点之一，被称为“亚美尼亚的梵蒂冈”。2000年，埃奇米阿津主教座堂和附近的圣加雅涅教堂、聖賀利希美教堂、修哈卡特教堂、茲瓦爾特諾茨考古遺址一同被列为世界遗产。2002年，擁有50多座紀念碑的大教堂建築群，包括位於大教堂周圍的眾多亚美尼亚十字架石和墳墓，被亞美尼亞政府列入亞馬維爾州的歷史和文化古蹟名單。
吳弘肇
吳弘肇（？—1514年10月13日（正德九年九月十五））和名泊里主宗重，琉球國第一尚氏王朝人物，為吳氏我那霸家的元祖。童名真德。
吳弘肇的早年生涯是未知的，僅知道他是泊村的住人。1466年，尚德王遠征喜界島，凱旋而歸；途經泊村的時候，吳弘肇之妻親自戴水迎於海涯，獻於尚德王。尚德王大喜，以其清水洗滌手足，並且稱讚吳弘肇之妻為女中忠臣。隨後尚德王召吳弘肇夫婦赴宴，封吳弘肇為泊地頭職，管理泊村和奄美群島；封吳弘肇之妻為泊大阿母潮花司，賜之田圃於浦添間切名嘉瑠邑。
奉天国际运动场
奉天国际运动场，是一座综合性体育场，位于奉天满铁附属地（现今辽宁省沈阳市和平区），总占地面积为10.5万平方米。
奉天国际运动场 历史沿革
奉天国际运动场始建于1930年，毗邻千代田公园。1936年主田径场南侧又增设了8个网球场。解放军攻占沈阳后，改为沈阳市人民体育场。直到1984年，这儿都是沈阳市首屈一指的体育场，许多大型运动会、足球赛都在此举行。2002年沈阳市人民政府决定将体育场规划为开放式的体育公园。
奉天国际运动场 场内设施
运动场内有6条400米环形跑道，中间是标准的足球场，四周有1.1万个坐席的看台。主田径场的东侧，附设有2500人看台的棒球场；运动场南侧后增设了8个网球场。
中國香港滑冰聯盟
中國香港滑冰聯盟（英語：），原名香港滑冰聯盟（英語：）是專門管轄香港花樣滑冰和短道速滑事務的組織。該組織成立於1980年。現時，中國香港滑冰聯盟是國際滑冰聯盟和亞洲滑冰聯盟的成員，旗下的主要比賽有香港短道速滑錦標賽和香港花樣滑冰錦標賽。
米兰方言
米兰方言或米兰语(milanes, milanées)是伦巴第语的一种（为西伦巴第语一支），传统上使用于米兰及米兰省。也被称之为‘Meneghino’（米兰语：meneghin, meneghìn）该名称源自于意大利艺术喜剧中用于表示米兰的一种面具（Meneghin）的名字。米兰语是西伦巴第语之中传统意义上和文学意义上最重要的语言。
就如同其他在意大利所讲的语言分支一样，由社会语言学（双层语言等）的观点来看，米兰语也可被认为是一种方言。但实际上米兰语和其他的意大利方言一样，并没有直接受到意大利语的影响,但也如同意大利语一样，是由于拉丁语在特定区域传播演变的结果，所以实际上，米兰语也是罗曼语的一种。米兰语与意大利语相对而言相对接近，但两者不能互相明白对方的语言。米兰语同时也是西伦巴第语的一种，所以和其他伦巴第语的语言也都可以很好的互通。像所有其他的西伦巴第语的语言一样，它也是西罗曼语的一种。
米兰语没有被意大利共和国法理承认（1999年颁布的482号法令），也不是受其保护的对象，但伦巴第政府在1981八月七日向欧洲委员会的928号推荐书中已将其官方承认。
米兰方言 拼写
由于缺少一个自身语言的固定确切的标准，于是出现了多种拼写惯例。
其中最古老的一种仍然在使用（被称之为古典米兰语拼写），也有可能是其中最有影响力的，这种拼写惯例也被米兰作家卡罗·波尔塔所采用。其特点为用三字母组合oeu来发元音/ø/或/œ/。
其他很多的较新的惯例的发展方向：
一些替代的系统用ü和ö来代替u和oeu，目的是为了避免米兰语元音和意大利语元音之间的混淆，大体上它们也简略了扬抑符的应用，经常被移除的是^。
米兰方言 多种拼写方式的比较
也可以将古米兰语，杰弗里·赫尔（Geoffrey Hull）的拼写版本和托马索·格罗西在他的作品La fuggitiva（逃犯）中使用的统一茵苏比利亚（insubria）语的版本。
Sera settada in terra col coo in man,
e i gombed sui genœucc: me ziffolava
el vent in di cavij: demaneman
che vegneva on quaj bôff, el me portava
comè ona vôs che vegneva de lontan;
la me pariva la soa vôs, alzava
i œucc, guardava intorna: ma l'è nott,
l'è senza luna e no se ved nagott.
Ciami Pedrin!... Pedrin!, nissun rispond, [...]
S'era setada en tèrra, col cau en maun,
米兰方言 多种拼写方式的比较
e egl gombed sugl genuogl: me zifolava
el vent ent egl cavegl: demanamaun
che vegneiva un quagl bof, el me portava
come una voux che vegna de lontaun:
ella me pareiva la soa voux, alzava
egl uogl, guardava entorna: ma el es nuoit,
el es senza luna, e no se ved negot.
Clame. Pedrin! Pedrin!. Neissun respond.
Sera setada in tera cul coo in man,
e i gumbed süi genögg: me zifulava
el vent in di cavii: demaneman
che vegneva un quai buf, el me purtava
cumè una vus che vegneva de luntan;
米兰方言 多种拼写方式的比较
la me pariva la sua vus, alzava
i ögg, guardava inturna; ma l'è not,
l'è senza lüna e nu se ved nagot.
Ciami Pedrin!... Pedrin!, nissün rispund, [...]
'sera se'tadan 'tɛra ku'lkuː 'in mɑ̃ː,
'ei 'gumbet 'syj d͡ʒe'nøt͡ʃ 'me sifu'lava
'el veːnt 'indi ca'viː; demane'mɑ̃ː
'ke ve'ɲevan 'kwaj 'buf, 'elme pu'rtava
ku'mɛ na'vuːs 'ke ve'ɲeva deluntɑ̃ː;
'lame pa'riva 'la 'sua vuːs, a'lsava
i øt͡ʃ, gwa'rdava i'ntuːrna ma'lɛ 'nɔt,
'lɜ 'sẽːnsa 'lyna 'e 'nuse veːt na'gɔt
't͡ʃami pe'drĩː, pe'drĩn, nisỹː ri'spuːnt...
米兰方言 语法
米兰语是高卢－意大利语族的一种，所以这一族的语法也显示出了米兰语的语法特点。
米兰方言 与意大利语的比较
毫无疑问米兰语与标准意大利语之间的差别要小于与其他非罗曼语语言的差距，但是当我们用历史的观点来看这两个罗曼语言时，可以将这两者之间的区别比作意大利语与法语之间的区别。但方言与意大利语始终在以某种形式‘靠拢’，尤其是在最近的几个世纪，由于全国语言词典的获得（如‘学校’这个词的演变，scòla相较之前的于scoeura更接近于意大利语"scuola"，等等），一个足够容易理解的现象就是会说米兰语的人多半会说意大利语。
两个语言中最显著的特点分别是：
意大利语中的主语代词是直接从拉丁语来，而米兰语的主语代词是由拉丁语的与格代词，这是的米兰语的主语代词与拉丁语的宾语代词和与格代词将近：我：mi（意大利语：io），你：ti（意大利语：tu），他：lu（意大利语：lui），她：lee（意大利语：lei），我们：nümm（意大利语：noi），你们：viálter（意大利语：voi），他们：lór（意大利语：loro）
米兰方言 与意大利语的比较
米兰语的否定词大多在动词之后，而意大利语则在之前，如意大利语‘你不是’说成‘non sei'而米兰语允许有两种说法‘i te seet no’和‘ti te seet minga’，Minga是一个对于另类否定词的副词（可能源自拉丁语词汇的mica，意思是‘屑’或‘细微的东西’）这在很多意大利方言中也都有出现，甚至于意大利语本身也将mica在口头语中加上non来加强否定的语气，也可将法语的pas或托斯卡纳方言中的punto（意为：点）来举例，即表达否定概念常常会将否定的事物划定为‘小的东西‘。统计表明，在米兰语中的‘non’和‘minga’同样常用，并且通常是可以交换使用的，米兰人可以选择一个‘更顺嘴’的方式来表达一个句子。不过大体上来说‘minga’相较‘no’的语气更强： "poeudi minga" (意大利语：non posso意为‘我不能’)更倾向于指向一种本身能力的缺失或不足（生理上或道德上），而"poeudi no"则更偏向于暂时的或被迫的不允许（如现在我不行）再如"poeudi minga fall foeura"意大利语为"non posso ucciderlo"即‘我不能杀他’:表达我没有意愿去杀他也永远都不会做。而"poeudi no fall foeura"则表达我不会杀人，我害怕被发现或其他的原因。但就如之前所说，不是强制性的。
米兰方言 与意大利语的比较
选择连词‘或’，即意大利语中的‘o’和‘oppure’在米兰语中通常被用于与比较词‘piuttosto che'（意为：宁愿，更喜欢）连用，而意大利语"vado a teatro oppure al cinema?"和 "Solitamente vado a piedi piuttosto che in auto"前句意为‘我去剧院还是电影院？’表达两个平衡的选项之间做选择，而后者‘一般相较于步行我更喜欢坐公交车’则是有倾向性的选择。
米兰方言 米兰语的谚语、俗语
L'erba di alter l'è semper la pussee bona＝邻居家的草总是更绿
Zucca e melon, a la soa stagion＝南瓜和柠檬，各有各的季节
Quand gh'è scappaa el porscell, sarren el stabiell＝猪跑了之后才关上猪圈
Volti el cuu a Milan, volti el cuu al pan＝我转身面向米兰，我转身面向面包（意为只有米兰才是赚得到生活的钱的地方）
米兰方言 与法语的相似性
有一种普遍的观点认为米兰语的发音，如同很多其他的伦巴第语和其他高卢－意大利语族的语言一样，都与法语很容易混淆。这一部分源自于它在"oeu" (ö), "u" (ü)的发音，大量的使用截断的词，尤其是在动词上（staa, andaa, stracch,等）并且这两种语言有相当多相对应的词条名（如米兰语的giambon由法语的jambon变形而来，意为奶酪；再如用mercì表示谢谢，请之意等等）并且一些词语或短句是完全相同的，如"oeuf"意为‘蛋’，"assez"意为‘足够，相当’，"ça te dit"意为‘你在说什么’。这些相似性绝大多数都可以追溯到历史进程过程中将势力范围延伸至帕达纳平原的数个统治势力，是他们将语言传播到了这里。此外无论是古代米兰语还是现代米兰语中sont一词都表达了米兰语是源于拉丁语和法语的本质。
但在部分情况下米兰语与法语之间的相似性则不那么明显，也会产生一些误解，其中很有代表性的一篇童谣讲述的是一个在摆核桃摊的米兰人和一个法国游客的故事，他们都认为自己能明白并理解对方的语言：
米兰方言 与法语的相似性
游客："Comment s'appellent-ils?"（这些叫什么？）(菜販听成了‘怎么给这个剥皮’）
菜贩："Se pelen no, se schiscen."（不拨皮，要敲碎）
游客："Comment?"（什么？）（菜販听成了‘怎么弄’）
菜贩："Coi man, coi pé, 'me te voeuret!" （用手，用脚，你想用什么都行！）
游客："Je ne comprends pas..."（我没明白）（菜販听成了‘我不买’）
菜贩："Se te voeuret minga comprài, lassa pur età!"（如果你不想买，就离开！）
拉丁语，法语，米兰语与意大利语四种语言对照表：
从表格可以看出，米兰语拥有法语和意大利语的双重特点，这也或多或少出现在所有其他罗曼语语支的语言之中。可以说位于地理交界位置的伦巴第语或其他高卢-意大利语支语言一样是跨在意大利语和法语之间的语言。
吳起良
吳起良（？—1521年9月8日（正德十六年七月廿七））和名花城親方宗義，是琉球國第二尚氏王朝時期人物。童名眞嘉那，號不越。
吳起良的生年不詳，可能出生在1470年以前。他是吳弘肇（泊里主宗重）的次子，在吳弘肇死後繼承家督之位。他的女兒思乙金按司（1482年出生）嫁給了尚真王的長子尚維衡（浦添王子朝滿）。
弘治年間，任浦添間切中西地頭職，敘紫冠，稱中西親方宗義。尚維衡受到誣陷而被廢去王世子之位，前來浦添投奔岳父吳起良。吳起良重修了荒廢的浦添城，並讓出自己的邸宅，改建為尚維衡的宮殿。後來這座宮殿不幸在1609年薩摩之亂中被焚毀。
1506年，吳起良以王舅的身份，與正議大夫鄭玖、長史蔡賔（與那霸親雲上）一起出使明朝。在《歷代寶案》和《中山世譜》裡，吳起良以「亞嘉尼施」的名字登場。
正德年間，轉任具志頭間切花城地頭職，改稱花城親方宗義。1521年逝世。
二条通
二条通（にじょうどおり）是京都市主要的東西向道路之一，位于平安京大内裏以南，仅次于朱雀大路。东到白川通，西到堀川通。
朱雀門 (日本)
朱雀門（日语：／ Suzaku mon */?）是日本古代京城平城京及平安京內位於宮城南侧中央的城門，即宮城的正門；正对此门为宽阔的朱雀大路，直抵京城南端的羅城門。
1998年，复原的平城京朱雀門向公众开放。主要承建者为竹中工務店。
國道9號 (印度)
國道9號（英語：，簡稱NH9）是一條俾斜貫印度中南部的國家級公路，經過馬哈拉施特拉邦、卡納塔克邦和安得拉邦，西起馬哈拉施特拉邦的浦那，沿途經紹拉布爾、海德拉巴、維傑亞瓦達，東至默吉利伯德訥姆止。全長841公里。
天主教內亞丁格拉教區
天主教內亞丁格拉教區 （拉丁語：、英語：）是羅馬天主教的一個教區，位於印度喀拉拉邦南部，受特里凡得琅總教區管轄。
教區成立於1996年6月14日，2004年有教友128,730名，佔轄區總人口百分之9.6。由八十六名司鐸名管理六十三個堂區。現任教區主教為味噌爵‧薩慕爾。
姜南吉
姜南吉（韓語：，1958年8月27日—），韓國男演員。
天主教埃盧魯教區
天主教埃盧魯教區 （拉丁語：、英語：）是羅馬天主教的一個教區，位於印度安得拉邦東部，受維薩卡帕特南總教區管轄。
教區成立於1976年12月9日，2004年有教友46,708名，佔轄區總人口百分之1.9。由五十名司鐸名管理十個堂區。現任教區主教為查亞‧拉奧‧波利梅拉。
華亞科技園區
華亞科技園區，為林口新市鎮特區第五工業區，主要園區位於臺灣桃園市龜山區，由台塑集團投資開發。華亞科技園區於1994年由南亞塑膠依據《都市計畫法》申請開發，為台灣第一宗由民間企業自行開發之乙種工業區，並由台塑集團設立華亞園區管理顧問公司提供專業性之服務與管理。
華亞科技園區 地理交通
華亞科技園區基地位於桃園市龜山區，中山高速公路行經北側，自交流道至本基地行車約5分鐘。園區總面積158公頃。
華亞科技園區 設廠概況
園區目前進駐廠商有97家，員工人數約為23,000人（2015年）。
天主教贡土尔教区
天主教貢土爾教區 （拉丁語：、英語：）是羅馬天主教的一個教區，位於印度安得拉邦東部，受維薩卡帕特南總教區管轄。
教區成立於1940年2月13日，2006年有教友218,097名，佔轄區總人口百分之4.2。由168名司鐸名管理七十九個堂區。現任教區主教為巴利‧加利。
哈佛進修學院
哈佛進修學院（英文：）為文理學院的一部分，負責提供不同有關博雅、資訊科技、社會科學、宗教及環境管理的本科、研究及非學位的課程。非學位課程為開放報讀性質，而學位課程則需校方正式的錄取。獲接受入讀申請的學生，可以享用所有哈佛的教學設施（包括圖書館、實驗室等）及面見教職員。
乞伏阿柴
乞伏阿柴（?—412年），西秦王子，陇西鲜卑人，乞伏国仁之子。
建义四年（388年）父亲乞伏国仁去世，因为乞伏公府、乞伏阿柴兄弟年幼，没有即位，他的叔叔乞伏归被推举为王。更始三年（411年），西秦国君（河南王）乞伏归把羌族句岂等部落五千多户强迁到叠兰城住，任命乞伏阿柴为兴国郡太守，镇守兴国郡。更始四年（412年）乞伏公府杀死乞伏归和他的儿子十数人，走保大夏，被乞伏乾归的儿子乞伏炽磐击败，逃奔叠兰城，依附乞伏阿柴，乞伏智达等攻陷了叠兰城，斩杀了乞伏阿柴父子五人。
趙美玲
趙美玲（韓語：，1973年4月16日—），韓國女演員，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所播放的劇集。
TVB Window電視劇集列表 (2014年) 星期一至五
香港時間逢星期一至五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播出。
香港時間逢星期一至五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重播。（每次播映兩集）
TVB Window電視劇集列表 (2014年) 星期六
香港時間逢星期六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名司鐸名管理七十九個堂區。現任教區主教為多拉博伊納．梅瑟．普拉卡薩姆。
奉天咨议局旧址
奉天咨议局旧址位于辽宁省沈阳市沈河区桃源街118号，是清末奉天省的最高议事机构——奉天咨议局大楼的西配楼，亦是沈阳市唯一留存的巴洛克式建築。
奉天咨议局旧址 历史沿革
清朝光绪三十二年（1906年），东三省总督徐世昌宣布开始筹办奉天咨议局。光绪三十三年（1907年）前后，开始修建奉天咨议局大楼。宣统元年（1909年）九月初一，奉天咨议局正式成立。1910年，大楼竣工并投入使用，由主楼、东配楼和西配楼组成。
1912年至1928年间，奉天省议会是当时奉天省最高权利机构，大楼为奉天省议会办公楼。东北易帜后，大楼又相继被中国国民党奉天省党部，奉天省高等审判庭、检察厅等机构使用。
中华人民共和国成立后，大楼由沈阳军区政治部军法处接管。2010年代时，西配楼产权归属沈阳市成套电器厂，为集体所有，并被出租用作仓库。建筑内部墙壁已完全被白灰覆盖。主楼、东配楼拆除时间不详。
奉天咨议局旧址 历史沿革
西配楼为两层“L”形建筑，可分割出5个完整的房间。租用此处建筑的鲁迅美术学院教授刘成龙说，“通过房间陈列和历史资料我们可以看出，这座建筑的历史作用应该是一些级别较低的工作人员的办公室，因为房间间数不多，而且每个房间的面积都很大，一看就是很多人在一起办公的大办公室。直通院里的大门设计比较多，一楼的办公室基本都有自己的独立出口。 ”2014年起，刘成龙和友人出资过百万元人民币，以“修旧如旧的原则”，对西配楼进行清理、内部修缮。预计将其做为文化创意园使用。
2021年8月，沈阳市人民政府公布《沈阳市“十四五”文化旅游业发展规划》，在“十四五”期间，沈阳市将完成满铁奉天公所旧址、奉天咨议局旧址等12处濒危文物抢救性保护工作。
2013年亞洲青年運動會游泳比賽
2013年亞洲青年運動會游泳比賽於2013年8月19日至8月23日在南京奧林匹克體育中心游泳館舉行。此次比賽共分為30個小項，男子和女子各15個。
北谷惠祖事件
北谷惠祖事件是1667年琉球發生的一次政治事件。
1662年，清朝遣使冊封尚質為琉球國王。翌年冬，尚質遣三司官向國用（北谷親方朝暢）為王舅，與紫金大夫金正春一起出使清朝謝恩。1664年，又遣王舅英常春（惠祖親方重孝）、正議大夫林有才出使清朝，慶祝康熙帝登基。慶賀使的船隻在閩江口擱淺，並遭到海盜的襲擊。英常春等人逃往福州，船員被殺害，貢品金壺也被海盜劫走。
1665年，謝恩使團與慶賀使團一起歸國，並向薩摩藩報告了此事。1666年6月與10月，薩摩藩將相關人員帶往鹿兒島城審訊，得知了琉球人假冒中國海盜劫掠貢船的真相。盜取金壺之人是向國用的家來（守衛者）與那城仁屋等人，此後又被仲村渠仁屋盜去。宮里子、仲村渠仁屋以及醫師休齋一起將與那城毒死，在福州賣掉了金壺。為避免其他船員說出實情，宮里子用金錢堵住了他們的嘴。
北谷惠祖事件
在歸國途中，向國用知道了事情的真相。為了避免惹事，在途經伊平屋島洋面時，向國用將所有參與者投入海中滅口。
薩摩藩做出判決，向國用縱容下屬盜竊金壺，英常春膽怯逃亡，皆斬首，兩人子弟8人皆流放外島；殺人、盜竊相關的12人，依罪狀進行處罰或處決。薩摩藩又下令琉球王府不得違抗。於是向國用、英常春二人於1667年5月21日被處決。
2raumwohnung
2raumwohnung (德語發音：[ˈtsvaɪʁaʊmvoːnʊŋ]) 是一支成立于2000年 德国柏林流行二人音乐组合。其有2为成员Inga Humpe和Tommi Eckhart，他们先前是音乐组合Neonbabies的歌手。
奉天市政公所
奉天市政公所是沈阳市最早的正规市政领导机关，创立于1923年5月。1929年4月，因奉天市改名沈阳市，更名为沈阳市政公所。1931年，九一八事變时解体:27，被奉天市政公署接管。
奉天市政公所 历史沿革
民国初年，奉天省城的建设依然由商业局、警察局、建筑局、公用局多个部门负责，它们彼此间并无隶属，所以往往相互推诿和掣肘，根本无法适应加快城市发展的现实要求。奉天市政公所在这样的背景下成立。
1923年五月，奉天省长公署设立奉天市政公所筹备处:27。时任奉天省代省长王永江负责筹划。同年七月，省长公署令筹备处迁于前法政学堂旧址。八月，筹备处奉令改为奉天市政公所。当代研究者认为，奉天市政公所的性质是奉天省长公署在省城办理市政公务的分支机构，并不具备独立的行政职能:27。
1928年12月，东北易帜。3月1日，东北政务委员会遵照南京中央政治会议决议，改奉天市为沈阳市。4月12日，东北政务委员会将奉天市政公所更名为沈阳市政公所:27。
四十殉道士主教座堂
四十殉道士主教座堂 (阿拉伯語：）位于叙利亚阿勒颇的基督徒区Jdeydeh，是一座15世纪亚美尼亚使徒教会教堂，这是该市最古老的教堂之一。建于1912的钟楼为阿勒颇罕见的巴洛克风格。
天主教斯里加古兰教区
天主教斯里加古蘭教區（拉丁語：；英語：）是羅馬天主教的一個教區，位於印度安得拉邦東北部，受維薩卡帕特南總教區管轄。
教區成立於1993年7月1日，2004年有教友59,670名，佔轄區總人口百分之2.0。由三十七名司鐸名管理廿四個堂區。現任教區主教為維傑耶·庫默爾·勒耶勒勒，榮休主教為因納亞·欽納·阿達加特拉。
基本歸因謬誤
基本歸因謬誤（英語：）也称为错误归因。是指人們在評估他人的行為時，即使有充分的證據支持，但仍總是傾向於高估內部或個人因素的影響（一定是他有這樣的人格，才做出這樣的行為），而非外在情境因素（也許是情勢所迫，或這個場所有特殊的潛規則）。
基本歸因謬誤 來源和範例
基本歸因謬誤是由愛德華·瓊斯和維克多·哈里斯（Victor Harris, 1967）進行實驗的幾年之後由李·羅斯（Lee Ross, 1977)創造出來的。
行進樂隊
行進樂隊（英語：）也称为仪乐队、步操樂隊等，是一项结合步操与乐器演奏的户外表演和比赛方式，呈现的乐器主要铜管、木管和打击乐器。仪乐队的演奏者身穿仿军事风格的制服， 制服上包括学校或组织的符号、筒状军帽、遮阳帽、手套、肩带和斗蓬等配件。
天主教贝尔高姆教区
天主教貝爾高姆教區 （拉丁語：、英語：）是羅馬天主教的一個教區，位於印度卡纳塔克邦西北部，受班加罗尔总教区管轄。
教區成立於1953年9月19日。2012年有教友30,512名，佔轄區總人口僅百分之0.3。由一百四十名司鐸名管理六十七個堂區。現任教區主教為伯多祿‧馬沙多。
无尽之剑
《无尽之剑》（英语：）是一款由Chair Entertainment和Epic Games开发的格斗游戏。于2010年12月9日在App Store上市。这部游戏是无尽之剑系列的第一部作品。这是iOS平台第一部采用虚幻引擎3来制作的游戏。在游戏中，玩家控制的主角要面对一系列的单对单战斗。在战斗中，玩家可以用手指在屏幕上点划来使主角做出攻击和闪避的动作。随着战斗的胜利和游戏的进展，玩家将可以获得经验值、创造纪录以及赢得更多的物品，使自己的角色变得强大，来面对游戏中的头目God-King。
《无尽之剑》支持多人游戏模式，玩家可以通过Game Center与网络上其它的玩家联机。
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
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 在法语中意为公鸡）。
Agda 简介
将下述程序保存于文件hello-world.agda中：
在 Emacs 中可使用 C-c C-x C-c 来编译此程序；或在命令行中执行agda --compile hello-world.agda进行编译。
几点解释：
在 Agda 中定义数据类型的方式与其它（非依赖类型）编程语言中的代数数据类型相似。
例如，在 Agda 中归纳地定义皮亚诺数：
这表明存在两种形式可以用来构造一个自然数：首先，zero 是一个自然数；若已知 n 是一个自然数，则 succ n 也必定是一个自然数。
又如，Agda 中对小于或等于关系的定义：
第一处构造（z≤n）指出：zero 必定小于或等于任何自然数；第二处构造（s≤s）指出：当 n <= m 时必定有 succ n <= succ m。
例如，考虑z≤n {succ zero}，依照定义，它是对零小于一的证明；再考虑s≤s {zero} {succ zero} (z≤n {succ zero})，则是对一小于二的证明。
Agda 简介
在类型论中，归纳和递归原则通常被用来证明涉及到归纳类型的定理。Agda 则使用依赖类型模式匹配来达到此目的。例如，自然数的加法可被定义为：
比起运用归纳/递归原则，直接定义递归函数更加简单直观。依赖类型模式匹配是 Agda 内置的语言特性之一；其核心类型论并没有包含归纳/递归原则。
除了归纳类型之外，Agda 还支持记录类型。记录的作用是将若干类型的值包装在一起，并使用不同名称标识不同的域；它可看作是对依赖乘积类型（dependent product types）的推广。
例如，在 Agda 中定义一个值对（pair）：
以上代码定义了一个新的数据类型Pair : Set → Set → Set，以及两个投影函数：
记录类型的值可以使用记录表达式来创建，如：
若在定义记录类型时使用constructor关键字规定了构造器，则亦可直接使用相应的构造器来创建记录，如：
Agda 和其他类似的交互式证明系统（如 Coq）相比，一个显著的特性是在证明构造中对元变量的大量利用。
例如，在 Agda 中可以写出如下函数：
Agda 简介
“?”即是一个元变量。在 Emacs mode 中交互时，系统会提示用户所期望的类型，允许用户进一步添加具体代码到其中。该特性为渐进式程序构造提供了支持，从而达到与 Coq 的证明策略（tactics）类似的意图。
作为一个定理证明系统，Agda 语言中的定义必须是完整（total）的。所有的程序必须终止，所有的模式必须得到匹配。若无法保证定义的完整性，其类型论背后所对应的逻辑将失去一致性，导致假命题可以被证明。
目前 Agda 使用 Foetus 终止检查器。
Agda 语言大量吸收了 Unicode 字符集中的数学符号，这使得其证明更具可读性。Agda 的 Emacs mode 中提供了输入这些符号的快捷键；这仿照 TeX 中书写数学符号的形式。例如，输入 Σ 可以使用 \Sigma。
Agda 的标准库包含了一些常见数据结构的定义和相关的定理证明，例如自然数、列表（lists）与矢量（vectors）。
Agda 目前具备两个官方的编译器后端：编译到 Haskell 的 MAlonzo 后端；和另一个编译到 JavaScript 的后端。
水簾壩
水簾壩，又稱為銅門水壩，是臺灣的一座攔河堰，位於花蓮縣秀林鄉的木瓜溪本流上，鄰近水簾發電廠，並隔著龍澗橋與龍澗發電廠相望，主要功能是提供其下游的銅門發電廠發電之用，是木瓜溪流域最下游的水庫。
水簾壩 歷史
水簾壩原為日本統治末期由日本人所建，不過在1943年至1945年遭遇嚴重之颱風及暴雨侵害，造成銅門發電所及其攔水壩損壞嚴重。國民政府來台後，1952年開始進行重建工作，1955年竣工，供甫重建完工的銅門發電廠發電之用。1958年（民國47年）榕樹發電廠尚未建廠時僅將銅門發電廠發電後的尾水接引至初英發電廠發電。1967年2月榕樹發電廠完工後則將銅門電廠的尾水隧道接引至榕樹電廠頭水隧道，供榕樹電廠發電後，再送到初英電廠發電。
水簾壩 設施
水簾壩為一座閘門控制混凝土重力壩，壩高27公尺，壩長84公尺，有效蓄水量僅2.1萬立方公尺，主要提供銅門發電廠發電用水。
韓斌 (朝鮮)
韓斌（朝鲜语：，1904年—？），北韓政治人物，延安派人，官至朝鮮勞動黨中央委員會委員及最高人民會議代議員。
韓斌 (朝鮮) 生平
韓斌出生於咸鏡北道慶源郡。4歲時，他隨同祖父遷居至俄罗斯帝国的海參崴。1920年，他加入蘇聯共青團。1923年入讀東方勞動大學，畢業後被任命為蘇聯共青團濱海邊疆區的文化部長。1924年，他又成為高麗共產青年同盟的滿洲總部組織部負責人。翌年，他與另一延安派人崔昌益來到朝鮮半島當漢城分部的組織部負責人，但不久後，他又返回蘇聯。在1926年，他到列寧格勒國立大學進修，之後，他又轉到莫斯科國立大學學習。1928年，完成學業後他來到中國東北，並按照蘇共的指示加入中國共產黨。
1930年1月，韓斌在上海與中國共產黨人商討朝鮮民族共產黨人加入中國共產黨的方法。兩個月後，韓斌在返回漢城時被反對共產主義的日本殖民地政府逮捕，亦被判監6年。1936年，已獲釋的韓斌逃亡到中國，並和金枓奉和崔昌益等人在上海、南京等組織抗日運動。1941年，他到華北向當地的朝鮮族人宣揚共產主義。翌年，他被選為朝鮮獨立同盟中央執行會副主席。
韓斌 (朝鮮) 生平
1945年8月，日本投降，二戰結束，韓斌隨延安派人武亭等來到北韓。1946年，他先後成為朝鮮勞動黨中央委員會委員及最高人民會議代議員。1956年8月，延安派人與蘇聯派成員因不滿時任最高領導人金日成的獨裁統治而發動八月宗派事件，但最終事敗。儘管韓斌並沒有參與其中，但他還是被捲入其中，並被下放到一國立圖書館當館長。1957年，他更被定性為「宗派份子」而被解除所有職務。此後，再沒有任何關於他的消息。
天主教贝拉里教区
天主教貝拉里教區 （拉丁語：、英語：）是羅馬天主教的一個教區，包括印度卡纳塔克邦中部四縣，受班加罗尔总教区管轄。
貝拉里自治傳教區成立於1928年6月15日。1949年3月10日升為教區。
2012年有教友29,262名，佔轄區總人口僅百分之0.6。由九十名司鐸名管理四十一個堂區。現任教區主教為亨利‧德蘇沙。
天主教古尔伯加教区
天主教古爾伯加教區 （拉丁語：、英語：）是羅馬天主教的一個教區，包括印度卡纳塔克邦東北部三縣，受班加罗尔总教区管轄。
教區成立於2005年6月24日。2006年有教友5,000名，佔轄區總人口僅百分之0.1。由三十六名司鐸名管理二十三個堂區。現任教區主教為羅伯特‧彌額爾‧米蘭達。
Idris
Idris是一个通用的依赖类型纯函数式编程语言，其类型系统与Agda以及Epigram相似。
Idris语言具备堪与Coq媲美的交互式定理证明能力，自带tactics，而其设计目标侧重于通用系统编程更甚于辅助证明。Idris的其他设计目标还包括“可观的”代码性能，对副作用的控制，以及对于实现嵌入式领域特定语言（Embedded Domain Specific Language，EDSL）的支持。
Idris通过一个依赖类型的核心语言TT生成C语言的中间代码并编译到本地机器码，并利用了一个基于Cheney算法的垃圾收集器实现。Idris亦拥有 JavaScript、Java和LLVM的编译器后端。
Idris的名字来自于20世纪70年代的英国儿童动画片《火车头艾弗》里，一条会唱歌的龙。
Idris 语言特性
Idris 支持对依赖类型（）的定义。如下定义了，即元素类型  的 -元组类型：
Idris 对嵌入式领域特定语言的支持主要包括以下方面：
Idris 拥有与 F# 相似的类型提供器，它允许编译器在编译期间根据所执行代码的需求而生成新的类型信息。这使得静态类型系统更具可扩展性。
Idris 示例
Idris 的语法与 Haskell 有许多相似之处。一个最简单的 Hello World 程序如下：
该程序与 Haskell 的等效写法仅有两点不同：类型签名使用单个冒号“:”而不是双冒号“::”；开头的模块声明中不必使用 where 从句。
Idris 亦支持 where 从句、let 表达式、with 规则、简单的 case 表达式和模式匹配等。
一个在 Idris 中使用依赖类型的示例：
该函数将一个包含 m 个类型 a 的元素的 vector 连接到一个包含 n 个类型 a 的元素的 vector 之后。由于输入 vector 的确切类型依赖于它的值，故在编译（类型检查）时即可保证输出的 vector 必将包含 (n + m) 个类型 a 的元素。
关键字“total”将会执行函数的完整性（totality）检查。若函数定义未涵盖所有可能的情形（partial function），则检查器会报错。
Idris 示例
另一个使用依赖类型的示例：
Num a 标志着类型 a 属于 Type class Num。注意在这里，该函数被认为是完整的（total），尽管并未定义一个参数是 Nil 而另一个参数非 Nil 的模式。原因在于两个作为参数的 vector 只能具备相同的长度，这一点通过依赖类型系统得到了保证，因此在编译时两者长度不同的情形绝无可能发生。这使得该函数定义仍然是完整的。
Idris 默认采取及早求值（Eager evaluation），而非 Haskell 的惰性求值（Lazy evaluation）方式。Idris 支持使用 Lazy 关键字显式地指定惰性求值：
2014年国际足联俱乐部世界杯
2014年國際足協世界冠軍球會盃（英語：），即第 11 届俱乐部世界杯，于2014年12月10日至20日在摩洛哥举行。
2014年国际足联俱乐部世界杯 申办国家
共有4个国家提出申请举办本届赛事。
2011年10月，国际足联宣布伊朗、南非、阿联酋退出申办。2011年12月17日，国际足联正式宣布摩洛哥举办本届赛事。
2014年国际足联俱乐部世界杯 比賽場館
2014年国际足联俱乐部世界杯的比赛场地分别在拉巴特和马拉喀什。
2014年国际足联俱乐部世界杯 赛程
本届杯赛没有平局，如果在常规比赛时间内打平：
麥靴比體育會  v  奧克蘭城
其他队伍轮空。
施迪夫  v  奧克蘭城
藍十字  v  西悉尼流浪者
藍十字  v  皇家馬德里
聖羅倫素  v  奧克蘭城
施迪夫  v  西悉尼流浪者
藍十字  v  奧克蘭城
皇家馬德里  v  聖羅倫素
瓦隆主要矿业遗址
瓦隆主要矿业遗址（英語：）位于比利时南部的瓦隆区。它完整保留了18到20世纪的瓦隆地区煤矿的原貌，并具有多处和煤矿基础设施的遗迹，2012年被列入世界文化遗产。
瓦隆主要矿业遗址 概况
瓦隆主要矿业遗址包括四个地点
18世纪的第二次工业革命中，采矿和重工业成为比利时经济的主要部分，大多数矿山和矿冶工业都位于东西横贯瓦隆区的一块狭长地带中（被称为“工业山谷”）中，后来围绕着迅速发展的采矿业，这一带的城市也迅速发展。到了20世纪，这一带的采矿业衰落了，本遗址列出的四座矿山已然不再生产，只是作为博物馆向参观者开放。
鬼一法眼
鬼一法眼（きいちほうげん、おにいちほうげん）是室町時代初期的軍記物語『義經記』卷2中登場的傳說人物。
鬼一法眼 人物
住在京都一條堀川的陰陽師，傳說是文武的達人。源義經透過其么女，偷學傳家的兵書『六韜三略』。據說也是劍術京八流之祖，傳授武術給鞍馬的八人僧兵，被視為劍術之神受到崇敬。也是淨瑠璃・歌舞伎等傳統藝能的題材之一。
街頭巷尾
《街頭巷尾》（英語：[Our Neighbor] 错误：{{Lang}}：文本有斜体标记（帮助））是一部在1963年上映的台灣電影，由自立電影公司所出品，李行導演所執導，李冠章、羅宛琳等人主演。
這部電影也是李行所執導的第一部以「健康寫實」為題材的國語片。