hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
哈蒙茲波特 (紐約州) 人口
根據2020年美國人口普查的數據，哈蒙茲波特的面積為0.96平方千米，當中陸地面積為0.91平方千米，而水域面積為0.05平方千米。當地共有人口583人，而人口密度為每平方千米607人。
历史主题条目索引
本文旨在提供一份尽可能完整的有关历史的条目索引，按条目对应的英文主题词组排序。
历史主题条目索引 C
中国历史 (History of China)
夏朝 (Xia dynasty)
商朝 (Shang dynasty)
周朝 (Zhou dynasty)
秦朝 (Qin dynasty)
汉朝 (Han dynasty)
三国 (Three Kingdoms)
晋朝 (Jin dynasty (265–420))
十六国 (Sixteen Kingdoms)
南北朝 (Southern and Northern dynasties)
隋朝 (Sui dynasty)
唐朝 (Tang dynasty)
五代十国 (Five Dynasties and Ten Kingdoms period)
辽朝 (Liao dynasty)
宋朝 (Song dynasty)
西夏 (Western Xia dynasty)
金朝 (Jin dynasty (1115–1234))
元朝 (Yuan dynasty)
明朝 (Ming dynasty)
清朝 (Qing dynasty)
中华民国历史 (History of the Republic of China)
历史主题条目索引 C
中华人民共和国历史 (History of the People's Republic of China)
历史主题条目索引 C
十字军东征 (Crusades)
第一次十字军东征 (First Crusade)
第二次十字军东征 (Second Crusade)
第三次十字军东征 (Third Crusade)
利沃尼亚十字军 (Livonian Crusade)
1197年十字军 (Crusade of 1197)
第四次十字军东征 (Fourth Crusade)
阿尔比十字军 (Albigensian Crusade)
儿童十字军 (Children's Crusade)
第五次十字军东征 (Fifth Crusade)
普鲁士十字军 (Prussian Crusade)
第六次十字军东征 (Sixth Crusade)
第七次十字军东征 (Seventh Crusade)
1251年牧人十字军 (Shepherds' Crusade (1251))
第八次十字军东征 (Eighth Crusade)
第九次十字军东征 (Ninth Crusade)
阿拉贡十字军 (Aragonese Crusade)
1320年牧人十字军 (Shepherds' Crusade (1320))
亚历山大十字军 (Alexandrian Crusade)
尼科波利斯战役 (Battle of Nicopolis)
北方十字军 (Northern Crusades)
胡斯战争 (Hussite Wars)
瓦尔纳十字军 (Crusade of Varna)
奥斯曼入侵奥特朗托 (Ottoman invasion of Otranto)
奥斯曼–哈布斯堡战争 (Ottoman–Habsburg wars)
勒班陀战役 (1571) (Battle of Lepanto (1571))
维也纳战役 (Battle of Vienna)
历史主题条目索引 E
埃及历史 (History of Egypt)
古埃及历史 (History of ancient Egypt)
阿契美尼德埃及历史 (History of Achaemenid Egypt)
托勒密埃及历史 (History of Ptolemaic Egypt)
埃及 (罗马行省) (History of Roman Egypt)
阿拉伯埃及历史 (History of Arab Egypt)
奥斯曼埃及历史 (History of Ottoman Egypt)
穆罕默德·阿里王朝下的埃及历史 (History of Egypt under the Muhammad Ali dynasty)
埃及现代史 (History of modern Egypt)
历史主题条目索引 F
法国历史 (History of France)
史前法国 (Prehistoric France)
高卢 (Gaul)
罗马高卢 (Roman Gaul)
法兰克帝国 (Frankish Empire)
中世纪法国 (France in the Middle Ages)
近代早期的法国 (Early Modern France)
法国大革命 (French Revolution)
法兰西第一共和国 (French First Republic)
法兰西第一帝国 (First French Empire)
法国波旁复辟 (Bourbon Restoration in France)
七月君主制 (July Monarchy)
法兰西第二共和国 (French Second Republic)
法兰西第二帝国 (French Second Empire)
法兰西第三共和国 (French Third Republic)
维希法国 (Vichy France)
法兰西共和国临时政府 (Provisional Government of the French Republic)
历史主题条目索引 F
法兰西第四共和国 (French Fourth Republic)
法兰西第五共和国 (French Fifth Republic)
历史主题条目索引 G
德国历史 (History of Germany)
日耳曼人 (Germanic tribes)
迁移时期 (Migration period)
法兰克帝国 (Frankish Empire)
墨洛温王朝 (Merovingian dynasty)
卡洛林王朝 (Carolingian dynasty)
神圣罗马帝国 (Holy Roman Empire)
德国早期现代历史 (Early modern history of Germany)
德意志邦联 (German confederation)
北德意志联邦 (North German Federation)
德意志帝国 (German Empire)
魏玛共和国 (Weimar Republic)
纳粹德国 (Nazi Germany)
分裂 (政治) (Partition (politics))
东德 (East Germany)
西德 (West Germany)
统一 (Reunification)
历史主题条目索引 G
大萧条 (Great Depression)
澳大利亚大萧条 (Great Depression in Australia)
加拿大大萧条 (Great Depression in Canada)
法国大萧条 (Great Depression in France)
拉丁美洲大萧条 (Great Depression in Latin America)
荷兰大萧条 (Great Depression in the Netherlands)
南非大萧条 (Great Depression in South Africa)
英国大萧条 (Great Depression in the United Kingdom)
美国大萧条 (Great Depression in the United States)
历史主题条目索引 M
音乐历史 (History of music)
史前音乐 (Prehistoric music)
古代音乐 (Ancient music)
早期古典音乐 (Early music)
中世纪音乐 (Medieval music)
文艺复兴音乐 (Renaissance music)
巴洛克音乐 (Baroque music)
共同实践时期 (Common practice period)
古典音乐 (Classical period (music))
浪漫主义音乐 (Romantic music)
20世纪音乐 (20th century music)
历史主题条目索引 P
波兰历史 (History of Poland)
波兰王国 (1025–1385) (Kingdom of Poland (1025–1385))
波兰王国 (1385–1569) (Kingdom of Poland (1385–1569))
波兰立陶宛联邦 (Polish–Lithuanian Commonwealth)
波兰分治 (Partitions of Poland)
波兰第二共和国 (Second Polish Republic)
波兰人民共和国 (People's Republic of Poland)
历史主题条目索引 R
革命 (Revolution)
1848年革命 (Revolutions of 1848)
美国革命 (American Revolution)
共产主义革命 (Communist revolution)
古巴革命 (Cuban Revolution)
法国大革命 (French Revolution)
工业革命 (Industrial Revolution)
俄国革命 (1917) (Russian Revolution (1917))
歌唱革命 (Singing Revolution)
俄罗斯历史 (History of Russia)
俄罗斯沙皇国 (Tsardom of Russia)
俄罗斯帝国 (Imperial Russia)
1917年俄国革命 (Russian Revolution (1917))
苏联历史 (History of the USSR)
后苏联俄罗斯历史 (History of post-Soviet Russia)
历史主题条目索引 U
美国历史 (History of the United States)
美国外交历史时间线 (Timeline of United States diplomatic history)
美国军事史 (Military history of the United States)
美国技术和工业历史 (Technological and industrial history of the United States)
美国经济史 (Economic history of the United States)
美国文化历史 (Cultural history of the United States)
美国女性历史 (History of women in the United States)
美国原住民历史 (History of Native Americans in the United States)
美国历史时间线 (Timeline of United States history)
前哥伦布时期 (Pre-Columbian era)
历史主题条目索引 U
殖民地时期历史 (Colonial history of the United States)
美国独立战争 (American Revolutionary War)
美国历史 (1776–1789) (History of the United States (1776–1789))
美国历史 (1789–1849) (History of the United States (1789–1849))
美国历史 (1849–1865) (History of the United States (1849–1865))
美国历史 (1865–1918) (History of the United States (1865–1918))
美国历史 (1918–1945) (History of the United States (1918–1945))
美国历史 (1945–1964) (History of the United States (1945–1964))
历史主题条目索引 U
美国历史 (1964–1980) (History of the United States (1964–1980))
美国历史 (1980–1991) (History of the United States (1980–1991))
美国历史 (1991–至今) (History of the United States (1991–present))
博爾州立大學
博爾州立大學是位于美国印第安纳州曼西市的一所公立研究型大学。该大学在印第安纳波利斯、韦恩堡和费舍尔斯设有分校区。该大学由七个学院组成。截至2023年，该大学招收了约20,400名学生，其中包括14,900名本科生和5,500名研究生。该大学提供约120个本科专业和130个辅修专业以及100多个硕士、博士、证书和专家学位。
1917年，实业家兼博爾集团创始人博爾兄弟收购了被抵押的印第安纳师范学院，并将学校及其周边土地捐赠给了印第安纳州。1918年春，印第安纳州议会接受了这笔捐赠，当年首批235名学生入读印第安纳州立师范学校东区。鲍尔州立大学被归类为R2博士大学。
佩恩蒂德波斯特 (紐約州)
佩恩蒂德波斯特（英語：）是位於美國紐約州斯托本縣的村。
佩恩蒂德波斯特 (紐約州) 人口
根據2020年美國人口普查的數據，佩恩蒂德波斯特的面積為3.46平方千米，當中陸地面積為3.30平方千米，而水域面積為0.16平方千米。當地共有人口1768人，而人口密度為每平方千米511人。
里弗賽德 (紐約州斯托本縣)
里弗賽德（英語：）是位於美國紐約州斯托本縣的村。
里弗賽德 (紐約州斯托本縣) 人口
根據2020年美國人口普查的數據，里弗賽德的面積為0.80平方千米，當中陸地面積為0.78平方千米，而水域面積為0.01平方千米。當地共有人口423人，而人口密度為每平方千米529人。
薩沃納 (紐約州)
薩沃納（英語：）是位於美國紐約州斯托本縣的村。
薩沃納 (紐約州) 人口
根據2020年美國人口普查的數據，薩沃納的面積為2.69平方千米，皆為陸地。當地共有人口672人，而人口密度為每平方千米250人。
Too Young to Die (歌曲)
Too Young to Die（直译：太年轻而死或英年早逝）是英国放克和酸爵士乐队杰米罗奎的一首歌曲，于1993年3月由索尼苏活广场发行，是他们1993年首张录音室专辑《地球上的紧急情况》中的第二首单曲。这首歌由主唱杰伊·凯和托比·史密斯创作。这首歌的原始版本时长为10分18秒；然而，单曲版本和专辑版本都被剪辑成3分22秒和6分05秒。这首单曲获得了音乐评论家的积极评价，他们将杰伊·凯与史蒂维·旺德进行了比较。
商业成绩上，《Too Young to Die》在英国单曲榜上最高排名第10名，并在法国、冰岛、荷兰、瑞典和瑞士进入前50名。其音乐视频由W.I.Z（原名：安德鲁·约翰·惠斯顿英语：Andrew John Whiston）执导。这首歌的主干原始部分于2013年3月作为歌曲混音比赛的一部分向公众开放；因此，除了官方混音版外，还有大量的盗版混音版。澳大利亚唱片骑师（DJ）和音乐制作人Late Nite Tuff Guy（直译：深夜猛男）赢得了比赛。
Too Young to Die (歌曲) 音乐视频
《Too Young to Die》拍摄了音乐录影带。该录影带由英国导演W.I.Z.（又名安德鲁·约翰·惠斯顿）执导，主要内容是杰伊·凯在一个看似沙漠军事设施的地方演唱。
庫珀斯普萊恩斯 (紐約州)
庫珀斯普萊恩斯（英語：）是位於美國紐約州斯托本縣的普查規定居民點。
庫珀斯普萊恩斯 (紐約州) 人口
根據2020年美國人口普查的數據，庫珀斯普萊恩斯的面積為2.13平方千米，皆為陸地。當地共有人口609人，而人口密度為每平方千米285.92人。
岡米爾斯 (紐約州)
岡米爾斯（英語：）是位於美國紐約州斯托本縣的普查規定居民點。
岡米爾斯 (紐約州) 人口
根據2020年美國人口普查的數據，岡米爾斯的面積為11.39平方千米，當中陸地面積為11.33平方千米，而水域面積為0.06平方千米。當地共有人口4261人，而人口密度為每平方千米374.1人。
阿德里安 (紐約州)
阿德里安（英語：）是位於美國紐約州斯托本縣的非建制地區。
阿德里安 (紐約州) 歷史
阿德里安的郵局於1852年設立，其後於1945年停運。
阿德里安 (紐約州) 地理
阿德里安所處的海拔為高於海平面346米（即1135英呎），而該地所採用的時區為UTC-5，即北美东部时区（EST）。同時該地設有夏令時間，為UTC-5調快一小時，即UTC-4（EDT）。
吉布森 (紐約州)
吉布森（英語：）是位於美國紐約州斯托本縣的非建制地區。
吉布森 (紐約州) 歷史
吉布森的郵局於1847年設立，其後於1905年停運。
吉布森 (紐約州) 地理
吉布森所處的海拔為高於海平面284米（即932英呎），而該地所採用的時區為UTC-5，即北美东部时区（EST）。同時該地設有夏令時間，為UTC-5調快一小時，即UTC-4（EDT）。
雷克斯維爾 (紐約州)
雷克斯維爾（英語：）是位於美國紐約州斯托本縣的非建制地區。
雷克斯維爾 (紐約州) 地理
雷克斯維爾所處的海拔為高於海平面561米（即1841英呎），而該地所採用的時區為UTC-5，即北美东部时区（EST）。同時該地設有夏令時間，為UTC-5調快一小時，即UTC-4（EDT）。
广州商团
广州商团（），又称商团军，是1912年成立于中国广东省广州市的一支民兵组织，旨在保护广州商界的利益。商团以广州西关商业区为主要活动基地，西关被誉为“广州的华尔街”，在清末民初的战乱及军阀时期，致力于维护商业稳定和地方治安。1924年，因广州商团事变，商团被广州革命政府击败并解散。
广州商团 历史
广州商团成立于1912年，受上海公共租界商团模式的启发，由商人岑伯著倡议，陈廉伯担任总团长并兼任粤商公安维持会（商团公所）理财课主任。商团成立的背景是晚清及民初的动荡，包括匪盗猖獗及军阀统治，如北洋军龙济光、旧桂系陆荣廷、陈炳焜和莫荣新等时期。陈廉伯通过借款购置枪械，资助商团运作，使其在广州政权更迭中维持商业秩序，保护商界利益。 商团的产生和发展深受社会环境影响，特别是在辛亥革命后，面对土匪横行和政局不稳，粤商逐渐意识到“官之卫民不如民之自卫”，遂推动商团的建立与扩展。
广州商团 历史
1916年，岑伯著于海珠事变中去世，黄鹭塘接任团长。1917年，陈廉伯任粤商公安维持会代理评议长，进一步武装商团。1919年，商团完成改组，仿效西方议会制，建立由23名评议员组成的评议会，每年选举，可连任，陈廉伯当选总团长。1924年，商团规模增至约13,000人，联合珠三角地区100多个商团组织，覆盖东莞、四邑、南海等地，成员包括数万名商人和雇员。在民国早期，广州商团在广州政权更迭中保持中立，避免卷入政治派系争斗，并因此赢得了民众支持。 陈廉伯上台后，商团进入快速发展轨道，逐渐形成以商团为核心、民团为外围、士绅和商人为社会基础、以“民治”或“自治”为理念的社会网络，孕育了“大商团主义”，试图以商团实力与广州政府分庭抗礼，追求建立“商人政府”的理想。
1923年，孙文重返广州建立政权。中国国民党多次尝试拉拢商团加入其阵营，如派许崇智、吴铁城等人接触商团要人，但商团坚持无党派立场。陈廉伯在与廖仲恺的对话中表示，商人的财产和家庭固定于广州，若加入国民党可能因政治变故受损，因而拒绝入党。1924年6月，政府提议为商团授旗，但商团反对接受国民党旗帜，仅同意接受商团旗，拒绝党国体制。
广州商团 历史
商团多次通过罢市抗议广州革命政府的税收政策，如1924年5月针对“统一马路业权法案”的全市大罢市，迫使政府让步。1924年5月27日-6日2日，广州及附近县镇龙江、桂洲、河村、水藤、东莞、佛山等98个商团的代表196人，集中在广州西瓜园开“团务会议”，由陈廉伯主持。代表们参观了商团军的操练，大会决定成立联防总部，以统一廣東全省商团。大会选举陈廉伯为商团总长，邓介石、陈恭受为副总长，李颂韶为参事长，并定于8月中旬在广州举行联防总部成立典礼，并决定筹备款项，购置军械舰艇，筹组银行、制弹厂、讲习所。
1924年夏，商团因政府加征各种苛捐杂税，组织了多次行业罢市，如烟酒商、糖商、鞋商等抗议附加税，佛山及东莞等地商团也因税负问题参与罢市行动。 1924年8月，商团从欧洲订购了9000余支步枪、40挺机关枪及数百万发子弹，该批军火被广州革命政府扣押，理由是许可证不符及怀疑谋反，导致双方矛盾激化，最终引发广州商团事变。
广州商团 组织与结构
广州商团采用民主治理模式，效仿西方议会政治，最高权力机构为评议会，负责制定战略和选举领导人。1919年改组后，设立十个分团，由总团长统一指挥。商团通过设立评议会，移植西方代议制度，评议会由23名评议员组成，包含10个分团各选2名代表及公安维持会正副会长3人，任期一年，可连任。 评议会分为常会和临时会，议案需半数以上评议员同意通过，团长负责执行但享有一定自主权，若与评议会意见相左，则由商团全体大会裁决。 1924年5月，商团成立广东省商团军联防总部，由陈廉伯任联防总长，邓介石和陈恭绶为副总长，李颂韶等11人为参事会参事，总部设于广州西关。联防总部下设八大处，仿照军队高级司令部，管理作战、后勤和通信，公文格式类似政府文书，形同独立军事机构。
广州商团 组织与结构
商团成员主要为广州及珠三角的商人和雇员，职责包括自卫、保护商业利益及维护治安。为提升能力，商团计划采购大炮、机关枪、手枪等武器，并筹建医院、救护队和弹药厂，拟拨出全省商界价值数千万元的善产半数用于扩充军备。 商团还设立模范队，培训体魄强健、文理通顺的团员，学习军事理论和操练，武器精良，旨在培养核心力量。 在陈廉伯主持下，商团放宽入团条件，允许缴纳团费者经介绍成为正式团员，享有选举权，即使不出操也可由他人代操，扩大了组织规模，但仍以商人为核心，未泛化为雇佣军。
广州商团 社会救济
广州商团在社会救济方面发挥了重要作用，逐渐取代传统善堂和商会，成为民初广东社会救济的主体。 商团自成立之初即以慈善和公益为己任，除维持商场治安外，还兼办救灾和救助活动。1915年珠江流域大水灾期间，商团在岑伯著领导下积极参与救援，昼夜不息，协助核计灾民、筹集款项，累计耗资160余万元，展现了其社会动员能力。 陈廉伯上台后，设立救火队，完善消防体系，并组织粮食救济会应对1919年米荒危机，通过筹款和贷款购米，缓解广东粮食短缺。 商团还参与平抑米价、调剂粮荒，联合善堂和商会设立平粜公所，商团成员担任主要职务，确保救济工作高效推进。 这些举措提升了商团的社会声誉，使其成为粤省民间社会的重要力量。
广州商团 社会救济
商团事件后，西关商业区化为焦土，商民流离失所，急需赈济。华商总会、东华医院及省内各商会善团联合成立“省港澳合办调查广州市灾区赈灾会”（简称赈恤会），负责善后救济工作。 赈恤会以一德路广州医院为办公地点，推举王棠为正会长，李芝畦为临时主席，省城由王召南任总理，香港、澳门各推举一名协理。 赈恤会向省署请求免除商团罚款，并展开灾区调查，派员赴香港洽谈平籴事宜。11月11日，赈恤会讨论平籴办法，推举王棠、崔通约等人为筹备员，存款由赈恤会统一管理，确保赈款安全。 西关医灵庙和商团总所旧址被设为平籴所，分别于11月23日和25日开办，赈济灾民，米价定为每元十三斤，较市面低廉，吸引大量灾民，首日售米超2400元。 赈恤会还采购棉衣棉被，缓解冬季灾民需求，省港各界认捐数万元，支持赈灾至年底。 然而，赈济工作完成后，粤省商人在民间救济中的角色减弱，传统善堂如崇正堂、互助医院及基督教会接手部分事务，但整体救济能力下降，未能有效填补商团解散后的空缺。
广州商团 意识形态
在陈廉伯领导下，广州商团逐渐形成了“商团主义”与“商人政府”理念，以“民治”和“自治”为核心理念，追求建立“商人政府”。 商团通过创办《粤省商团月报》、设立体育会、商业学校、俱乐部等，增强内部团结和自我认同，营造“资产者公共领域”。 商团认为商人作为国家“最优良的分子”，负有“救粤”使命，试图通过实力改善商业生态，甚至取代现有政权。 其政治抱负体现在频繁的罢市运动和全省联团活动中，1924年商团联合138埠发起两次全省大罢市，展现了强大的社会动员能力。
广州商团 解散
1924年10月，广州商团在广州商团事变中被广州革命政府击败，组织被强制解散。冲突造成约2000人死伤，财产损失近5000万港元，西关商业区多处被毁，部分成员流亡至香港和澳门。流亡香港的商团成员于西关之战周年时，在香港举行纪念活动，悼念阵亡者，表达对国民党政府的反对。陈炯明、唐继尧挽联称其为“民治之盾”及“反共先驱”。
广州商团 解散
商团事件后，广州政府对商团实施严厉处置，商团总所及分所被充公，部分用作公益，如拨作教育用地或收容灾民，部分被军队占用。 商团首领如陈廉伯等人的产业被查封，商团成员被罚款每人毫银一百元，限期缴纳，佛山商团因响应罢市亦受同等处罚。 缴械行动由政府军执行，广州商团枪械被收缴1042支，佛山商团被滇军缴械约1000杆，部分商团如清远、西樵因反抗引发激战，最终被迫改组或解散。部分商团如虎门、顺德通过改组为民团保留部分枪械，但失去独立性，归民团统率处管理。 政府规定未附乱的商团可免缴械，但仍需注册备案，部分商团如石岐、新会通过缴纳罚金或办理枪支注册保留实力。 商团解散导致地方治安空缺，匪徒及军队趁机勒索，商人尝试组建市商团、市民团及保商队等自卫组织，但因政府疑虑及内部争斗，均未成功。治安职能由滇军主持的军警联合督察处及公安局填补，督察处由杨希闵设立，联合滇、湘、桂军及警察巡查，但因经费不足及杨希闵兵变流亡，于1925年6月撤销，治安交由广州卫戍司令部及公安局负责。
广州商团 各方评价
港英当局与商界、亲商界香港媒体，支持联省自治的陈炯明粤军等对商团持支持态度，指责广州革命政府1924年的暴力镇压，认为其代表商界自卫和地方自治精神，反对广州革命政府的“共产”倾向。在商团事变后由流亡者在香港举办的公祭纪念活动中，陈炯明、唐继尧挽联称商团为“民治之盾”及“反共先驱”。
中国国民党将广州商团定性为受大英帝国及英属香港操控的“反革命”势力，指其通过私运军火、罢市及制造混乱，试图颠覆广州革命政府，危害民族利益。国民党党报《民国日报》评论称，商团的行动不仅是针对政府，更是“对广东民众的压迫”，其依附帝国主义的本质使其成为革命的首要敌人。国民党认为商团拒绝加入其阵营及武装扩张威胁了政府权威，镇压商团是“革命战争中不可避免的代价”。蒋介石晚年于1973年国庆讲话中评价商团事变为“北伐之师‘胜兵先胜’的关键之战”，认为击败商团遏制了帝国主义的野心，为黄埔军校的建立和北伐奠定基础。
广州商团 各方评价
中国共产党视商团为受帝国主义及军阀（如陈炯明、吴佩孚）支持的反革命武装，强调其与工农阶级的矛盾。陈独秀认为镇压商团是“中国工人、农民、国民党左派学生军人”对帝国主义及国内反革命势力的胜利，标志着“革命与反革命争斗的缩影”。茅盾批判商团在双十节游行中的暴行，指其“割肚挖心，切耳朵”等行为激化矛盾。中共领导的广东工团军和广东农团军在事变中支持政府，反映了其将商团视为阶级斗争的敌对势力。周恩来作为中共广东区委委员长及黄埔军校政治部主任，参与指挥作战，认为商团的失败为中共建立武装力量（如大元帅府铁甲车队）提供了契机。中共领导的广东工团军认为商团运武器到广州，“忖其用心,叵测已极”,“迨事发泄,联同逃匿,此其显也。窃以杀人军器私擅购入,当此军事时期,严禁入品,律有明条,乃陈廉伯、陈恭绶等竟敢冒犯,难保无受他方运动,谋害粤人”，“自商团军成立以来，其压迫我工团、残杀我工友之事，不知凡几”，支持政府没收的举动。
广州商团 各方评价
共产国际将商团视为受英属香港操控的“法西斯”组织，又稱其為“紙老虎”（或譯“老虎隊”），威胁广东作为“反帝斗争桥头堡”的地位。鲍罗廷认为商团试图夺取政权，若获胜将“等于把政权交给香港”的帝国主义，因此支持镇压商团以巩固革命政府。维经斯基称镇压商团是“中国解放运动史上首次有广大民众参与的反对帝国主义和反革命的斗争”，标志着革命运动的起点。《真理报》将西关称为“法西斯区”，指商团在双十节游行中挑衅，导致民众反对，并赞扬孙中山成功粉碎“法西斯”势力，巩固了革命基础。共产国际认为事件增强了苏俄在远东的权威，为“世界革命”从欧洲转向远东奠定基础。
英國共產黨認為廣州商團是“資本家”的“法西斯軍隊”，因此認為對廣州商團事變鎮壓是“輝煌勝利”，幷對孫文表示慶賀。
英国左翼历史学家伯特兰·罗素支持孙文，批评英国驻香港官员及香港上海滙豐銀行煽动“商团叛乱”，试图破坏中国独立。罗素赞扬孙的反帝政策，呼吁英国保持中立，停止干涉中国内政。
广州商团 各方评价
中山大学教授邱捷认为，商团的行为超出自卫需要，形同建立独立的政治军事中心，威胁政府权威，商团在同政府对抗的过程中，并无提出具体策略。商团建立联防总部，亦没有向政府申请，并且“其文件语气狂妄，见识却很低下”；商团在同政府、军阀发生冲突时是弱者；但在1920年代劳资矛盾激化、工人运动兴起时，商团往往对比商人更为弱势的工人使用暴力，所以，商团与工人结怨颇深。多数工人不仅不同情商团，而且积极要求政府对它采取强硬政策。而商團的很多行为都远远超出了商人自卫武装的需要。商團拒絕加入國民黨，使政府与商团武装共存的局面難以维持。如果商团联防的各项议案和章程都落实，就会出现一个不受政府统辖的军事和政治权力中心。商团联防会议的高调举行，引起当局者的高度警觉。加以商团决定联防不久，即有大宗军火运到，所以扣留商团军械、禁止商团联防总部的成立，对广东政府而言势在必行。
广州商团 遗产
广州商团是中国近代商界自发组织的独特武装力量，以其治理和政治中立性区别于军阀或党派武装。其组织模式反映了广州商界对地方自治与政治参与的追求，但在与广州革命政府的对抗中被指受外国势力支持，被定性为反革命势力。 商团的失败也推动了中共武装力量的建立和黄埔军校的发展。商团的社会救济功能和“大商团主义”理念，体现了其试图构建类似西方早期现代化“市民社会”的努力。
东京大学大学院综合文化研究科·教养学部
教养学部（英語譯名：）是东京大学的本科学部（学院）之一，成立於1949年；大学院综合文化研究科（英語譯名：）是东京大学的研究生院之一，成立於1983年。兩教學單位共同管理，合称为东京大学大学院综合文化研究科·教养学部，主攻跨學科的博雅教育。兩者均坐落於東京都目黑區駒場的東京大學駒場I校區（駒場一號校區），因而常以「駒場」代稱。
东京大学大学院综合文化研究科·教养学部 课程
東京大學的大學部（本科）入學者，除了學士入學者（已取得一個學士學位後入學大學部）之外，均會編為6個科類，在教養學部修讀為期2年的前期課程，作為在大學部的前期教育課程。
完成前期教育課程後，大學部學生再依照各自的升學選擇（主要依入學報考時的選擇），進入各學部、或留在教養學部，繼續2年的大學部後期課程。
八斗山321峰
八斗山321峰，又稱為八斗山或八斗子山，:102、115是台灣新北市萬里區野柳里的一座山峰，位於標高360公尺的八斗山與標高255公尺的北八斗山之間，標高321公尺。該山西側為流經基金公路臨海橋的無名溪流，東側為流經基金公路國聖橋的無名溪流。
八斗山321峰是一座獨立火山，其組成岩石主要為角閃安山岩。:138該山屬於大屯火山群之下的湳子山亞群。
在台灣火山學界，八斗山321峰與西南側的八斗山有時被分別稱為八斗子山與湳子山；:138有時則被同稱為八斗子山（或八斗山），但後綴數字或英文字母以區別之。:102、115
一生螈命
《一生螈命》（英語：）是一部2024年香港生態紀錄短片，由香港生態攝影師馮漢城執導。短片紀錄本地獨有兩棲動物——香港瘰螈（Paramesotriton hongkongensis）的生長週期及所面對的生存威脅。 作品同時是《一生螈命——生態影像藝術展》的核心部分，展覽於2024年4月在深水埗「Parallel Space」舉行，涵蓋紀錄片、攝影、繪畫與裝置藝術等多種媒介，旨在提高社會對本地生物多樣性的關注。 該片於2025年4月上載至YouTube供公眾免費觀看。
一生螈命 內容
影片記錄香港瘰螈從卵到成年的完整生命過程，捕捉其自然行為，如求偶、產卵、攀爬等，並深入探討都市化對其棲息地的影響。尤其是隨著城市發展，它們的生存環境不斷縮減。每年春季，瘰螈進入繁殖季節，會從溪流遷徙到較高的林地進行繁殖。然而，途中最大的挑戰來自於道路的障礙。數以千計的瘰螈在遷徙過程中必須穿越車道和馬路，這也成為它們面對的最嚴重威脅。由於車輛高速行駛，瘰螈經常在遷徙途中遭遇車輛「路殺」，導致大量死亡。這一情況進一步威脅到其種群的生存。
一生螈命 製作背景
導演馮漢城早於2018年在香港大學擔任研究助理期間，研究兩棲動物皮膚上生長的蛙壺菌。 當時已對萌生以影像記錄香港瘰螈生命歷程的構想。馮漢城同時為本地生態攝製團體 Frigatefilms 的創辦人之一，曾製作《Wild Hong Kong》等生態影像項目，並參與港台節目《大自然大不同》的製作。 資金方面，他於2023年末發起眾籌，成功籌得逾34萬港元。
團隊的拍攝計劃早於2022年底已經正式展開，並於2023年起深入多個瘰螈棲息地，包括飛鵝山、大帽山、蠔涌、林村及梅子林等地，追蹤了20條瘰螈，紀錄牠們的繁殖、遷徙及棲息情況。 整個拍攝歷時逾40日，橫跨不同季節，以捕捉瘰螈由卵、幼體至成體的完整生命週期。為了捕捉香港瘰螈的自然行為，團隊多次深入其棲息地，攀山涉水的同時背負器材。團隊亦採用了多種高難度拍攝方式，包括動用潛水鏡頭與水肺潛水裝備潛入淡水溪流拍攝，甚至以水肺潛水方式長時間待在水中，以減少對瘰螈的干擾並貼近其自然行為。 當中面對不少困難，如每樽氧氣僅可支持水下拍攝約半小時。
一生螈命 製作背景
剪接後，歷時一年多拍攝的素材變成片長9分鐘的紀錄片。 全片採用無旁白敘事手法，僅透過畫面與音樂帶出情感與主題，配樂由金馬獎最佳原創電影音樂得主黃衍仁製作。
一生螈命 命名
名稱《一生螈命》靈感源自日語詞語「一生懸命」（いっしょうけんめい），原意為「竭盡全力去完成一件事」，常用以形容全心投入、拼盡所有的態度。 紀錄片既是對香港瘰螈整個生命歷程的細膩描繪，也映照出他本人對野生動物保育的堅持與執著。片名中的「螈」字取代「懸」字，不僅呼應紀錄片主角——香港瘰螈，更點出本地物種在生存之路上面對的險阻與危機。
一生螈命 展覽與推動保育
為推動生態保育與公眾教育，馮漢城於2023年底發起眾籌，籌款目標為32萬港元，最終成功籌得34萬元。資金除用於展覽與紀錄片製作，也支持由嶺南大學科學團隊主導的「香港瘰螈路殺調查計劃」，成為本港首個結合藝術、科學與公眾參與的野生動物保育專案。導演馮漢城特別感謝520名眾籌者的支持，強調沒有公眾參與，作品無法誕生。
展覽《一生螈命——生態影像藝術展》於2024年4月5日至14日於深水埗「Parallel Space」舉行，展出《一生螈命》、瘰螈屍體標本、攝影作品、生態繪圖等，營造出一種讓觀眾直面死亡與生命的空間體驗。 參與展覽的創作人包括馮漢城，以及從事生態攝影與紀錄片拍攝的郭子祈、藝術創作者黃遂心，與專注自然主題繪圖的科學插畫師揭紫琪。
馮漢城希望透過展覽與紀錄片引起公眾關注香港瘰螈所面對的生存威脅，尤其是每年春季遷徙期間遭遇的「路殺」問題。他呼籲政府及社會各界推動更多實際保育措施，包括設置生物通道、防護欄、義工引導過馬路及於繁殖季節實施局部封路等，以減少車輛對瘰螈的直接傷害。
一生螈命 迴響
影片獲選參加多個國際影展，包括：Jackson Wild Media Awards、國際野生動物電影節、香港亞洲電影節、新加坡自然電影節。
Filmstaden
FilmstadenAB（前稱：SF Bio）是瑞典最大的電影院連鎖集團，由全球最大影院集團 AMC 院線所有。Filmstaden於 1998 年成立，前身為瑞典電影工業公司（）的電影院業務部門。2017 年，Bonnier集團將其持有的SF Bio AB母公司北歐影院集團（）的股權出售給 AMC 院線，隨後 SF Bio AB 更名為 Filmstaden AB。
Filmstaden 名稱由來
Filmstaden是自1980年起用於瑞典電影工業公司多廳電影院的品牌名稱，目前由電影院連鎖公司 FilmstadenAB 擁有。Filmstaden這個名字源自 SF 位於索爾納市拉斯的舊電影攝製廠「Filmstaden」，該攝製廠在1919年至1970年間製作了440部SF電影。如今，該地點設有一家名為 Filmstaden Råsunda 的電影院。
Filmstaden 名稱由來
1980年2月15日，第一家以Filmstaden名義開業的電影院在斯德哥爾摩 Mäster Samuelsgatan 和 Regeringsgatan 街角的 Passagenhuset 開幕。這家電影院的建立主要是為了抗衡Ri-Teatrarna在Kungsgatan開設的多廳電影院Rigoletto。第一家Filmstaden電影院擁有兩層共11個放映廳，其中1號和2號放映廳由Sandrew Film & Teater AB擁有，6號和7號放映廳則由瑞典電影協會擁有。自1985年起，電影院在上層新增了四個放映廳。該電影院的最後一場放映於1996年1月7日舉行，但早在前一年11月3日，部分放映廳已關閉，因為Sergelteatern於當日重新開業，成為擁有14個放映廳的多廳電影院FilmstadenSergel。其中兩個放映廳屬於Sandrew Film & Teater（後更名為Sandrews），該公司在2007年破產，並被當時的SF Bio收購。
Filmstaden 院線
截止2025年，Filmstaden在瑞典的21個城市擁有255影院和32425個座位。
雷·史超活
雷蒙·史杜安·麥當勞·史超活（英語：，1959年9月7日—），綽號「坦克」（Tonka），蘇格蘭前足球運動員，司職右後衛，球員生涯効力登地聯、韋斯咸、聖莊士東及史特靈。1980年幫助韋斯咸奪得足總盃。雷·史超活曾代表蘇格蘭足球代表隊上陣10場。以其射門能力見稱，生涯累積70個聯賽入球（主要係十二碼），掛靴後執教過利雲斯頓、史特靈及福弗爾競技。
雷·史超活 球會生涯
雷·史超活出生於蘇格蘭巴富郡斯坦利 ，早年効力登地星期日少年聯賽（Dundee Sunday Boys' League）球會艾羅爾流浪（Errol Rovers）。1973年5月婉拒格拉斯哥流浪等邀請加盟登地聯。17歲生日前夕首度擔正即對陣些路迪，更被委派凍結對方王牌杜格利殊（Kenny Dalglish）。1979年榮膺蘇超年度最佳青年球員。
雷·史超活 球會生涯
1979年，雷·史超活效力登地聯三季後，他被英格蘭甲組聯賽球會韋斯咸青睞。登地聯先拒絕17.5萬鎊轉會費的開價，最終以43萬鎊破青年球員轉會費紀錄加盟韋斯咸。1979年9月4日，雷·史超活在聯賽盃對班士利的比賽中首度上陣踢右閘，9月29日，在對般尼的比賽中射入十二碼開齋，助球隊在主場以2-1贏波。1980年的足總盃爭標路上，雷·史超活成為關鍵功臣，榮登神射手，包括第四圈對萊頓東方時梅開二度，八強賽對阿士東維拉補時射入絕殺的十二碼及在四強重賽中頂替傷兵艾雲·馬田客串中堅對愛華頓。1980-81球季，雷·史超活以41場射入5球（全為十二碼）幫助球隊奪得乙組聯賽冠軍升班。雷·史超活以射十二碼能力而聞名，生涯86次主射十二碼只射失10次，包括1981聯賽盃決賽對利物浦射入關鍵十二碼（首回合1-1，重賽落敗）。
雷·史超活 球會生涯
整個80年代，雷·史超活一直是韋斯咸的重要成員，他在1985-86賽季的足球聯賽中射入6球，全部都是十二碼，幫助球隊獲得季軍。該賽季，他僅次於東尼·葛地和法蘭·麥艾雲尼，成為韋斯咸的第三射手。1989年，韋斯咸正為護級而戰，雷·史超活在1月對打比郡的比賽上半場遭遇重傷。他的膝蓋周圍四條韌帶中有兩條斷裂，其中包括一條主要的前十字韌帶，因而他休戰14個月。1990年3月，他重返預備隊，並在一個月內在7場比賽上陣以恢復體能。但比賽次數太多，他需要再次接受膝蓋手術。在被新任韋斯咸領隊比利·邦茨召回後，他於1990-91賽季初回歸。他的傷病，加上腿筋的進一步傷病，意味著他的出場次數越來越少，在1989年1月至1991年4月期間根本沒有出場。1991年4月14日，韋斯咸在足總盃半準決賽以0-4輸給諾定咸森林的比賽中入替馬田·艾倫出場，當時韋斯咸只有5名球員，最終從1990-91賽季的乙組聯賽升級。他的最後一場在韋斯咸的比賽是於1991年5月4日，在塞爾赫斯特公園球場以1-1賽和查爾頓的比賽中。接連受傷之後，31歲的雷·史超活沒有得到續約，而是以自由身的形式被放棄。
效力韋斯咸12年間，雷·史超活上陣434場並射入84球（僅6球並非十二碼） ，只領過兩張紅牌（分別在對阿士東維拉和利物浦的比賽中分別罵球證和旁證）。雷·史超活為球會三奪足總盃（1964/1975/1980）史上唯一非英籍的功臣，球迷因其硬朗踢法賜綽號為「坦克車」（Tonka，喻意打不死）。
1991年，雷·史超活回流蘇格蘭効力聖莊士東，1994年亦曾短暫加盟史特靈。
雷·史超活 國際賽生涯
1980-81賽季，雷·史超活在新加入韋斯咸後表現出色，隨後被領隊澤克·史甸徵召至蘇格蘭隊，1981年5月15日，雷·史超活首度代表蘇格蘭在史雲斯對威爾斯。1982年4月，雷·史超活代表蘇格蘭U21在咸普頓公園球場對英格蘭U21時因侵犯馬克·希利而被逐，無緣晉身世界盃大軍。在史甸的帶領下，雷·史超活沒有參加蘇格蘭足球代表隊的比賽。但在新任蘇格蘭領隊安迪·羅克斯堡的帶領下，雷·史超活被召回，又上陣三場比賽
。雷·史超活總共為蘇格蘭上陣10次，並在1981年5月19日於咸普頓公園球場舉行的英國本土四角錦標賽中射入一球，最終球隊以2-0擊敗北愛爾蘭。
蘇格蘭的入球及比數列前方，入球欄顥示史超活入球後的比數.
雷·史超活 領隊生涯
1998年，雷·史超活掛靴轉為領隊，先後執教蘇格蘭三支球隊：利雲斯頓、史特靈及福弗爾競技。2000年因利雲斯頓高層認定「冇能力帶隊升上蘇超」而被炒。在執教史特靈的兩季（2000-2002）後降班落蘇乙，所以不獲續約。最後，在帶領福弗爾競技兩季（2002-2004）後，於2004年11月因為在蘇格蘭盃首圈以1-5慘敗給蒙杜斯而被炒。
伊米·克诺贝尔
伊米·克诺贝尔（德語：，本名Klaus Wolf Knoebel，1940年12月31日—）是德国当代艺术家，以其在极简主义和抽象艺术领域的贡献而闻名。他的作品融合了绘画、雕塑和装置艺术，探索形式、颜色和空间之间的关系。
伊米·克诺贝尔 生平与教育
克诺贝尔出生于德国德绍。1962年至1964年，他在达姆施塔特应用艺术学校学习，课程受包豪斯理念影响，强调结构和构成的训练。期间，他结识了雷纳·吉泽（Rainer Giese），两人共同使用“Imi & Imi”的别名，意为“我与他”（Ich mit ihm）。
1964年，克诺贝尔与吉泽一同进入杜塞尔多夫艺术学院，师从约瑟夫·博伊斯（Joseph Beuys）。在学院期间，他们被分配到19号教室（Raum 19），这是克诺贝尔早期创作的重要场所。
伊米·克诺贝尔 艺术风格与作品
克诺贝尔的作品以非具象形式为主，强调颜色、形状和空间的相互作用。他的早期作品如《Raum 19》（1968年）使用未经处理的木板和几何形状，探索绘画和雕塑的基本元素。
1970年代中期，他开始在胶合板和金属板上使用颜色，创作出《Mennigebilder》（红铅画）系列，使用工业防锈漆“红铅”作为主要材料。
1988年，克诺贝尔创作了《Kinderstern》（儿童之星）系列作品，旨在支持儿童权益。该系列作品的全部收益用于资助有需要的儿童项目。
空运特快
空运特快​​（英語：），又译安邦快递，曾是美国一家快递服务公司与货运航空公司，总部位于华盛顿州西雅图，其主要航空枢纽位于俄亥俄州威尔明顿。该公司成立于1946年，最初名为“加州航空花卉运输协会”（Airborne Flower Traffic Association of California），专门从事从夏威夷州向美国本土空运花卉的业务。2003年，空运特快被国际物流巨头DHL收购。在被收购前，空运特快曾发展为美国第三大私营快递企业，规模仅次于联邦快递（联邦快递航空）与联合包裹服务（United Parcel Service，UPS）。
空运特快 历史
空运特快在成立后的前22年发展缓慢。但在1968年，当时名为​​安邦货运公司​​（Airbourne Freight Company）开始进行重大变革。其关联企业​​航空货运设备公司​​（Air Cargo Equipment Corporation）研发并获得专利的“C型货柜”（因截面呈C形得名），这种特殊窄体集装箱显著提升了大型喷气式货机的空间利用率。该设计无需改造货舱门即可使用，为采用该技术的货运公司节省大量成本。此时仍以​​加州空运特快​​（Airborne of California）为名的公司，通过与西雅图太平洋航空货运公司合并，将总部北迁至西雅图并更名为空运特快货运公司​​（Airborne Freight Corporation），此名称沿用至1980年。
空运特快 航空事故
空运特快共发生7起航空事故，其中6起为全机损毁，2起造成人员死亡。
國防部戰略規劃司
國防部戰略規劃司（英語：Department of Strategic Planning，MND），簡稱國防部戰規司，為中華民國國防部本部的一級單位，主要掌理國軍軍事戰略計畫，國防報告書之編纂及發行，國軍軍制、組織、兵力結構、總員額及人力編訂，軍事交流合作政策之擬訂、指導及管制，對美軍售會議執行及專案管理之督管，督管各司令部對美軍購專案管理。
辛迪基
辛迪基（希臘語：）是希腊中马其顿大区塞雷专区的市镇，行政中心为锡季罗卡斯特龙镇。市镇面积为1,103.4平方公里，2021年人口数量为18,544人。
此市镇设立于2011年地方政府改革中，由原6个市镇合并而成，原市镇则成为此市镇的6个市区。
赵峰 (1972年)
趙峰，男，中共政治人物，中共黨員、高級工程師、現任海南省人民政府副省長
赵峰 (1972年) 生平
本科畢業於哈尔滨科学技术大学，拥有工学学士学位。
歷任中国人寿保险（集团）公司首席信息技术官兼金融科技部总经理，中国人寿财产保险股份有限公司副总裁，中国人寿财产保险股份有限公司首席信息技术执行官兼信息技术部总经理。
歷任中国太平保险（卢森堡）有限公司董事长、中国太平保险集团（香港）有限公司和中国太平保险控股有限公司副总经理，兼任太平金融服务有限公司董事长。
2025年3月，獲委任為海南省人民政府黨組成員、同年5月獲委任海南省人民政府副省長。
C14H21NO4
化学式C14H21NO4（摩尔质量：267.33 g/mol）可能指：
江昌
江昌（15世紀—16世紀），字伯大，南直隸徽州府歙縣人，明朝政治人物。
江昌 生平
江昌是成化十年（1474年）甲午科應天鄉試第五十一名舉人，授攸縣知縣，為人清介仁慈，鋤強扶弱，輕徭節費與民休息，同時聰察過人，奸狡者收斂，縣稱大治，陞南昌同知，有當戍者倚仗宦官請求免戍，他立刻發配對方到戍所，正德年間陞岳州知府，去世後入祀攸縣名宦祠。
蓉府藏文典籍博物馆
蓉府藏文典籍博物馆位于中华人民共和国四川省成都市温江区南江路668号，是中华人民共和国首家少数民族典籍博物馆，博物馆集搜集、整理、抢救、保护典籍等为一体，博物馆内有一级文物1套(16卷)、二级文物48卷、三级文物147卷，博物馆使用面积约为2000平方米。
蓉府藏文典籍博物馆 建设
自1951年起中华人民共和国即把藏文典籍的收集、整理、保护和出版作为重要工作。1986年，批准设立“藏文大藏经对勘”项目，2006年在西藏自治区拉萨市色拉寺和大昭寺二寺成立了藏族古籍经典收集整理印经室，2007年，国务院办公厅印发《关于进一步加强古籍保护工作的意见》，在西藏成立了古籍保护工作领导小组。截至2023年5月，西藏自治区档案馆馆藏藏文典籍档案达300多万卷。
2023年，蓉府藏文典籍博物馆启动建设，2024年7月26日，获得四川省民政厅的行政许可，在成都市登记成立。2025年5月18日，蓉府藏文典籍博物馆开馆。博物馆建筑融合了现代和传统元素，展现出鮮明的民族文化特色。
蓉府藏文典籍博物馆 布局和馆藏
蓉府藏文典籍博物馆共有13个展陈单元，各展陈单元均有古籍预防性保护设备和多媒体展示设备。博物馆有一级文物1套(16 卷)、二级文物48卷、三级文物147卷、一般文物90卷，馆藏文物涵盖历史、文化、艺术、科学等领域。博物馆较藏品有敦煌藏文文献、宫廷木刻版、丽江・理塘版《大般若经》、永乐版《甘珠尔》护经板、金银汁写本等文物。还展出有护经版、包经布、经绳扣等装帧用具，藏文化中的“文房四宝”亦为馆藏。馆内开设吉祥果藏文化非遗传习体验中心，引导游客与典籍互动。
後漢州縣列表
本列表表示五代十國时期，占据中国北方的五代第四代后汉政权的所有州縣。后晋开运三年（946年）十二月，契丹国灭后晋，天福十二年（947年）二月，后晋河东节度使刘知远称帝，六月，入汴州，建立后汉，承袭后晋大多数州县。包括东都开封府、西都河南府及汝州、直属京之郑州、耀州，以及三十五节度：归德镇4州、义成镇2州、天平镇4州、泰宁镇3州、平卢镇4州、武宁镇2州、忠武镇3州、保义镇2州、河阳镇2州、晋昌镇京兆府及金州、匡国镇1州、镇国镇2州、静难镇4州、保大镇2州、彰武镇2州、朔方镇3州、山南东道4州、威胜镇4州、安远镇2州、河东镇太原府及9州、永安镇2州、昭义镇2州、护国镇河中府及绛州、建雄镇3州、天雄镇广晋府、永清镇3州、彰德镇1州、镇宁镇2州、安国镇3州、成德镇3州、横海镇3州、凤翔镇凤翔府及3州、彰义镇4州。乾祐元年（948年）三月，收复义武镇4州。乾祐三年（950年）四月，废除永安军节度使。十一月，邺都留守郭威攻入开封府，汉隐帝被杀，后汉灭亡，次年，后周建立，承袭后汉州县。
後漢州縣列表 列表
下表中，以 蓝色背景代表后汉各府、州，所领各县则分别列于其下。
荊南节度使高從誨向后汉称臣，被封南平王，传子高保融。
割据湖南的馬希廣向后汉称臣，被封楚王，传兄馬希萼。
割据两浙的吴越王錢弘倧向后汉称臣，被封吴越王，传弟钱弘俶。
证明助手
在计算机科学和数理逻辑中，证明助手​（英語：，亦称​​交互式定理证明器​​）是一类基于形式化逻辑的计算机软件工具，旨在辅助用户开发形式化证明（以数学上严格的方式构造、验证和管理证明过程）。其核心功能是通过将命题转化为可计算的逻辑框架（如类型论或高阶逻辑），自动化检查每一步推理的正确性，从而确保证明的完整性与无矛盾性。此类工具通常结合了交互式编程环境，允许用户逐步构建证明并即时获得反馈，既可用于验证复杂数学定理的严谨性（如四色定理、开普勒猜想的计算机辅助证明），亦广泛应用于软件工程领域（如操作系统内核、加密协议的形式化验证）。
证明助手
证明助手的理论基础可追溯至20世纪中叶计算机科学与数理逻辑的交叉发展，早期的里程碑包括荷兰数学家尼古拉斯·霍文特·德布鲁因等人开发的Automath系统（1967年），以及20世纪80年代Coq和Isabelle等工具的诞生。其技术实现依赖于对形式系统（如直觉逻辑、策梅洛-弗兰克尔集合论）的严格编码，并通过柯里-霍华德同构（）将数学命题的证明过程映射为可执行的计算程序。随着验证需求的增长，此类工具逐渐在学术界和工业界普及，例如微软研究院开发的Lean定理证明器被用于规范数学基础库Mathlib，而亚马逊公司则采用​​TLA+​​验证分布式系统的正确性。该领域近期的一项研究重点，是借助人工智能技术实现常规数学的形式化过程自动化。
证明助手 历史
形式化验证的理论基础植根于数学逻辑。1967年，荷兰数学家​​尼古拉斯·霍文特·德布鲁因因开发了首个形式化数学语言Automath，实现了数学定理的机器验证，为依赖类型论奠定了基础。十年后，以色列计算机科学家阿米尔·伯努利将时序逻辑引入计算机科学，为并发系统建模提供了关键的数学框架，并因此获得1996年图灵奖。进入1980年代，美国计算机科学家莱斯利·兰波特提出了时序动作逻辑（），该逻辑成为描述分布式系统的重要形式化语言。这一时期也出现了早期工具的雏形：1984年，法国INRIA团队发布了基于构造演算的定理证明器Coq，并首次成功完成了四色定理的机器验证；1986年，剑桥大学的劳伦斯·保尔森创建了专注于高阶逻辑证明的Isabelle，为后续的操作系统形式化验证提供了基础。
证明助手 历史
形式化方法在工业领域的应用探索，其驱动力主要源于硬件验证的需求。1994年，英特尔奔腾处理器的浮点运算缺陷导致高达4.75亿美元的重大损失，这一事件促使工业界更加重视形式化验证技术。到1990年代末，形式化方法开始被集成到电子设计自动化（）流程中，特别是等价检查（，LEC）技术被广泛用于确保芯片设计寄存器传输级（）描述与门级网表之间的一致性。与此同时，模型检测技术取得显著进展，该领域在1990年至2013年间三次获得图灵奖（1996年、2007年、2013年），工具如SPIN和SMV成为验证并发系统的标准工具。2003年汽车电子标准AUTOSAR的确立，进一步推动了形式化方法在安全关键嵌入式系统中的应用。
证明助手 历史
2010年代标志着形式化验证在更复杂的软件和系统领域得到实质性扩展。证明辅助器技术趋于成熟：2012年微软研究院的莱昂纳多·德·莫拉启动了Lean项目，旨在结合依赖类型论与自动化证明；2016年，Isabelle成功完成了对seL4微内核操作系统的全功能正确性证明。工业界开始深度应用这些工具：亚马逊云计算服务使用TLA+验证其分布式数据库DynamoDB的一致性协议，发现了传统测试方法难以覆盖的关键边界错误；中国大陆的阿卡思微电子技术有限公司等企业推出了形式化EDA工具用于芯片设计领域。
当前阶段的一个核心特征是人工智能与形式化验证的融合。在AI辅助证明生成方面，2023年谷歌DeepMind开发的AlphaProof基于Lean框架解决了国际数学奥林匹克（）问题；2024年，DeepSeek-Prover在MiniF2F测试中取得了较高的通过率，展示了强化学习驱动的子目标分解证明能力。同时，多模态基础模型正在兴起：Lean 4平台已能支持形式化数学、代码生成和教育应用，其数学库Mathlib包含了大量定理；OpenAI与DeepMind等机构正探索大型语言模型（）与Lean框架（如LeanDojo）的结合应用。
证明助手 应用领域
证明助手凭借其数学严谨性，在安全攸关系统和高可靠性领域​​发挥着不可替代的作用。其广泛应用于形式化验证、数学定理证明、编程语言语义建模、安全性分析等多个计算机科学与数学交叉的研究与工程领域。
证明助手 应用领域
在形式化验证领域，证明助手发挥着核心作用。它们被广泛应用于​​硬件验证​​，例如严格验证微处理器设计（包括指令集架构和缓存一致性协议）、复杂逻辑电路的功能正确性，确保其完全符合规范，避免潜在的设计缺陷（如使用Coq或HOL Light验证浮点运算单元）。在软件验证方面，其应用尤为活跃且关键：证明助手用于验证操作系统内核（如经Isabelle/HOL形式化验证的seL4微内核）、编译器（如使用Coq验证的CompCert C编译器）、运行时环境等关键系统软件的功能正确性、安全属性（如信息流安全）和安全策略；用于形式化建模和分析密码协议（如TLS、Kerberos）的安全性（如认证性、保密性），以发现逻辑漏洞（常用工具包括ProVerif、Tamarin Prover或嵌入在Coq/Isabelle中的模型）；用于确保航空电子、医疗设备等安全关键嵌入式软件的行为符合严苛的安全需求；以及用于分析区块链智能合约的功能正确性和安全性（如防范重入攻击、溢出），提升其可靠性（使用Coq、Isabelle、K Framework等）。此外，证明助手在系统开发的早期阶段也用于精确地​​形式化系统规范与设计​​，并通过形式化推导或结合模型检查来验证设计是否满足需求，从而减少后期错误和返工。作为​​数学定理形式化与验证​​的基础性工具，证明助手极大地促进了严谨数学知识库的建设。大型项目致力于构建覆盖从基础逻辑、集合论到数论、代数、分析、拓扑等广泛分支的、经过机器严格验证的数学库（如Coq的Mathematical Components、Lean的Mathlib、Isabelle/HOL的Archive of Formal Proofs）。更重要的是，它们能够对极其复杂或历史上存在争议的定理（如四色定理、法伊特-汤普森定理、开普勒猜想）进行完整的机器辅助形式化证明，提供最高级别的可信度。同时，数学家们也利用证明助手探索新的数学构造、辅助复杂推导，甚至辅助发现新的证明思路或定理。在编程语言理论与设计​​方面，证明助手是验证语言​​元理论属性​​（如类型系统的可靠性/类型安全、进展性、保持性）不可或缺的工具（例如使用Coq形式化证明System F或λ演算变体的属性）。它们也被用于​​验证新编程语言或语言特性​​（如新型类型系统、并发原语、内存模型）的设计，通过形式化其语义来确保期望的属性成立。此外，证明助手还用于​​机械化程序逻辑​​（如霍尔逻辑、分离逻辑），形式化定义并验证这些逻辑的可靠性和完备性，为程序验证奠定坚实的理论基础。对于安全关键系统认证​​（如航空航天遵循的DO-178C标准、轨道交通的EN 50128标准、核能及医疗器械领域），证明助手进行的深度形式化验证是满足最高安全完整性等级认证要求的关键证据。它提供了比传统测试和评审更彻底、更具可追溯性的保证，显著降低了系统失效的风险。
证明助手 应用领域
随着证明助手性能的持续提升、自动化程度的增强以及用户界面的改善，其应用领域仍在不断拓宽，持续渗透到更多依赖高置信度保证的工程实践和科学研究之中。