google/wiki40b huggingface dataset:
查尔斯·西蒙尼

成长与成就

西蒙尼生与匈牙利布达佩斯一个电子学教授之家，中学时代他就酷爱电脑科学和数学，那时他仅能在晚间为大学实验室打杂工，实验室里有一台笨重的苏联制乌拉尔二号电脑（Ural II），西蒙尼很快就通过自学掌握了该电脑的全部操作指令并自行开发出一个Fortran语言程序编译器。
1966年西蒙尼中学毕业后，他籍着开发程序编译器的工作经验在丹麦“A/S Regnecentralen”计算中心找到第一份工作。两年后，他用工作攒下的钱来到美国加利福尼亚州进入加大柏克莱分校学习工程应用数学及数理统计。
1972年西蒙尼从加大毕业后，进入斯坦福大学研究生班学习深造计算机科学。在学习期间他还在施乐公司兼职工作。他在导师的指导下和公司同事合作开发出当时领先的可视见（WYSIWYG）文本编辑软件BRAVO。1977年他以优异成绩取得了斯坦福大学的博士学位。
1981年，施乐的同事Metcalfe建议他向微软公司主席比尔盖茨写信毛遂自荐。盖茨很快就批准了西蒙尼的申请并重用他主持Multiplan软件的开发工作。Multiplan即Microsoft Excel的前身。西蒙尼成功地采用一项新设计准则使得Multiplan软件能在多个运行平台（又称操作系统）上工作。尽管后来微软的DOS操作系统迅速普及使得该软件可移植性意义相对不大，但是西蒙尼的创举令盖茨对他深为赏识，两人密切合作。
其后数年，在西蒙尼、盖茨的领导下微软将升档为Excel试算表，他针对微软的程序员们各自有独特风格并不擅长团队合作之陋习创导了匈牙利命名法。匈牙利范式是一种变量名和程式名、构件名统一命名的标准，后来成为世界软件行业的一种行业标准，保障了微软程序的质量和源代码的易读性、可维护性。
西蒙尼还创导了“宏程序”（metaprogramme）与“宏程序员”（metaprogrammer）的概念，其目的在于增强对软件开发的管理，但比较鲜为人知。
自八十年代至九十年代微软的蓬勃发展充分证明了西蒙尼的出色产品计划、项目计划与项目管理才能。盖茨则保证他成为世界上最高薪的软件开发人员。
到了2002年，西蒙尼离开微软，与生意伙伴Gregor Kiczales开创“Intentional Software”公司去继续他们的未圆之梦。
到了2005年，西蒙尼被福布斯杂志列入了当年十亿美元超级富翁的名单之内并保持至今，在成名与获利之际西蒙尼热衷于慈善事业。每年捐助一千万美元至五千万美元给各项科学基金、公益事业。如在二○○四年他把荣获的年度信息系统奖项（Annual Infosys Award）全数捐给了慈善机构。

个人生活

西蒙尼现住在美国西雅图地区，业余时间极其喜爱外出航海，他的游船‘思嘉德（Skat）号’被列为美国第八大私家游艇。
长毛箐姑草

别名

长柔毛繁缕（云南植物研究）
朝鲜民主主义人民共和国植物相

朝鲜民主主义人民共和国的植物相与北半球其他温带地区有许多相似之处，其生态系多属北方针叶林。目前共记录有2898种植物，其中14%为特有种。朝鲜平地的原生植物泰半因都市扩张与农业等人类活动而消失，高地则尚存有原生的松柏，其中又以赤松为大宗。
朝鲜的植物中，有4种被认为濒临绝种，其中又有3种因形态特殊，在其他现生植物中均无特别相似的类群，而被归入各自的单型属中。其中蔷薇科植物Pentactina rupicola只分布于江原道的金刚山区，分子证据显示蔷薇科中，它与分布于北美的岩绣菊属的亲缘关系最为接近。另一种濒临绝种的植物是朝鲜白连翘，分布于朝鲜半岛中部，除了在朝鲜被栽种外，也作为园艺植物被引进英国与北美，朝鲜曾发行以其为主题的邮票。Sophora koreensis也是朝鲜濒临绝种的植物，原本属于单型属Echinosophora，但有研究以基因序列分析槐属物种与它的演化关系，主张此植物应该被归入槐属中.。
朝鲜民主主义人民共和国最大的植物园是1959年完工、位于首都平壤大城山山脚的朝鲜中央植物园。
索 (洛特省)

索（法语：Saux）是法国洛特省的一个市镇，属于卡奥尔区（Cahors）。该市镇总面积8.31平方公里，2009年时的人口为122人。

人口

索人口变化图示
教省

天主教

罗马天主教会通常合数个教区为一教省。教省须择一教区为首都（Metropolis），教省首都的主教（Metropolitan）为该教省的领袖，权力与一般主教相同。在天主教这些首都主教的头衔为总主教，这个头衔也被给予一些并非教省首都的教区主教，因历史或地域因素使得有些没有附属教区的教区获得了总教区的称呼。
在有天主教教区设置的国家，国内至少会有一个教省，而领土较大、天主教徒也有一定数量的国家（如美国、法国等）会设有多个教省。
也有部分教区不隶属于任何教省，而是由教廷直接管辖。
普拉西 (卡尔瓦多斯省)

普拉西（法语：Placy）是法国卡尔瓦多斯省的一个市镇，属于卡昂区（Caen）蒂里阿尔库尔县（Thury-Harcourt）。该市镇总面积5.46平方公里，2009年时的人口为129人。
辛普森家庭：Springfield

游戏设定

霍默值勤时忙着玩myPad（iPad的恶搞）的吃豆人游戏时，忽视值勤而不注意引起核灾，导致春田镇彻底破坏。滞留在那儿，他全责重建春田镇以及带回镇上的居民。霍默不顾一切地寻找其他角色，以便让他们重建家园，他也可以回来玩游戏。在莉萨的帮助下，霍默重建了春田镇，找回关键的角色们。
屠宰場守則

剧情

故事叙述英国一间菁英寄宿学校附近的树林因水力压裂突然出现了一个神秘的沉洞，这造成学生和教师们为了自己的生存而与洞中释放出的东西展开对战。

制作

2017年5月，据报导，西蒙·佩吉和尼克·佛洛斯特成立了名为Stolen Picture的新制片公司，并已展开制作首部电影作品《屠宰场守则》。

发行

《屠宰场守则》定于2018年10月31日在英国上映。电影的首支预告片于2018年8月9日在网上释出。
胜芳镇

行政区划

胜芳镇下辖以下地区：
胜芳镇社区，民强村，红光村，繁荣村，中华村，红星村，前进村，永明村，新明村，新华村，建国村，中山村，石四村，石二村，胜利村，北楼村，朝阳村，幸福村，石三村，向阳村，东升村，红旗村，东方村，东明村，新村，建新村，东风村，南楼村，崔庄子村，石一村，巨华村，建华村，中口村，西董村，尚堡村，纪堡村，田堡村，陈堡村，楼庄村和桃园村。
本益成長比

本益成长比（Price/Earnings to Growth Ratio，PEG），又称动态股价收益比，最早是由英国投资大师吉姆·史莱特（Jim Slater）提出，经由美国证券投资家彼得·林奇（Peter Lynch）发扬彰显，史莱特因而被称为PEG选股法的创始人。PEG指标最先应用于英国证券市场，然当时英国证券市场的影响力较小，该指标并未引起国际间较大的关注。1992年，史莱特的著作《祖鲁法则》（The Zule Principle）出版，始将PEG应用在投资和选股的方法推广到美国。而后，在美国投资大师彼得·林奇的用心推广下，终于获得世人的看重，后人甚至将PEG方法的功绩归功于彼得·林奇。 
PEG的选股指标，结合考虑了目标企业的市盈率（本益比）水平和未来盈利的成长性。一般认为当PEG为 1 时估值合理，数值越低则意味着股价越被低估。史莱特甚至认为要找PEG低于0.75的股票，最好是能低于0.66。
李啟淦

简介

中学毕业于香港华仁书院，及后到美国柏克莱加州大学求学，并获得土木工程学士的资格。另外，又曾在北京体育大学修读体育教育课程。他现时为多个香港泳池建筑工程的技术顾问。著名DJ林珊珊的前夫，二人育有两女，长女李澄现任职商业电台DJ。
他2012年伦敦奥运会担任无线电视担任游泳项目评述员，他同时也在剧集《怒火街头2》（第1－3集）之中客串，饰演宋医生一角。同时也在剧集《冲上云霄II》（第32－33集）客串饰演李Sir。
張大千

生平

父张怀忠，早年从事教育后从政，再改盐业。母曾友贞，当时知名的女画家。兄弟十人，张大千排名第八；二兄张泽，号善孖，别号虎痴，以画虎名于世。姐张琼枝，亦善画，妹妹张敏是老幺。
1925年，与其二兄张泽居于上海法租界西门路169号时，曾收藏了一幅明人张大风的《诸葛瑾像》，两人以“大风堂”为画室之名，收了许多弟子。这些弟子，后来被称为“大风堂画派”。
张大千1916年冬与表姐谢舜华定亲，但谢舜华不幸病逝，感世事无常，便至松江禅定寺出家，法名大千。后二兄张泽迫其还俗，奉母命迎娶正室曾庆蓉，育有一女。之前已先娶了二太太黄凝素，共育有七子四女。1935年，张大千来到北平，不久遇见“三夫人” 杨婉君，1917年生于北平。父亲是一位弹月琴的艺人。自13岁登台演唱京韵大鼓，是北平城南有名的曲艺演员。1935年10月的一天，杨婉君与张大千正式结婚，但并无生育。1949年，48岁的张大千娶了大女儿张心瑞的同学18岁的徐雯波做四太太，育有两子两女。
1927年，张大千还有一名朝鲜情人池春红，为妓生出身，本欲纳为妾，但遭父母反对，1939年因反抗日军强奸后自杀。
张大千移居台湾后，经常到日本购买绘画用具或装裱字画，下榻横滨名园偕乐园。园主便介绍山田喜美子小姐来照顾张大千的起居生活。山田年轻貌美，颇得大千欢心，他在自己的诗中描写道：“亲辇名花送草堂，真成白发拥红妆；知君有意从君笑，笑我狂奴老更狂” ，偕乐园成了“白发红妆”的安乐窝。此后，大千每到日本，山田必陪侍左右，大千夫人徐雯波在场，也不例外，而且与之同住一栋宅院。

弟子

张大千弟子多人，蒋中正夫人蒋宋美龄也曾与张大千习画，而有成就者有余作赋、方召麐、陈从周、孙家勤、杨恩典、王永年、曹大铁、何海霞、谢伯子、俞致贞、胡力、黄独峰、胡若思、慕凌飞、胡爽庵、刘力上、汪德祖、吴青霞、王康乐、糜耕云、厉国香、龙国屏、 梁树年、 赖昌意、 萧建初、 赵蕴玉、 谢临风、 李深海、 孙云生、胡梦痕、 胡立、 雷良玉、方天宝等人。

争议

张大千在敦煌临摹壁画时，因为喜欢早期的壁画，而把外层的晚期壁画剥去，使壁画遭到破坏。除此之外，为了提高临摹的准确性，直接用纸张或油泡纸贴在壁画临摹，导致壁画受损。而且还在壁画上题跋，破坏了壁画的原貌。后来，敦煌研究院的两任院长常书鸿及段文杰先生都禁止使用这种方法临摹。
角 (星官)

角是中国古代星官之一，属于二十八宿东方七宿的角宿，意为“苍龙的角”，角含有2颗恒星，位于现代星座划分的室女座，其中角宿一最亮，为全天第十六亮星。
清代编成的《仪象考成》和《仪象考成续编》星表，增加了16颗星。
伊恩德里

人口

该地2001年总人口14515人，其中男性7746人，女性6769人；0—6岁人口2240人，其中男1290人，女950人；识字率63.50%，其中男性为68.46%，女性为57.82%。
哈基梅耶斯

哈基梅耶斯是多米尼加共和国的城镇，位于该国西南部，由巴拉奥纳省负责管辖，面积178.63平方公里，2012年人口4,144，人口密度每平方公里23人。
文倉十

略历

高中毕业后，进入美术系的专门学校就读。在毕业后希望以此为职业而到京都，在一年后成为日本成人游戏《ANGEL BULLET》的人物设计及原画师，而决定以这条路为志业。
新奧傑薩

新奥杰萨是乌克兰的村落，位于该国中部基洛夫格勒州，由多布罗韦利奇基夫卡区负责管辖，始建于1901年，面积0.52平方公里，海拔高度102米，2001年人口134，人口密度每平方公里259.2人。
王惠然

生平

王惠然1936年出生于上海，从13岁起自学琵琶、月琴等乐器。1956年4月，王惠然考上北京公安军文工团，任琵琶独奏员，团里聘请哈尔滨艺术学院李廷松教授教他学习琵琶，打下良好的基础。1958年7月，王惠然被调往济南军区前卫歌舞团，担任琵琶独奏员，在那时对柳琴产生兴趣；是年冬与徐州乐器厂合作，发明三弦24品高音柳琴、1970年发明四弦29品柳琴，并因此在1988年获得国家文化部科技进步一等奖。
1996年，王惠然从前卫歌舞团退休，迁居珠海。1997年应珠海市文化局的邀请，王惠然在珠海组建了全中华人民共和国首家专业女子中乐团“珠海女子室内中乐团”，王惠然并任该乐团首任艺术总监兼指挥。 

获奖

王惠然所谱写的国乐合奏曲、吹打乐、琵琶曲及五十几首柳琴曲曾获“二十世纪华人音乐经典”等十余项奖项。首创的“四弦高音柳琴”也获中国乐器改革最高奖中华人民共和国文化部科技进步一等奖。

家庭

王惠然的女儿王红艺也擅长弹奏柳琴，幼时便被誉为“民乐小红花”。
日食沙羅週期122

沙罗周期长度为18年11天，本周期包含70次日食。
穆桂英挂帅

剧情

北宋时期，西夏安王侵犯边境，边关告急。已经辞朝回乡二十多年的佘太君闻讯后，派曾孙杨文广和曾孙女杨金花去首都汴京打探军情，适逢朝庭设擂夺帅。兵部尚书王强欲让自己的儿子王伦夺取帅印，在与杨文广在校场比武时竟暗下毒手，却反被杨文广劈死，杨文广成功夺帅。穆桂英深感皇帝昏庸，不愿再为其效力。佘太君劝她以国事大局为重，穆桂英遂挂帅出征。
陳文緯

陈文纬，号紫垣，中国清朝官员，甘肃皋兰县人，祖籍浙江山阴县，监生出身。于光绪十八年七月十九日（1892年9月9日）任恒春县知县，由代改署，光绪二十年三月（约1894年4月）题补。其任内主持了《恒春县志》的修史工作，后来该书因甲午战争等因素未能刊行，书稿被他携回中国大陆。至于其他政绩还有像于光绪二十年劝车城绅民公建三座田头碉堡，驻有隘勇瞭望巡防以免遭到当地原住民攻击。
玻丹·帕琴斯基

生平

帕琴斯基于1940年2月8日出生于立陶宛维尔纽斯，双亲分别是律师和波兰文学教师。1945年他和家人一起迁往波兰克拉科夫，再于1949年迁往华沙。帕琴斯基于18岁时就在《天文学报》（Acta Astronomica）发表第一篇学术文章。1959年到1962年他在华沙大学学习天文学。1964年他在斯特凡·彼得罗夫斯基和沃兹米尔·索恩的指导下取得博士学位
1962年帕琴斯基成为波兰国家科学院天文中心的成员，他在该机构研究天文接近二十年。1974年他取得特许任教资格，1979年成为教授。因为他在理论天文学上的工作，36岁时他成为波兰国家科学院最年轻的成员。
1981年帕琴斯基访问美国，并在加州理工学院对之前在华沙研究单位的实习者进行一系列讲学。之后波兰进入戒严状态，他因此决定留在美国。并成为普林斯顿大学小莱曼·史匹哲天文物理学教授（The Lyman Spitzer Jr. Professor of Astrophysics）。
帕钦斯基是光学重力透镜实验（Optical Gravitational Lensing Experiment, OGLE，由华沙大学天文台的安杰依·乌戴斯基主持）和自动化全天巡天（All Sky Automated Survey, ASAS，与格热戈日·波吉勉斯基共同建立）的发起人。
他利用重力透镜发展出了发现新天体和测量其质量的新方式，并获得国际的认可；而他也被公认是术语重力微透镜的提出者。同时他还很早就提出伽玛射线暴的距离是在整个宇宙的尺度上。
他的研究主要是在恒星演化、重力透镜、重力微透镜、变星、伽玛射线暴和星系结构。
1999年他成为第一位获得英国皇家天文学会三个主要奖项的人：1987年他获得爱丁顿奖章、1995年获得乔治·达尔文讲座（George Darwin Lectureship）、1999年再获得英国皇家天文学会金质奖章。
2005年6月29日弗罗茨瓦夫大学授予他荣誉博士学位；2006年9月22日尼古拉·哥白尼托伦大学也授予他荣誉博士学位。
2006年1月他因为对于恒星演化以及对伽玛射线暴、联星系统中的吸积盘、重力透镜和宇宙论的贡献获得美国天文学会亨利·诺利斯·罗素讲座荣誉。
2007年4月19日他因为脑癌在普林斯顿去世。
霍里平泰山

霍里平泰山是秘鲁的山峰，位于该国南部普诺大区的卡拉瓦亚省，处于柳斯卡里蒂山东南面和克略昆卡山东北面，属于安第斯山脉的一部分，海拔高度约5,200米。
伊爾馬約基

伊尔马约基是芬兰的城镇，位于该国西部屈勒河畔，由西芬兰省负责管辖，始建于1865年，面积576.69平方公里，2013年人口12,017，人口密度为每平方公里20.83人。
虎子山 (埔里)

虎子山，位于台湾南投县埔里镇东北方郊区，是横屏山(海拔1508米) 向西北延伸进入埔里盆地的尾端山峰，因其山形看似虎头，又称虎头山，是台湾地理中心所在。
虎子山山顶海拔555.34米，立有一颗三角点，是台湾地积测量的参考原点。

三角点等设施

在1906年，政府在山顶设立一颗一等三角点，作为中央山脉三角点群的原点，从事全岛的地积测量。战后初期，山上设施遭到破坏。直到民国四十一年(1952年)，才由南投县政府重新于此山西侧底部设立台湾地理中心碑，提供民众参观。民国六十五年(1976年)2月至民国六十六年(1977年)8月，内政部委托联勤测量队精准测量，并由林务局设计，在此设立一颗“台湾省虎子山三角原点”，作为台湾省最重要的三角点。该三角点立于山顶林务局所属房屋正前方，所属石碑顶部以铜制中心点作为标志，四面则用黑色大理石构成，并刻有文字说明。
后来，石碑因921地震而损毁位移，随后在原来位址建立卫星追踪站，纳入台湾大地基准(TWD97)之追踪站系统，提供卫星控制点系统基准资料。
三角原点位于东经120度58分25秒，北纬23度58分32秒，现今作为台湾几何中心点，也是台湾省大地测量的参考原点。
亞尼夫卡河

亚尼夫卡河是乌克兰的河流，位于该国东北部苏梅州，属于斯维萨河的左支流，发源自佩尔沃迈西克以南，流经格卢霍夫区和亚姆皮利区，河道全长14公里。
争取工人自由联盟

争取工人自由联盟（英语：Alliance for Workers' Liberty，缩写为AWL）是英国的一个托洛茨基主义组织。
该组织起源于1966年成立的工人战斗。1968年，工人战斗加入国际社会主义者，成为它的一个派别，并更名为托洛茨基主义倾向。1971年12月，托洛茨基主义倾向被驱逐出国际社会主义者。1975年底，托洛茨基主义倾向与较小的托派团体工人力量（原为国际社会主义者的一个派别）合并为国际－共产主义联盟。1976年，原“工人力量”的三分之二成员因为反对推行“打入主义”战略、加入工党而退出国际－共产主义联盟。1978年，国际－共产主义联盟成员大量渗透入工党开展活动。1981年，国际－共产主义联盟与也已经进入工党内部活动的工人社会主义联盟合并，新形成的组织也取名为工人社会主义联盟。工人社会主义联盟主要通过社会主义组织者联盟开展活动。1990年，社会主义组织者联盟的刊物《社会主义组织者》被工党领导层禁止出版。社会主义组织者联盟自行解散，作为对这一事件的回应。1992年，原《社会主义组织者》编辑部成员创建了一个新组织，取名为争取工人自由联盟。
该组织的政治立场是极左翼。该组织的领导机构是执行委员会。该组织的总部位于伦敦。该组织出版报纸《团结》。
争取工人自由联盟与工人自由澳大利亚保持联系，在波兰的革命左翼潮流和美国的团结社内部拥有支持者。该组织还与构成法国新反资本主义党左翼的团体一起开展工作，与伊拉克和伊朗的工人－共产主义党派保持合作。该组织与法国的火花（原为工人斗争的一个派别）、伊朗革命马克思主义倾向、土耳其的马克思主义态度也有联系。以上组织都曾在“马克思主义复兴”网站上发表文章。
2008年中北美洲及加勒比海冠軍盃

北美洲区

帕丘卡–2007 Clausura 冠军
 阿兰特–2007 Apertura 冠军
 侯斯顿戴拿模–2007 MLS Cup 冠军
 华盛顿联队–2007 MLS Supporters' Shield 冠军

中美洲区

莫塔瓜–2007 Interclubes UNCAF 冠军
 萨普里沙–2007 Interclubes UNCAF 亚军
 市政体育会–2007 Interclubes UNCAF 季军

加勒比海区

海景FC–2007年加勒比海球会锦标赛 冠军

晋级图

(Complete Bracket)
直觉主义逻辑

直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。

语法

直觉逻辑的公式的语法类似于命题逻辑或一阶逻辑。但是直觉逻辑的连结词不像经典逻辑那样是可互定义的，因此它们的选择是重要的。在直觉命题逻辑中通常使用→, ∧, ∨, ⊥ 作为基本连结词，把 ¬ 作为 ¬A = (A → ⊥) 的简写处理。在直觉一阶逻辑中量词∃, ∀ 都是需要的。
不同在于很多经典逻辑的重言式在直觉逻辑中不再是可证明的。例子不只包括排中律 P ∨ ¬P，还有皮尔士定律 ((P → Q) → P) → P，甚至还有双重否定除去。在经典逻辑中，P → ¬¬P 和 ¬¬P → P 二者都是定理。在直觉逻辑中，只有前者是定理: 双重否定可以介入但不能除去。
对很多经典有效重言式不是直觉逻辑的定理的观察导致了弱化经典逻辑的证明论的想法。

相继式演算

根岑发现简单限制他的系统LK（他的经典逻辑的相继式演算）就导致了关于直觉逻辑的一个可靠和完备的系统。他称之为系统LJ。

语义

语义要比经典逻辑更加复杂。其模型论可给出自海廷代数或等价的给出自克里普克语义。

克里普克语义

建立在他关于模态逻辑的语义的工作之上，索尔·阿伦·克里普克为直觉逻辑建立了另一套语义，叫做克里普克语义或关系语义。

数学的建构主义

在古典逻辑的语义中，无论我们是否拥有对任何命题其中叙述情况的直接证据，命题公式都是从仅有两元素的集合（即为“true” 和“false”）而评估其真值。这被称之为“排除中间的法则”：因为它摒除了“为真” 或“为假” 之外的其它任何值存在的可能性。相较之下，直觉主义逻辑中的命题公式并不赋予明确的真值，只有在我们有直接证据时才被认为是“真实的”，因此才具有证明。（我们也可说命题是由直接证据才据以成立，而并非命题公式本身的叙述就是“真”，它是由柯里-霍华德同构意义上的证据所支持的。）直觉主义逻辑中的操作因此保留了证据和可证明性方面的证据，而不单只执行真值的运算评估。
直觉逻辑是开发数学建构主义方法的常用工具。建构主义逻辑的使用在数学家和哲学家中，一直是个争议话题（例如，参见 Brouwer-Hilbert 争议）。共同反对使用它们的意见是上面引用的缺乏古典逻辑的两个中心规则，即排中律和双重否定的消除规则。这被认为对大卫·希尔伯特所写的数学实践非常重要：“从数学家那里取走排中律不给他们使用，就像禁止望远镜给天文学家，或不允许拳击手使用他的拳头。禁止消除双否的存在陈述和排中律，等于完全放弃数学。”
尽管直觉主义逻辑无法利用，排中律和双重否定的消除这两个对古典逻辑贡献极大的规则，而面临随之而来的严峻挑战，但直觉主义逻辑具有实际用途。其中一个原因是它所受的限制，反而因此产生了必须具备存在性的证据，使其也适用于其他形式的数学建构主义。非正式地，这意味着如果存在对象存在的建设性证据，则该构造性证据可用作生成该对象的示例算法，该原理即称为证明和算法之间的柯里-霍华德同构。直觉逻辑这种特性如此有价值的原因，是它使研究者能够使用广泛的计算机化工具，称为证明辅具。这些工具可以帮助用户验证（和生成）大规模的证据，这些证据的大小通常会排除发布和审查数学证据的常规人工检查。因此，使用证明辅具（例如 Agda 或 Coq）使现代数学家和逻辑学家能够开发和证明极其复杂的系统，远超出那些仅由手工创立和检查的系统。在这些工具出现之前，无法验证的著名范例是四色定理的证明。这个定理困扰了数学家一百多年，直到一个证据被开发出来，排除了大量可能的反例，但仍然留下可能性，需要一个计算机程序才能完成证明。这个证据在一段时间内引起争议，但最终使用Coq 进行了验证。
廖雋嘉

简历

廖隽嘉毕业于广州星海音乐学院的钢琴系。2004年被大国文化唱片公司发掘，与梁靖琪(Toby)、陈美诗(Macy)及张曼伶(Bella)组成四人组合“女生宿舍”，期间推出第一首由自己作词的单曲我不怕输。除此，她亦被多个广告商垂青，包括香港驾驶学院及Pizza Hut，也成为通利琴行数码钢琴的唯一代言人。演戏方面，一开始便有幸与影帝黄秋生和影后罗兰演对手戏，还得到尔冬升导演赏识，参演千杯不醉。在中国大陆，也曾主持了75集韩国电视剧《医道》的电视解说“医唱医和”。此外，在香港也曾担任喜多郎和K D Lang Live in Hong Kong的开场演奏嘉宾。
中村美律子

人物・逸话

1986年出道。在当地·大阪尤其受到巨大的欢迎。多年主持的电视节目“演歌一夜”和每日广播“干杯!Talk song”也令人印象深刻。幼年时河内音头（领唱）中锻炼了扎实的歌唱力，丰富的情感世界充满魅力。特别是加入台词的演歌和歌谣浪曲的表达能力尤为出色。 歌谣浪曲“留在记忆中的母亲”（睑の母）超过19分钟，旁白、忠太郎、母亲、女儿和歌者，一人饰演五种角色，都能处理自如，令观众感动到落泪。
年底的除夕日，成为惯例的‘NHK红白歌合战’，1992年的第43次以自己的代表曲“河内男人节”（河内おとこ节）首次出场。之后作为红白合战的常客，到2010年的第61回共计15次演出。
尼泊尔莫哈尔

硬币

在吉尔万尤达国王在位期间（1799年-1816年），铜币有1达姆、2达姆和2派萨，银币有1达姆、¹⁄₃₂莫哈尔、¹⁄₁₆莫哈尔、⅛莫哈尔、¼莫哈尔、½莫哈尔、¾莫哈尔、1莫哈尔、1½莫哈尔和3莫哈尔，金币有1达姆、¹⁄₃₂莫哈尔、¹⁄₁₆莫哈尔、⅛莫哈尔、¼莫哈尔、½莫哈尔、1莫哈尔、1½莫哈尔和2莫哈尔。其后的拉金德拉国王在位期间（1816年-1847年），没有发行铜币，也没有发行¾莫哈尔、1½莫哈尔、3莫哈尔银币和1½莫哈尔金币，而增加发行了2莫哈尔银币。苏伦德拉国王在位期间（1847年-1881年），自1866年开始发行了1达姆、1派萨和2派萨铜币，1880年开始发行了½派萨铜币；银币的种类与上一位国王相同，金币则少了2莫哈尔金币。普里特维时期（1881年–1911年）的货币与苏伦德拉的相近，但增加了4莫哈尔银币和¹⁄₆₄莫哈尔金币。特里布万国王在位期间（1911年-1950年；1951年-1955年）的硬币包括1派萨、2派萨和5派萨铜币；银币发行了1达姆、¼莫哈尔、½莫哈尔、1莫哈尔、2莫哈尔和4莫哈尔；金币发行了1达姆、¹⁄₃₂莫哈尔、¹⁄₁₆莫哈尔、⅛莫哈尔和1莫哈尔。金币在1950年卢比发行后仍有继续发行。
林錫堯

经历

1966年毕业于台南一中。1970年国立台湾大学法律系毕业，1977年取得台湾大学法学硕士学位，1984年取得台湾大学法学博士学位。1974年至1985年担任台湾新竹地方法院检察署、基隆地方法院检察署、台北地方法院检察署检察官。1985年升任台湾高等法院检察署检察官。1992年起任法务部参事、首席参事。1994年升任法务部主任秘书。1996年起任台湾士林地方法院检察署检察长。1999年至2004年任法务部常务次长。2004年至2007年任最高法院检察署主任检察官。2007年9月获提名并经立法院同意转任司法院大法官，10月1日上任，至2015年卸任。
林锡尧有完整的检察官资历，并于法务部工作期间富有行政法制经验，是由实务界出身的大法官。除有行政法专著，在东吴大学法律系讲授行政法课程达二十余年，现为东吴大学兼任副教授。
呂澤日河

吕泽日河是法国的河流，位于该国中南部，属于德罗讷河的右支流，河道全长64.1公里，流域面积402平方公里，平均流量每秒9.9立方米，发源自梅马克，河口处在苏尔萨克和吕泽格河畔拉瓦之间。
王顗

王顗，王僧辩长子。承圣初历官至侍中。
当初，王僧辩攻占建业、平定侯景之乱后，派遣陈霸先驻守京口，却对其都没有防备。王顗屡次向王僧辩进言不被接受，后来王僧辩兵败被杀。西魏袭击江陵，梁元帝派遣王顗督军城内军事。荆州城沦陷，跟随王琳逃到北齐，做了竟陵郡守。北齐派遣王琳镇守寿春，将图谋江左（南陈）。后来淮南被南陈平定，王琳被杀。听到王琳死讯，王顗来到城南乱葬岗大哭，悲愤而亡。
杨杖子站

通行车次

4255、4256次。
縠州

縠州，中国唐朝时设置的州。
武德四年（621年）置，治所在太末县（今浙江省龙游县城北衢江北岸谷波亭一带）。辖今浙江龙省游县一带。武德八年（625年）废。
Aptepro

简介

此公司由身任音响监督的龟山俊树设立，为同样由龟山担任代表人的grooove的子公司，并有附属养成所。
沙爾夫-蓋爾斯滕貝格美術館

沙尔夫-盖尔斯滕贝格美术馆（德语：Sammlung Scharf-Gerstenberg）是位于德国首都柏林的一座美术馆。沙尔夫-盖尔斯滕贝格美术馆成立于2008年，是国家美术馆的一部分。
克拉斯諾夫岩

克拉斯诺夫岩是南极洲的岩石，位于毛德皇后地的阿斯特里德公主海岸，处于达尔曼山东南面4公里，属于奥尔万山脉的一部分，现时由南极条约体系管理。
克洛克山脉

克洛克山脉（Banjaran Crocker），又译作克拉克山脉、克罗克山脉，是马来西亚婆罗洲岛上的一座山脉。该山脉分割沙巴的东西海岸，平均海拔1800米，是沙巴最大的山脉。其中的基纳巴卢山是东南亚最高峰，山区目前划为克罗克山脉国家公园。
坂井丞

简历

2010年，在广州市举办的亚洲运动会上，获得10米跳台—第5名。
2014年9月，坂井丞代表日本参加在韩国仁川举行的亚洲运动会跳水比赛，最终赢得男子3米跳板铜牌。
2018年，在雅加达市举办的亚洲运动会上，获得3米跳板—第5名、双人3米跳板—铜牌。
江苏省苏州实验中学

江苏省苏州实验中学，1994年建校，是南大苏州附中，又名南京大学苏州附属中学，简称新区实验。由苏州高新区和南京大学实行联合办学，坐落于苏州高新区（虎丘区）中心地带。

历任校长

现任校长仲尧明。
莊佳佳

世大运赛事

2017年8月23日庄佳佳在8强赛遭遇意大利对手，以8比6获胜晋级四强奖牌战
晋级准决赛后遭遇伊朗对手，首回合3比2领先，第2回合庄佳佳保持4比2领先；最后回合庄佳佳再度演出成功的上端攻击，以10比4获胜晋级决赛。
准决赛第1回合，庄佳佳采取主动攻势率先拿下1分，首回合结束取得1比0领先；第2回合以3比8落后；最后回合，庄佳佳攻击力道减弱，对手在领先下采取守势，无奈反攻无力，终场以7比14落败，获得1面银牌。
荀緯

荀纬（182年－223年），字公高，河内人。年少时喜好文学，曹魏越骑校尉。

生平

建安十一年（公元206年），梁习任并州刺史，推举州内名士，荀纬、常林、杨俊、王象、王凌等人都被举荐，曹操将他们都任命为县长。
建安年间，荀纬受曹丕所礼待，召署军谋掾、魏太子庶子，迁任至散骑常侍、越骑校尉。
黄初三年（公元222年），曹丕的车驾抵达宛城，曹丕以城中不繁盛为由，大怒之下将杨俊收监入狱。尚书仆射司马懿、散骑常侍王象和荀纬都为杨俊说情，叩头至流血，但曹丕依然不愿饶恕，杨俊知道后说：“臣知罪。”于是自杀。
黄初四年（公元223年），荀纬去世，年四十二岁。

评价

自颍川邯郸淳、繁钦、陈留路粹、沛国丁仪、丁廙、弘农杨脩、河内荀纬等，亦有文采，而不在此七人之例。
——陈寿，《三国志·王粲传》
張文藻

生平

顺天府乡试第二十八名举人。嘉靖八年（1529年）中式己丑科会试第一百八十六名，登第二甲第五十二名进士。

家族

曾祖张荣；祖父张让；父张翰，曾任县丞。母郑氏。
戰鬥吧☆英雄

概要

本单曲《ファイティング☆ヒーロー》（Fighting☆Hero），是小野惠令奈于2011年复出后所推出的第5张个人单曲，而其中的同名歌曲更被采用为小野惠令奈首次主演的TBS.MBS连续剧“タンクトップファイター”(TANK-TOP FIGHTER)之主题曲。本单曲以通常盘、初回限定盘A、初回限定盘B、初回限定盘C等4个形态于日本2013年5月29日发售，而其中A盘更采用了漫画家ゆうはじめ之作品作为封面。
西雷 (上比利牛斯省)

西雷（法语：Sireix）是法国上比利牛斯省的一个市镇，属于阿尔热莱加佐斯区（Argelès-Gazost）奥坎县（Aucun）。该市镇总面积1.73平方公里，2009年时的人口为68人。

人口

西雷人口变化图示
克里斯塔普斯·揚尼切諾克斯

克里斯塔普斯·扬尼切诺克斯（拉脱维亚语：Kristaps Janičenoks，1983年3月14日－），拉脱维亚篮球运动员，现在效力于拉脱维亚球队BK Ventspils。他也代表拉脱维亚国家男子篮球队参赛。
港澳客輪碼頭

历史

从前，上环港澳客轮码头是露天的小码头，卖船票的也是露天的。在信德中心启用后便移至室内，称为港澳客运码头，于1985年9月27日由时任香港总督尤德揭幕启用。
其附近在历史上有著名的上环大笪地，是“平民夜总会”，有卖武南拳北腿、唱戏卖艺、看掌相面相，卖凉茶、果汁、西瓜汁、成衣、皮带，以及其他日用品的晚间流动小贩。

意外事故

2010年7月3日中午约12时，一架空中快线EA206A号直升机由香港上环港澳客轮码头起飞前往澳门外港客运码头，在起飞数分钟，机师听到机尾巨响，在距离上环空中快线直升机场500米之维多利亚港海面紧急着陆，机上11名乘客及2名机员全部轻伤，送往玛丽医院检验后全部出院。
2019年3月25日下午4时许，一艘载有140名乘客和10名船员的喷射飞航高速客船“宇航2014号”从澳门外港客运码头驶至上环港澳客轮码头时，船员为船只左边推进器清理吸入的垃圾，此时船只右边推进器发生故障，船只在水流影响下靠向海滨长廊4号及5号码头之间岸边，再撞向岸上栏杆，一列栏杆被撞凹，玻璃围栏碎裂，无人受伤，但船身部分油漆剥落。
陳維春

生平

江西辛卯科乡试举人。万历二十年（1592年），登壬辰科第三甲第一百四十四名进士，仕至刑科给事中。

家族

曾祖陈充初；祖父陈光典；父陈栋。
元谷站

车站结构

2面2线对向式月台。月台设有月台幕门。
恩厄尔霍尔姆-赫尔辛堡机场

历史

恩厄尔霍尔姆-赫尔辛堡机场启用于1945年，当时瑞典空军F10中队从布尔托夫塔机场迁来此地。民用航空始于1960年9月1日，最先开通的是往斯德哥尔摩-布罗马机场的航班。次年开通“恩厄尔霍尔姆-哥德堡-卡尔斯塔德-布罗马-维斯比-卡尔马-龙讷比-恩厄尔霍尔姆”环线。1966年开通首条国际航线，至丹麦哥本哈根，但很快由于旅客数量太少而停办。1975年至1979年间，有至伦敦、爱丁堡、里米尼和伦讷等地的包机。1995年起，北欧航空开通至斯德哥尔摩-阿兰达机场的航班。
2002年，瑞典民航管理局从国防部接管恩厄尔霍尔姆-赫尔辛堡机场。该机场从此完全转型为民用机场。
赤柱半島

赤柱半岛是香港的一个主要半岛，位于香港岛东南部。赤柱半岛得名由半岛北部的赤柱。半岛处于赤柱湾与大潭湾之间，于黄麻角一带与香港岛连接。
赤柱半岛南部的黄麻角是香港岛以南之极点，尤以黄麻角灯塔，望南海为一绝顶风景点。当然，若论香港离岛，其东南偏南还有一个蒲台岛。赤柱半岛的西面邻近，还有一个大离岛南丫岛，仍然是香港地域。
剑斗镇

行政区划

剑斗镇下辖以下地区：
红星村，月星村，福斗村，前炉村，双洋村，东阳村，剑斗村，后井村，圳下村，仙荣村，御屏村，潮碧村，云溪村，举口村，尚山坑场和小礤场。
佐治·拉辛比

早期生活

拉兹比生于澳大利亚新南威尔士州一个工人家庭，13岁时搬家到昆比恩，父亲改行经营商店，曾经做过汽车销售员，后来从军，1963年又搬到伦敦定居。在芬奇利推销汽车时，就被星探发掘，并且成为一名模特儿，收入瞬间暴增，后来为巧克力品牌“Big Fry”代言，也成为广告明星。

庞德时期

1968年，由于肖恩·康纳利在完成《雷霆谷》（You Only Live Twice）之后辞演了詹姆斯庞德，制片人艾伯特·柏考利进行全世界最大规模的选角试镜，同时也注意到拉兹比的广告，认为他或许是下一任庞德的最佳人选。后来拉兹比经由朋友的介绍也参加了试镜，以他从军时期练成的好身手，在试镜时打倒一个俄罗斯的摔角高手尤利·波里昂科，终于被制片人看中，获得出演庞德的机会，当年他才30岁。
1968年10月正式开拍新庞德电影《女王密使》（On Her Majesty's Secret Service）导演是曾担任多部庞德片剪辑师的彼得·杭特，由于没有演出过大片的经验，加上他是个澳洲人，没有办法表现得像英国人优雅的样子，种种因素让制片人和导演相当担心，因此编剧加强他在武打戏的部分，以及庞德电影史无前例的悲剧节尾，以弥补他演技上的不足。
然而在拍摄过程中，拉兹比的态度显得过于高傲，常常和剧组人员冷战，同时也和同剧演员戴安娜·里格传出闹不和的流言，但是后拉兹比和导演都否认此事，但是媒体的报导非常不客气，让拉兹比的名声不断下滑。1969年11月拉兹比声明辞演庞德，12月电影正式上映，拉兹比到了后来留了长发和胡子，制片人认为他这样有损庞德的形象，因此没有分配他去参加官方的新片宣传，而拉兹比自己只好在美国自掏腰包做了新片宣传。拉兹比在强烈的舆论压力下，黯淡的退出庞德团队。

香港发展

1971年，拉兹比曾经向柏考利请求出演《金钢钻》（Diamonds are forever）却遭到了拒绝。之后自己投资制作电影《再造战士》并担任共同编剧，塞·安费尔导演，可惜电影不怎么成功，后来也表示制作这部电影对他来说毫无意义。1973年后来他受嘉禾电影公司的邀请到香港和武打巨星李小龙合作，出演电影《死亡游戏》，但是因为李小龙的猝死，使得剧本被迫改写，删去了拉兹比的戏分，但他依然在香港签了三部片的合约。

晚年生活

1978年，乔治拉兹比回到故乡澳大利亚，以出演电视剧为主，也曾经当过机车赛车手，结过两次婚，育有5子。
罗杰·摩尔在《金枪客》的DVD评论录音有提到和拉兹比在网络上有过联络。

金球奖提名

1970年因《女王密使》演出庞德一角提名最佳男新人奖。
巴图尔珲台吉

巴图尔珲台吉（蒙古语：ᠪᠠᠭᠠᠲᠤᠷ ᠬᠣᠨ ᠲᠠᠶᠢᠵᠢ，西里尔字母：Баатар хунтайж，？－1653年），或巴图尔浑台吉，名为和多和沁，绰罗斯氏，17世纪准噶尔部首领。哈剌忽剌的长子。1635年，被授予额尔德尼巴图尔珲台吉的称号。继承其父统治准噶尔，与和硕特部的鄂齐尔图汗共为丘尔干盟主。在位期间，促进准噶尔的农牧业和手工业发展。1640年，与喀尔喀札萨克图汗共同召开卫拉特、喀尔喀各部领主会议，组成了更广泛的联盟，制订了《蒙古卫拉特法典》。他又多次击败沙皇俄国和哈萨克汗国。1653年，巴图尔珲台吉去世，以第五子僧格为继承人。
彭政欣

彭政欣（1980年5月22日－），台湾高雄市人，兄弟象替补球员，加入职棒以来出赛机会不多，哥哥为兄弟象队一垒手彭政闵。
古薩里夫卡 (巴文科伏區)

古萨里夫卡是乌克兰的村落，位于该国东部哈尔科夫州，由巴文科伏区负责管辖，处于苏希托列齐河畔，始建于1923年，面积1平方公里，海拔高度85米，2001年人口575。
莫洛達河

莫洛达河是乌克兰的河流，位于该国西部，属于利姆尼齐亚河的左支流，流经伊万诺-弗兰科夫斯克州，河道全长14公里，流域面积846平方公里。
尾聲

尾声（Coda）为一音乐术语，用于标明将乐曲完结的乐句。尾声由数小节至一乐段不等。

历史

此字的拉丁字源（Cauda）指尾巴，边缘或踪迹，于12至13世纪康都曲的研究中使用，指文本最后的音节中一个长拖腔，在各诗节中重复出现。而有此作品有这种拖腔，另外的则没有，并可以此将康都曲分成两类。由此可见Cauda 概念上具有结尾的性质。

标记

尾声符号为十字线，其指示为“到尾声部分去”（Da Capo al Coda）。当最后一次到达该符号时，就自动跳到乐谱最后标记着“Coda”的部分。而此符号较为新颖，不会在莫札特、海顿等人的作品中见到。

用途

在古典时期中以奏鸣曲式和变奏曲式写成的乐曲多有尾声，这是那些乐曲中的构成元素。如奏鸣曲式中的再现部完结后，该乐章未必会完全结束，这时再现部后的部分就是尾声。变奏曲中最后一次反复主题后尾声将乐曲带到结尾。后来尾声具有更多的意义，如贝多芬钢琴奏鸣曲“华尔斯坦”的尾声有第二展开部的性质。

小尾声

小尾声（Codettas）是将一乐段（呈示部、再现部等）完结的乐句，乐曲其后进入下一部分（或呈示部的重复），它常以完全终止结束以巩固调性。发展部的小尾声常为副调，而再现部的常为主调。

非古典乐曲

其他类型的音乐，结构上具有尾声。在摇滚和流行音乐等中这被称为“Outro”，在爵士乐和理发师合唱等中被称为“Tag”。
石田衣良

简历

石田衣良毕业于日本的成蹊大学经济学系，在广告公司工作过，亦做过仓库管理、地下铁工人，对人有轻微恐惧。1997年以《池袋西口公园》（池袋ウエストゲートパーク）获得第36届“ALL读物”的推理小说新人奖。2003年以《4Teen》（4TEEN フォーティーン）获得第129届直木赏。除了写作之外，目前也是自由文案工作者。笔名由姓氏“石平（罗马拼音ISHIDAIRA，石田衣良乃为谐音）”分割而来。题材广泛，不过也有“特重于女性的书写”此般公论。作为恋爱小说家的发言也不少。
特里芬困境

特里芬困境，或特里芬悖论、特里芬难题。是一种理论：当一个国家的货币同时作为国际储备货币时，有可能造成国内短期经济目标和国际长期经济目标的利益冲突。这困境最早是由比利时裔美国经济学家罗伯特·特里芬在20世纪60年代提出。他指出，当外国想持有该国货币（全球储备货币）时，该国必须愿意提供额外货币供应，以满足世界对于这个“储备”货币的需求（外汇储备），从而导致贸易赤字。
使用国家的货币（如美元）作为全球储备货币，导致国家的货币政策和全球货币政策之间的紧张关系。这反映在根本的国际收支失衡，特别是经常收支：有些目标需要美元总体流出美国，而有些则需要美元总体流入美国。同等程度的货币流入和流出不能同时发生。
特里芬困境通常用来表述美元在布雷顿森林体系下作为储备货币的问题，或更普遍的使用任何国家的货币作为国际储备货币的问题。
Guerbet反应

Guerbet反应（Guerbet reaction），以化学家Marcel Guerbet (1861－1938)的名字命名。
催化剂存在和加热条件下，两分子脂肪族伯醇进行反应，失去一分子水，转变为其β-烷化的二聚醇。
1899年，Guerbet用正丁醇作原料，经过转化，得到了2-乙基-1-己醇，发现了此反应。这个反应的产物也因此称为Guerbet醇。
用长链脂肪醇进行Guerbet反应，生成的产物可以用作表面活性剂。
反应一般在高温（220°C）加压下进行，需要有碱金属氢氧化物或醇盐以及氢化反应催化剂（如雷尼镍）存在。

反应机理

反应分四步进行。醇首先被氧化为相应的醛，然后两分子醛发生羟醛加成、失水，生成不饱和醛，最后不饱和醛被氢化，产生二聚醇。
副反应有Cannizzaro反应（两分子醛歧化为醇和羧酸）和Tishchenko反应。

拓展

如下铱脱氢催化剂（Cp* = 五甲基环戊二烯配体）和叔丁醇钾存在下，以对异丙基甲苯为溶剂，少量的1,7-辛二烯为质子受体，正戊醇在相对较低的温度下即可发生Guerbet反应。
尤爾伊夫卡 (博布里涅茨區)

尤尔伊夫卡是乌克兰的村落，位于该国中部基洛夫格勒州，由博布里涅茨区负责管辖，面积0.31平方公里，海拔高度76米，2001年人口8，人口密度每平方公里26.1人。
阿拉尔瓦伊莫齐

人口

该地2001年总人口19307人，其中男性9657人，女性9650人；0—6岁人口1981人，其中男1025人，女956人；识字率74.85%，其中男性为79.02%，女性为70.67%。
何艷美

简历

何艳美小时候原本以游泳为主，时常去班登湖俱乐部进行游泳运动，他的爸爸则打羽毛球。不久之后，何艳美经过许多人劝告之后决定改打羽毛球，并在中三时进入武吉加里尔体育学校 。
2018年7月，何艳美出战俄罗斯羽毛球公开赛，赢得女子单打比赛冠军。
梅德韋傑韋 (克羅列韋茨區)

梅德韦杰韦是乌克兰的村落，位于该国东北部苏梅州，由克罗列韦茨区负责管辖，分别距离赫列夏季克1.5公里和古巴里夫希纳3公里，海拔高度138米，2001年人口21。
穆亮

穆亮（450年?－502年），又名丘目陵亮，字幼辅，中国南北朝时北魏官员、驸马，曾受封郡王。

生平

他是北魏宜都贞公穆崇后人。穆崇生宜都文成王穆观，穆观生宜都文宣王穆寿，穆寿生父穆亮之父穆平国。穆家世代多与皇族通婚，穆亮父祖及其二兄皆娶公主，拜驸马都尉。穆寿妻为乐陵公主，穆平国妻为城阳长公主，长兄穆伏干妻为济北公主，次兄穆罴妻为新平长公主，穆亮妻中山长公主。家势显赫。
初时字老生，早有风度。献文帝在位时，穆亮以侍御中散起家。尚中山长公主，拜驸马都尉，加侍中、征南大将军。延兴元年（471年）冬十二月乙酉，为赵郡王。辛丑，徙封长乐王。孝文帝在位初期，除使持节、秦州刺史。再征为殿中尚书。又迁使持节、征西大将军、西戎校尉、敦煌镇都大将。穆亮为政宽简，赈恤穷人。后来被征还朝，百姓皆对他追思。
除都督秦梁益三州诸军事、征南大将军、领护西戎校尉、仇池镇将。当时宕昌王梁弥机死，其子梁弥博继位。受吐谷浑之势力所逼，逃奔仇池。穆亮认为梁弥机事奉北魏一向周到，对于宕昌的灭亡感到怜悯；因为弥博的凶暴，使部众对他深恶痛绝；而梁弥机之兄子梁弥承反而人心依附，因此上奏请求护送弥承回国。孝文帝准许。穆亮击退吐谷浑军，扶立梁弥承。而梁弥博则不知所终。氐族土豪杨卜自延兴以来，从军二十一战，前来为镇将，但名声不高。穆亮上表请封他为广业太守，豪右咸悦，境内非常平安。
其后又征为侍中、尚书右仆射。当时再之设置司州。孝文帝认为此司州始解立，未有僚吏，须立中正，以制定选举之事宜。然而中正之任命，必须选一位德望兼资的人士。太武帝时，任用崔浩为冀州中正，长孙嵩为司州中正，正是最合适的人选。公卿等应该自我或互相推举，必定允许。所以尚书陆睿举穆亮为司州大中正。
当时南齐萧赜遣大将陈显达攻陷醴阳，孝文帝加穆亮使持节，征南大将军，都督怀、洛、南、北豫、徐、兖六州诸军事以讨伐齐军。陈显达遁走，穆亮乃率军归还。后来再调迁司空，参议律令。按例降爵位为长乐公。
当文明太后驾崩已过期月之时，孝文帝悲伤过度。穆亮上表劝说因王者为万民所依赖，应放下悲痛。孝文帝同意。寻领太子太傅。 当时正在兴建太极殿，引见群臣于太华殿，孝文帝意欲迁徙居住于永乐宫，以避免繁嚣。穆亮劝孝文帝节省劳役，不要大兴土木。孝文帝认为国库充裕，国势日隆，所以不接纳穆亮之议，遂移御永乐宫。其后车驾南迁洛阳，迁穆亮为武卫大将军，以本官董摄中军事。孝文帝南伐南齐时，以穆亮录尚书事，留下镇守洛阳。后来孝文帝将自小平泛舟去石济，穆亮劝谏阻止。孝文帝认同其言放弃此游。
后来穆亮之兄长穆罴私通穆泰进行谋反之事，穆亮以府事交付司马慕容契，然后上表自我弹劾。孝文帝不许，还令穆亮处理府事。穆亮频烦地请辞，孝文帝最终接纳。后来除使持节、征北大将军、开府、仪同三司、冀州刺史。徙封顿丘郡开国公，食邑五百户，以其子穆绍袭爵。
宣武帝即位，迁穆亮为定州刺史，再除骠骑大将军、尚书令，又转司空公。景明三年（502年）闰四月薨，当时五十二岁。赐给东园温明秘器、朝服一具、衣一袭，钱四十万、布七百匹、蜡二百斤。宣武帝亲临小敛。追赠太尉公，领司州牧、骠骑大将军，以“匡”为谥（墓志上的谥号则为文献）。
小長門有希的消失音樂作品

电视动画‘小长门有希的消失’Character Song Series ”In Love”

2015年5月至7月发行，总计5张的角色歌曲系列。也是凉宫春日系列的第3季角色系列歌曲。以及描述电视动画《小长门有希的消失》登场主要女性角色以‘恋爱’为主题的角色歌曲系列。另外各张单曲还收录了由登场角色独唱同名电视动画片头曲的角色歌曲版。

电视动画‘小长门有希的消失’Blu-ray&DVD初回限定盘特典CD

2015年6月至2016年1月依序其次发行，以特典CD方式收录在Blu-ray&DVD初回限定盘，内容有原声带、广播摘要版及录音剧场。全8卷。
崎岖列岛

崎岖列岛是浙江省舟山群岛北部的一组列岛，行政上属于嵊泗县洋山镇管辖。上海港洋山港区建于该列岛上的小洋山。

名称

崎岖列岛之名由英国人所起。清末中国闭关锁国政策被迫结束以后，西方列强势力进入中国沿海地区，鸦片战争前后，英国对舟山群岛进行了测量，并对当地的岛屿、水道等重要地理实体进行命名。中国传统上没有特别的对“列岛”的称呼，崎岖列岛之名即为英国人所命名，早年中文曾翻译为“乱形列岛”，意义相同。

岛屿

主岛为大洋山和小洋山。
砰砰樂隊

砰砰乐队（英语：Bang Bang Band）是一个于民国93年（2004年）在台北成立的乐团。正式成型前，于中正纪念堂“大中至正”牌楼下广场弹唱，激励当时的新野百合学运。成立“砰砰乐队”后，积极参予政治运动，创作歌曲多半以针砭时事、关怀社会弱势族群为主轴。目前已发行《命运的子弹》、《槟榔交出来》等两张专辑，其中《槟榔交出来》专辑入围第十八届金曲奖“最佳台语专辑”及“最佳专辑制作人”两奖项。

缘起

鼓手童志伟（乱弹乐团鼓手）、主唱阿强（许志强）、吉他手廖志汶当时就是在这样的机缘下相识，各自携带简单的乐器和音响设备，到学生和群众聚集的广场自弹自唱，鼓舞群众士气。不久，童志伟找来吴勇锋（后来单飞的“砰砰阿峰”）加入阵容，吴勇锋再邀约贝斯手卢欣民加入。至此，砰砰乐队俨然成型。

命运的子弹

砰砰乐队成型不久后，旋即着手第一张专辑的制作。约莫两周后，推出《命运的子弹》专辑，加上以Flash制作的动画MV〈命运的子弹〉（分为国语版与台语版，讽刺三一九枪击事件）与〈运气好〉（讽刺陈水扁家族部分成员之特权行为）在互联网上流传，砰砰乐队很快的就在社会上建立起一定程度的知名度。不久，卢欣民因工作忙碌而离团，童志伟便邀请一起在pub工作演出的贝斯手郭同钦加入砰砰乐队。

参与政治运动

当时引发台湾社会争议的“6108亿军购案”（主张台湾以新台币6108亿元换取美国贩售防御性武器给台湾）炒得沸沸扬扬，砰砰乐队很快的就投入了“反军购”的抗议运动中，并与民主行动联盟结盟，参予了全台许多反军购的抗议活动，透过歌曲来表达对于军购案的反对立场。
后来又发生了杨儒门“白米炸弹客”事件，砰砰乐队虽然对于杨儒门抗议的手段持保留态度，但对于其抗议的动机和立场则十分支持，于是投入了声援杨儒门的活动中。
砰砰阿峰于2013年出席中华统一促进党于台北市王朝大酒店召开的党员代表座谈会时表示，八年前他加入中华统一促进党的前身保卫中华大同盟，协助张安乐创立中华统一促进党，并花了十五分钟为中华统一促进党党歌谱曲，也将党徽刺青在自己的后颈表示忠诚。

入围金曲奖

就像许多团体一样，砰砰乐队也面临了部分团员理念不和的问题。第一任主唱吴勇锋以“砰砰阿峰”（英语：Bang Bang Fun）名义自行发展。吉他手廖志汶便找来好友明龙加入主唱的行列，不过创作主轴仍然是以主唱阿强为主，廖志汶为辅，在鼓手童志伟的录音室开始着手第二张专辑的制作。创作重心由第一张专辑的挖苦总统大选枪击案，转移向社会弱势的关怀，以及某些社会现象的检讨。由于完全是独立制作，加上主唱阿强和吉他手阿汶并不是全职音乐工作者，在耗时制作时程约六个月后，第二张“槟榔交出来”专辑正式发行。也就像许多的独立制作作品一样，制作的动机也就仅止于表达对许多社会不公的不平之声，加上全部制作经费都是团员自掏腰包贴补，所以发行后并未有任何的宣传。没想到在无心插柳的情形下，“槟榔交出来”意外的获得第十八届金曲奖评审团的肯定，入围“最佳台语专辑”奖项，鼓手兼制作人童志伟更获入围“最佳专辑制作人”奖项。
拉謝內加 (亞利桑那州)

地理

拉谢内加的座标为34°22′24″N 111°10′32″W，而该地的平均海拔高度为1840米（即6050英尺）。
勒內二世 (洛林)

勒内二世，René II（1451年5月2日－1508年12月10日），1470年继任沃代蒙伯爵，1473年继任洛林公爵，1483年继承巴尔公爵。他继承外祖父安茹的勒内的权利，自称那不勒斯国王、耶路撒冷国王、卡拉布里亚公爵和普罗旺斯等地的领主兼继承人。他在1473年继承其叔父约翰的哈克特伯国，1495年将此交换成奥玛勒伯国。1504年他继承为吉斯伯爵，他也是第一代吉斯公爵克洛德·洛林（法国权贵）的父亲。勒内二世最有名的事迹是在1477年联合瑞士雇佣兵，于南锡战役击败并杀死了强大的勃艮第公爵大胆查理，使得勃艮第公国裂解，分别并入法国与奥地利。

生平

勒内二世来自中世纪文艺复兴时期的法国沃代蒙家族，出生于法国昂热。父亲是沃代蒙伯爵腓特烈二世，母亲是洛林的约兰德，来自安茹家族，父亲是安茹公爵同样也是洛林公爵和那不勒斯国王勒内一世。勒内二世年幼时是在外公洛林公爵勒内一世的昂热和普罗旺斯的宫廷中度过的，1470年他继承了父亲腓特烈二世的沃代蒙公爵，三年后在他叔叔那里做昂热的侍卫队长和安茹地区的地方官，同年他成为洛林公爵。成为洛林公爵后，法王路易十一和勃艮第公爵大胆的查理是当时法国内最大的两大势力，野心勃勃的查理更在洛林建立要塞并且获得了军事通行权。无奈之下，勒内二世开始与对抗勃艮第的法王路易十一秘密联盟，一起对抗勃艮第公国；但在1475年11月30日大胆的查理开始入侵洛林，勒内二世被迫首都从南锡撤离。
1476年10月5日勒内重新夺回南锡，并且去了瑞士联邦，雇佣了一支当时赫赫有名的瑞士佣兵部队，这支部队在勃艮第战争发挥了巨大作用，并不止一次的击退过来犯的勃艮第军队。勒内二世单方面与勃艮第开战，带领自己的军队和瑞士雇佣兵于1477年1月5日，在南锡与勃艮第公爵大胆的查理发生会战，史称“南锡战役”。结果以勒内二世带领的洛林和瑞士佣兵部队大获全胜，勃艮第公爵大胆的查理战死收场，此役结束两天后，大胆的查理尸体在结冰的水沟里被发现，但尸体一丝不挂，并有被鞭笞的痕迹。估计八成是喜好收集战利品的瑞士佣兵所为。
此战后勒内领地洛林的危机解除。并通过南锡会战的告终也为勃艮第战争拉下帷幕。1476年他的祖母病逝，让勒内二世继承了的哈克特伯爵和埃尔伯夫男爵两个爵位。虽然南锡会战中的胜利让勒内二世感觉到洛林公国的危机解除，但路易十一世和勒内二世的关系因为后者得到了大批遗产而出现了冷淡，法王甚至霸占了勒内的领地，直到两年（1478年）后才归还。之后勒内二世南下意大利，在阿德里亚之战中击败了盟友威尼斯共和国的敌人──费拉拉公爵。
　　1480年勒内二世的母亲还在世的时候，他继承了外祖父的巴尔公爵，1482年他侵占了卢森堡公国内的维尔通县，并把此地并入了巴尔公国的领地。到了1484年，路易十一世的儿子查理八世继位法兰西国王，查理八世当时年幼，在他姐夫波旁公爵皮埃尔二世的摄政下正式宣布勒内二世为合法的巴尔公爵。当勒内二世的母亲洛林的约兰德在1483年去世后，勒内二世继续母亲的对外宣称那不勒斯和耶路撒冷两个王位的继承权。
　　1485年的时候勒内公爵参加了第一阶段的疯狂战争(1485-1488)，但早早的就退出了。终于到了1488年那不勒斯人宣布勒内二世为他们的国王，为此勒内二世还组织了一个远征军去获取王国遗产，但被查理八世所阻，原因是查理八世声称那不勒斯王位应该归他。1495年勒内二世为了解决与第二外甥“让四世”的继承争端，将他们祖母的财产而做了妥协的分配：勒内二世把哈克特和附属地区割给了让四世，自己保留埃尔伯夫和布里翁，并收下了奥玛勒伯国。
　　勒内二世晚年在菲奈斯打猎时生病倒下，1508年12月勒内二世去世，享年58岁。儿子安托万继承了洛林公国。
維斯克里瓦

维斯克里瓦是乌克兰的村落，位于该国东部卢甘斯克州，由波帕斯纳区负责管辖，始建于1906年，面积0.51平方公里，海拔高度139米，2001年人口12，人口密度每平方公里23.5人。