Blaze7451/Wiki-zh-20250601 huggingface dataset:
2005年

**大事记**

**重要热点**
 伊拉克：美伊战争、美军占领伊拉克- 2005世界物理年- 2005年大西洋飓风季- 2005年苏门答腊地震- 2005年莫斯科大停电- 2005年新德里爆炸案- 伦敦七七爆炸案- 2005年法国骚乱- 2005年伯利兹骚乱- 2005年中国反日示威活动- JR福知山线出轨事故- 第44届日本众议院议员总选举- 2005 Thai general election- 三二六护台湾大游行- 2005年台湾团结联盟参拜靖国神社事件- 董建华辞任香港特别行政区行政长官，由曾荫权署理。- 世界贸易组织第六次部长级会议在湾仔香港会议展览中心举行，会议期间在会场附近的湾仔爆发香港反对世贸游行冲突。- 香港迪士尼成立。- 香港地铁迪士尼线通车。- 香港地铁机场快线（机铁）最后一个车站，机铁延线博览馆站。- 《联合国气候变化纲要公约》第11届缔约方会议召开。- 《联合国反腐败公约》生效。

**月份事件**

**出生**

**1月**
1月10日——
**朴干煜，韩国限定男团ZEROBASEONE成员
**孙浠伦，中国男演员
*1月14日——金幼彬，韩国女演员
*1月26日——亚历克斯·拉尼耶，法国男子羽球运动员
*1月28日——谢语恩，台湾女演员
*1月30日——道勋，韩国男子团体TWS成员

**2月**
2月1日——SOUL，韩国男子团体P1Harmony成员
*2月2日——商竣程，中国男子网球运动员
*2月10日——
**孙易磊，台湾棒球运动员
**铃木梨央，日本女演员
*2月15日——张聿岚，台湾女子篮球运动员
*2月18日——苏庭焕，韩国男子团体Treasure成员
*2月19日——阿尔玛·多伊彻，英国神童作曲家、钢琴家、小提琴家
*2月21日——洪和利，韩国女演员
*2月25日——诺亚·朱佩，英国男演员
*2月27日——李秉谕，台湾男子团体AcQUA源少年成员

**3月**
3月13日——露西·哈夫利奇科娃，捷克女子网球运动员
*3月27日——八代目 市川染五郎，本名藤间斋，日本歌舞伎演员，居号高丽屋
*3月31日——柏木悠，日本男演员、男舞者

**4月**
4月8日——亚历山大·布洛克什，比利时男子网球运动员
*4月9日——炎明熹，香港女歌手
*4月11日——Danielle，韩国女子团体NewJeans成员
*4月13日——Jiwoo，韩国女子团体NMIXX成员
*4月18日——邓恩熙，中国女演员
*4月27日——原凉子，日本女演员
*4月29日——提帮功王子，泰国王室成员，王位继承第一顺位

**5月**
5月1日——琳达·弗鲁维尔托娃，捷克女子网球运动员
*5月9日——冈村誉，日本女子偶像团体早安少女组。成员
*5月12日——维多利亚·丽丝图诺娃，俄罗斯女子竞技体操运动员
*5月24日——朴贤镇，韩国男歌手
*5月31日——英宰，韩国男子团体TWS成员

**6月**
6月17日——
**库珀·威廉士，美国男子网球运动员
**中山枫奈，日本女子滑板运动员
*6月21日——栽禧，韩国男子团体NCT成员
*6月25日——赵又洁，台湾童星
*6月28日——山绮爱生，日本女子偶像团体早安少女组。成员

**7月**
7月7日——松永里爱，日本女子团体Juice=Juice成员
*7月8日——金智怜，韩国女演员
*7月25日——吴若瑄，台湾童星
*7月30日——郭嘉佳，韩国女子团体TRI.BE成员

**8月**
8月8日——刘美贤，美国女子花滑运动员
*8月10日——普拉格，印度西洋棋特级大师
*8月16日——史彭元，中国男演员
*8月22日——姜睿序，韩国女子团体Kep1er成员
*8月23日——郝怡霖，中国女演员
*8月26日——Pharita，韩国女子团体BABYMONSTER成员

**9月**
 9月1日——林盛恩，台湾棒球运动员- 9月11日——陈芋汐，中国女子跳水运动员- 9月14日——林毓家，台湾男子团体AcQUA源少年成员- 9月16日——伊东苍，日本女演员- 9月23日——刘耀文，中国男子团体时代少年团成员- 9月28日——山绮天，日本女子团体樱坂46成员

**10月**
10月1日——姜晋安，台湾裔美国女演员、女作家
*10月4日——远藤璃菜，日本女演员
*10月18日——入江里咲，日本女子团体Juice=Juice的六期成员

**11月**
11月11日——樱井梨央，日本女子偶像团体早安少女组。成员
*11月19日——
**金钟燮，韩国男子团体P1Harmony成员
**盖儿·苏菲佳，泰国华裔女歌手

**12月**
12月2日——勒纳·田，美国男子网球运动员
*12月6日——达莉娅·阿塔玛诺弗，以色列个人艺术体操运动员
*12月9日——西村力，韩国男子团体ENHYPEN日籍成员
*12月17日——徐翔圣，台湾棒球运动员
*12月21日——加布里埃尔·德布吕，法国男子网球运动员
*12月23日——保罗·万纳，德奥混血男子足球运动员

**逝世**

**诺贝尔奖**
 物理学
** 罗伊·格劳伯（Roy J. Glauber，美国）
*** 表彰他对光学相干的量子理论的贡献
** 约翰·霍尔（John L. Hall，美国）和特奥多尔·亨施（Theodor W. Hänsch，德国）
*** 表彰他们对基于激光的精密光谱学发展作出的贡献- 化学
** 伊夫·肖万（Yves Chauvin，法国）、罗伯特·格拉布（Robert H. Grubbs，美国）、理查德·施罗克（Richard R. Schrock，美国）
*** 对烯烃复分解反应的研究- 生理学或医学
** 巴里·马歇尔（Barry J. Marshall，澳大利亚），罗宾·沃伦（J. Robin Warren，澳大利亚）
*** 发现了幽门螺杆菌以及该细菌对胃及十二指肠溃疡的致病机理- 文学
** 哈罗德·品特（Harold Pinter CH, CBE，英国），剧作家及剧场导演。
*** 他的作品揭示了日常絮谈中的危机、强行打开了压迫的封闭房间。- 和平
** 国际原子能机构（IAEA）及其总干事穆罕默德·巴拉迪（Mohamed ElBaradei，埃及）
*** 防止核能被用于军事目的并确保最安全的和平利用核能- 经济学
** 托马斯·克罗姆比·谢林（Thomas Crombie Schelling，美国）、罗伯特·约翰·奥曼（Robert John Aumann，美国／以色列）
*** 通过博弈论分析促进了对冲突与合作的理解。

**奥斯卡金像奖**
（第78届，2006年颁发）- 奥斯卡最佳影片奖——《冲击效应》- 奥斯卡最佳导演奖——李安（《断背山》）- 奥斯卡最佳男主角奖——菲腊·西摩·荷夫曼（《柯波帝：冷血告白》）- 奥斯卡最佳女主角奖——丽丝·韦花丝潘（《弦途有你》）- 奥斯卡最佳男配角奖——乔治·克隆尼（《谍对谍》）- 奥斯卡最佳女配角奖——丽素·慧丝 《无国界追凶》
智力游戏

智力游戏是有娱乐性质的问题、游戏或是玩具。在过程中需要运用智慧，以逻辑方式解决游戏中的问题，完成游戏的挑战。智力游戏可以分为许多类，例如填字游戏、找字游戏、数学游戏、逻辑益智游戏等。也有些智力游戏是配合实体的玩具，需依规则分开（如Disentanglement puzzle或九连环）或是组合（例如拼图、七巧板、索玛立方体）。谜题学（Enigmatology）是有关智力游戏的学术研究。
智力游戏一般是为了娱乐用途而产生的，不过也可能是因为一些Mathematical problem或逻辑问题而出现的。这类智力游戏的解可能会对数学研究有很大的贡献。
日本《数理科学》杂志曾评选世界智力游戏界的三大不可思议，结果是魔术方块、独立钻石棋和华容道。

**分类**
各种各样的智力游戏
由三片零件组合成的智力游戏玩具
智力游戏可以分类如下：
*情境猜谜，猜测情境型事件真相的智力游戏。
*数学谜题，其中包括失踪的正方形，以及许多已确定没有解答的不可能谜题，像是柯尼斯堡七桥问题、三个杯子问题及三间小屋问题。
**算额，日本书写在匾额或绘马的和算问题 
*国际象棋棋谜是有关国际象棋的谜题，例如骑士巡逻及八皇后问题。
*机械智力玩具是有配合实体道具（例如魔方、索玛立方体或孔明棋），需要移动、旋转或组合以达到目的的智力游戏
**combination puzzle，例如魔方。
**construction puzzle，例如stick puzzle。
**Disentanglement puzzle，例如九连环
**折叠谜题（folding puzzle）
**拼图
**lock puzzle，有隐藏机构，不易打开的锁。
**秘密盒
**滑块类游戏（例如数字推盘游戏及仓库番）
**tiling puzzle，例如七巧板、十五巧板
**汉诺塔
*Metapuzzle，以其他智力游戏为元素组成的智力游戏。
*纸笔游戏谜题，例如Connect the dots及数织。
**也包括Nikoli推出的许多逻辑益智游戏，例如数独、数回（slither link）、数和（Cross Sums）、数桥（Hashiwokakero）等。
*找不同
*Tour puzzle，例如迷宫。
*Word game，例如相同字母异序词（anagram）、密码、填字游戏、猜单词游戏及Word search。
*电子益智游戏
**消除类游戏
**益智游戏平台（Puzzle-platformer）
**冒险游戏
**寻物游戏
**踩地雷

**相关条目**
 不可能谜题列表- 智力运动

**参考资料**

**外部连结**
 台湾益智玩具博物馆
夏圭

夏圭（catIdx=X夏），字禹玉，钱塘（今浙江杭州）人，南宋画家。

**生平**
宋宁宗时（1195—1224）官至画院中最高职等的待诏，并赐金带。a1早年工人物画，后以山水画着称，取法李唐，画山石时用水墨皴染，用秃笔带水作大斧劈皴，称为“拖泥带水皴”。笔简意足，清旷俏丽，善于提炼剪裁，景色含蓄动人，清幽深远。所画山水取景多为“半边”、“一角”之景，构图别具一格，有“夏半边”之称。是北派山水代表人物之一。a2
夏珪画法和马远也相近，后人把他与马远并称“马夏”，两人著名于空间留白构图，「马一角、夏半边」实为引导观赏者之方向。马、夏二人加上李唐、刘松年，被合称为“南宋四家”。
夏珪的儿子夏森，也擅长作画。

**作品**
存世作品有《溪山清远图》、《江山佳胜》等图。

**参考资料**
category:宋朝画家
方从义

替代=
替代=
方从义，（约1393年），早年入道，从师金月岩，字无隅，号方壶，不芒道人，金门羽客等，中国元代画家。江西贵溪人。工于山水。

**作品**
《神岳琼林图》，藏于台北国立故宫博物院
《高高亭图》，藏于台北国立故宫博物院
《山阴云雪》轴，藏于台北故宫博物院
《武夷放棹图》，藏于北京故宫博物院
高克恭

高克恭
云横秀岭图，国立故宫博物院藏
高克恭（catIdx=G），字彦敬，号房山，中国元代画家。色目人。

**生平**
祖籍西域（今新疆），占籍大同（今属山西）。其父高亨，字嘉甫，移居燕京（今北京），“时皆知名士”。克恭自幼聪慧好学，博览经史，早年任工部令史，至元二十四年，官至监察御史；至元二十八年出任江浙省左右司郎中。大德元年 （1297年），迁山西、河北道廉访副使，二年担任江南行台治书侍御史，任上“兴学校，选真才”，大德三年为工部侍郎。六年任吏部侍郎。历官刑部主事、刑部侍郎、大名路总管、太中大夫。累官至刑部尚书，深得百姓爱戴。至大三年九月初四日（1310年9月27日），病逝于燕京之南。
工山水画，亦擅墨竹，山水师法米芾父子、巨然、李成等人，被虞集誉为“国朝名笔第一”。有《春山晴霭图》、《春云晓霭图》、《墨竹坡石图》等传世。赵孟𫖯在《墨竹坡石图》中题诗曰：“高侯落笔有生意，玉立两竿烟雨中。天下几人能解此，萧萧寒碧起秋风。”着有《房山集》、《高文简公集》。
公路收费站

2017年，位于山西境内的省界收费站，G5京昆高速龙门站
公路收费站是收费公路为征收道路通行费而设立，道路使用者在收费站缴费，普遍在特大桥、国道和高速公路上可见。传统上收费站都以人手收费，在21世纪，随着科技的进步，收费站已经渐渐被更省时而且营运成本更低的电子收费系统所取代。

**种类**
收费站与收费系统有两种，一种是在公路当中设置闸门收取定额通行费的。如果一条公路够长，就会设置多个收费点。其优点是每个收费站收取的费用固定，易于计费。这一种系统的最大问题是没有依照实际使用距离收取费用，对于道路使用者可能比较不公平。
另一种系统是车辆在进入公路领取通行卡，离开公路以前先交卡，根据入口和出口距离决定收费金额。这种系统的最大好处是对于公路使用者体验了“走多远，付多少”的公平原则。而其缺点则是在都市地带容易造成进出匝道的交通阻塞。

**图库**

**参考**

**参见**
 电子道路收费系统- 公路收费系统
category:公路
王蒙 (画家)

王蒙（catIdx=W），字叔明，一作叔铭，号黄鹤山樵，浙江湖州人。元末明初画家，元四家中最年轻者。
王蒙于元朝末年曾入仕，后来弃官隐居于今浙江余杭黄鹤山达30年，自号黄鹤山樵。明初出任山东泰安知州，由于曾在当时宰相胡惟庸家观画，胡被捕时受牵连入狱，死于狱中。

**生平**
《明史》卷二八五有传：“王蒙，字叔明，湖州人，赵孟𫖯之甥也。敏于文，不尚矩度。工画山水，兼善人物。”父亲王国器，母亲为赵孟𫖯女儿。元代时，王蒙曾希望以画艺获得举荐超拔。倪瓒曾以诗规劝：“连榻卧听雨，剧谈清更真；少年英迈气，求子不多人。仕禄岂云贵？被琛非所珍；当希陋巷者，乐道不知贫。” “钓丝烟雾外，船影画图中。他日千金积，陶朱术偶同。”
元末大乱时，王蒙先投奔张士诚，战败投靠朱元璋。明王朝建立后，王蒙一度出任泰安知州厅事。但不久因与会稽郭传、僧知聪观画于胡惟庸第，洪武十八年（1385年），受牵连而死在狱中。

**艺术**
王蒙自幼受外祖父赵孟𫖯的影响，喜好绘画，后得黄公望的指教，又常与倪瓒等人切磋，对山水画有独到的创新，发明了牛毛皴画法，善用渴墨苔点，所画山水景色稠密，山重水复，布局繁密，苍郁深秀；用解索皴和渴墨点苔，表现林峦郁茂苍茫的气氛，为他的独到处。
后人将王蒙和吴镇、黄公望、倪瓒并称为“元四家”，倪瓒曾称赞他“叔明笔力能抗鼎，五百年来无此君。”他的画面空白不多，题咏有时兼用篆隶行楷，对后代明清画家影响较大。
流传后世的作品有《青卞隐居》、《夏日山居》、《夏山高隐》、《秋山草堂》、《花溪渔隐》、《溪山高逸》、《谷口春耕》、《葛稚川移居》、《太白山图》、《丹山瀛海》等作品。
2011年6月4日晚《葛稚川移居图》在北京保利2011春拍夜场中，被持8086号竞投牌的藏家以3.5亿元竞得。再加佣金，最后成交价达4.025亿元人民币成交

**评价**
明王世贞《艺苑巵言论画》说：“叔明（王蒙）师王维秾郁深至。”清恽寿平《南田画跋》说：“黄鹤山樵远宗摩诘，其能自立门户，颉颃黄倪，盖得力于北苑（董源）者深也”。明董其昌《画旨》亦说：“（王叔明）以董源、王维为宗。”

**部分作品**

**相关条目**
元四家
*黄公望
*吴镇
*倪瓒
描写语言学

描写语言学（descriptive linguistics），或描述语言学是一种结构主义语言学，持有这一观点的语言学家，旨在对一段时间内的特定的语言或方言作全面、客观、系统的描述。
描写语言学常与更为传统的规范语言学做比较，前者注重语言的现实用法，后者注重按理想状态规定语言。

**特点**
描写语言学是逐步形成的，在不同时期理论也有所不同，其学术观点也并不一致，总的来说，其共同特点是：
*反对心灵主义，主张行为主义
*主张共时的描写和分析方法的研究
*着重形式分析，运用分布和替代法，从话语中分离出音素、语素，并加以归类
*注意研究口语

**历史**
在20世纪初期，美国的语言学家与欧洲的语言学家在学术观点上大多是一致的。1911年，一些语言学家在调查印第安语后出版了《美洲印第安语手册》的第一卷。鲍阿斯在书中的序言对美国的语言学发展影响很大，他要求人们摆脱传统的语言学概念和方法，强调要对语言事实要作客观的描写，也由此开创了描写语言学的道路。
其后，鲍阿斯的学生萨丕尔主张把口语记录下来作为素材，然后对其作客观研究。1924年，鲍阿斯、萨丕尔等人发起成立了美国语言学会，学会中的语言学家大致可分为新语法学和人类语言学两派，前者继承了辉特尼的传统，后者接受了萨丕尔的学说。描写语言学正是以这些人为核心逐步发展起来的。
描写语言学在1930年代-1950年代在美国的语言学研究中占有统治地位。
1933年，布龙菲尔德出版了《语言论》，从行为主义的立场出发，认为语言是一系列刺激和反应的行为，主张通过形式特征来描写语言结构，反对用心理因素等非语言学的标准来分析语言。在共时分析中应该排除历时的因素。这些观点被美国描写语言学的信奉者视为教条，这本著作也被认为是描写语言学正式诞生的标志，因此也有人称这个学为“布龙菲尔德学派”。直到1950年，美国描写语言学走向成熟，理论基本上建立在行为主义基础上，并反对前一时期的心灵主义，提出了一些结构分析的方法和技术。
1951年，海里斯出版了《结构语言学的方法》，提出了一整套语言结构分析的理论和方法，它也被认为是继布龙菲尔德之后“美国新语言学的发言人”。这以后的时期也被称为“后布龙菲尔德时期”。
1957年，乔姆斯基在《句法结构》一书介绍了生成语法，随后又提出转换-生成语法理论，对描写语言学形成了挑战。

**参考文献**

**参见**
 语料库
黄公望

天池石壁图，藏于中国北京替代=
黄公望（catIdx=H黄），字子久，号大痴、大痴道人、一峰道人，平江路常熟州（今江苏省苏州市常熟市）人，元朝画家。

**生平**
黄公望曾任小吏，延祐二年（1315年）九月，因张闾贪污事被牵连入狱，开释后入了全真教出家，并与张三丰、莫月、冷谦等道友交往，隐居在常熟小山头（今虞山西麓）。至正十四年（1354年）十月二十五日，在常熟逝世，葬虞山西麓。

**身世之谜**
黄公望，尊为「元四家」之首。由于成名时已是全真道士，浪迹江湖，所以即使是同时代的人，也没有讲清他的籍贯和逝世时间、地点。关于黄公望的籍贯，目前有着多个版本的说法，分别有杭州、松江、常熟、富阳、衢州、徽州、莆田和永嘉等说法：
#元明间，黄公望的朋友常州人王逢认为黄公望是「杭人」，他在《题黄大痴山水》诗中写道：「大痴名公望，字子久，杭人……」；
#元朝钟嗣成认为黄公望是松江人，他在《录鬼簿》中写道：「黄子久，名公望，松江人。」；
#元代末年绘画鉴藏和史论家夏文彦认为黄公望是常熟人，其在《图绘宝鉴》里写明：「黄公望……平江常熟人。幼习神童，科通三教，旁晓诸艺，善画山水。」；
#同是夏文彦的《图绘宝鉴》神州国光社本则认为黄公望是衢州人；
#1461年成书的《明一统志》卷三十八：「黄公望，富阳人」，明凌迪知《万姓统谱》也持富阳说，但明万历陈善《杭州府志》则又增加了「徽州人」的说法；
#清朝乾隆年间的《大清一统志》卷五十九写道：「黄公望，莆田人」，乾隆《娄县志》卷三十中也写道：「……相传莆田巨族，一云常熟陆神童之弟。」
#元末明初，黄岩陶宗义认为黄公望是永嘉人（今温州市），他《辍耕录》卷八《写山水诀》里写道：「黄子久散人公望，自号大痴，又号一峰，本姓陆，世居平江常熟，继永嘉黄氏」。 

**成就**
黄公望学识渊博，工书法，通音律，能诗文，钟嗣成说他：「公之学问，不在人下，天下之事，无所不知，薄技小艺亦不弃。」50岁才开始学绘画，曾得到赵孟𫖯的指教，陶宗仪说他「画山水宗董、巨」。黄公望自称为「松雪斋中小学生」，重视写生，常在风景名胜地随笔摹写，其水墨山水尤为出色，创立了浅绛山水，代表作为《富春山居图》，邹之麟在题跋中称此图「笔端变化鼓舞，右军之兰亭也，圣而神矣」其著作有《山水诀》是中国山水画的重要理论著作。
黄公望和吴镇、倪瓒、王蒙并称为「元四大家」，「以黄公望为冠」，是元代的著名画家，其中倪瓒和王蒙都曾向他请教过，他的画风对宋代以来的画法有创新，对明清的山水画发展有很大影响。明代评论家王世贞评论说他的画法「无笔不灵，无笔不趣，于宋法之外，又开生面。」山水画于「大痴、黄鹤（王蒙）又一变也。」

**传世作品**
富春山居图
*九珠峰翠图，藏于台湾台北国立故宫博物院
*溪山无尽图，藏于台湾台北国立故宫博物院
*岩壑幽居图，藏于台湾台北国立故宫博物院- 天池石壁图，藏于中国北京故宫博物院- 快雪时晴图，藏于中国北京故宫博物院- 九峰雪霁图，藏于中国北京故宫博物院- 丹崖云树图，藏于中国北京故宫博物院- 水阁清幽图，藏于中国南京博物馆
*富春大岭图，藏于中国南京博物馆

**注释**

**参考书目**
赵琦美编《赵氏铁网珊瑚》卷十四
程序设计方法学

程序设计方法学是讨论程序的性质以及程序设计的理论和方法的一门学科，是研究和构造程序的过程的学问，是研究关于问题的分析，环境的模拟，概念的获取，需求定义的描述，以及把这种描述变换细化和编码成机器可以接受的表示的一般的方法。

**程序设计方法学发展历史**

**产生背景**
1950年代—1960年代初，手工艺式的程序设计方法，高德纳把程序称为艺术品。
*1960年代末—1970年代初，出现软件危机：一方面需要大量的软件系统，如操作系统、数据库管理系统；另一方面，软件研制周期长，可靠性差，维护困难。编程的重点：希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到好结构的程序。
*1968年，北大西洋公约组织（NATO）在西德召开了第一次软件工程会议，分析了危机的局面，研究了问题的根源，第一次提出了用工程学的办法解决软件研制和生产的问题，本次会议可以算做是软件发展史上的一个重要的里程碑。
*1969年，国际信息处理协会（IFIP）成立了“程序设计方法学工作组”，专门研究程序设计方法学，程序设计从手工艺式向工程化的方法迈进。

**结构化程式设计的研究**
1968年，结构化程式设计方法的研究。Dijkstra提出了“GOTO是有害的”，希望通过程序的静态结构的良好性保证程序的动态运行的正确性。
*1969年，Wirth提出采用“自顶向下逐步求精、分而治之”的原则进行大型程序的设计。其基本思想是：从欲求解的原问题出发，运用科学抽象的方法，把它分解成若干相对独立的小问题，依次细化，直至各个小问题获得解决为止。

**“程序正确性证明”的研究**
1967年，Floyd提出用“ 断言法”证明框图程序的正确性。
*1969年，Hoare在Floyd的基础上，定义了一个小语言和一个逻辑系统。此逻辑系统含有程序公理和推导规则，目的在于证明程序的部分正确性，这就是著名的Hoare逻辑。他的工作为公理学语义的研究奠定了基础。 
*1973年，Hoare和Wirth把PASCAL语言的大部分公理化。
*1975年，一个基于公理和推导规则的自动验证系统首次出现。
*1979年，出现了用公理化思想定义的程序设计语言Euclid。
*1976年，Dijkstra提出了最弱前置谓词和谓词转换器的概念，用于进行程序的正确性证明和程序的形式化推导。
*1980年，D.Gries综合了以谓词演算为基础的证明系统，称之为“程序设计科学”。首次把程序设计从经验、技术升华为科学。
*1974年，人们利用模态逻辑验证并行程序的正确性。
*关于程序正确性证明的争论：
**怀疑和反对派，理由：首先，形式证明太复杂，谁能够保证证明本身没有错误呢！其次，程序写好后再证明其正确性，相当于“马后炮”，即错误已经铸成，证明何能补救？
**折中的方案：编写程序，边考虑证明。即程序设计与正确性证明同时并行考虑。 

**构造正确的程序**
利用Dijkstra的谓词转换器及其演算规则集合，可以推导出正确的程序。
利用程序变化构造正确的程序。它对程序应用一连串的保护正确性的变换规则，最终得到可执行的程序。Program transformation是1970年代以来，“程序设计方法学”研究的重要方面，是程序设计自动化很有希望的途径之一。递归程序变换是这一时期的最有意义的成果。如Burstall和Darlington的递归程序变换系统等。 
逻辑程序设计和函数程序设计代表一种新的研究方向。Prolog是以谓词逻辑的子集（Hoare子句）为基础的一种形式系统。Prolog的执行过程就是执行逻辑上消解算法的过程。

**抽象数据类型的研究**
抽象数据类型是程序设计方法学中一种极为重要的方法。人们把它誉为程序设计方法学发展史上的一个重要的里程碑。

**研究的内容**
结构化程序设计
*数据抽象与模块化程序设计
*程序正确性证明
*Program transformation
*程序的形式说明与推导
*程序综合与分析技术
*面向对象的程序设计方法
*大型程序的开发

**与软件工程的关系**

**研究方法的不同**
软件工程主要应用工程的方法和技术研究软件开发与维护的方法、工具和管理的一门计算机科学与工程学交叉的学科 
程序设计方法学主要运用数学方法研究程序的性质以及程序设计的理论和方法的学科； 

**研究的对象不同**
软件工程的研究对象是软件系统。目标是降低软件的开发成本，提高软件的质量，提高软件的可维护性，提高软件开发的效率。着重于软件的宏观可用性。程序设计方法学研究对象是程序。目标是保证程序的正确性。着重于程序的微观正确性。软件工程与程序设计方法学的界限变得越来越模糊 
程序设计方法学是软件工程的基础。
湿地

-{H|zh-cn:湿;zh-tw:湿;zh-hk:湿}-
台湾清水傍晚时分的高美湿地
湿地（wetland）是永久或季节性被较浅的水（少于6米的淡水、半咸水或海水）掩盖的独特自然环境，是一种许多缺氧过程具有优势的半水生生态系统，也是陆地生态系统和水域生态系统之间的过渡性地带。有许多水生植物生长在土壤长期被水体浸泡的特定湿地环境中，这些能够适应独特水土环境的水生植物也常是区分湿地与其他地形、水体的特征植被。湿地广泛分布于世界各地，拥有众多野生动植物资源；很多珍稀水禽的繁殖和迁徙离不开湿地，仰赖湿地提供的栖息地和生态系统，因此被称为「鸟类的乐园」。湿地有强大的生态净化作用，可以改善河流水质，因而又有「地球之肾」的美名。
在人口数量急剧增加和经济快速发展的双重压力下，19世纪中后期大量湿地被改造成农田，加上过度的资源开发和污染，湿地面积大幅度缩小，湿地物种受到严重破坏。为保护湿地和湿地中的丰富物种，1971年2月2日建立了全球政府间保护公约湿地公约。到2014年1月为止已有168个缔约国，2170块湿地列入国际重要湿地名录。

**功能与作用**
佛罗里达州的一块湿地湿地是地球生态环境的重要组成部分，与森林、海洋一起并称为全球三大生态系统，其中湿地的生态系统功能及作用在近年得到越来越多的重视。湿地具有包括：净化水质、蓄水、固碳、促进营养物质循环过程等功能，也能保护海岸线的稳定以及作为植物和动物生存的栖地。湿地也被认为是生物多样性最高的生态系统，不过一个湿地是否能够发挥功能，以及它们能够发挥的程度则取决于该湿地及其附近的环境与水域特征。许多快速评估湿地功能的方法在各地被开发出来，提出一些条件与方法用以评估湿地生态的健康程度，并且希望透过提高公众对湿地功能与湿地生态系统服务的认识来促进湿地保护。
湿地的功能与作用还包括：- 湿地具有强大的沉积和净化作用。流水进入湿地后，各种物质随水流缓慢而沉积，成为湿地植物的养料，其中的有毒物质会被泥土中的微生物迅速分解。- 湿地物种十分丰富，生物多样性中蕴藏着丰富的遗传资源，在科学研究中都有重要地位。- 湿地具有巨大的景观价值，九寨沟、洞庭湖、鸟岛等都是著名的湿地风景区，自然风光与丰富的动植物资源是巨大的旅游特色。
- 湿地中含有大量的水，在水的生态循环中具有重要作用：
** 湿地参与水循环，可以涵养地下水、调节地表径流，对防止干旱和洪涝有重要影响；
** 湿地能防止海水入侵，减轻沿海土地的盐碱化和枯水期海水向内河的倒灌；
** 湿地可以保护海岸，防止侵蚀。热带和亚热带的红树林防止海岸侵蚀的作用最为明显同时还有防风作用；
** 湿地的水分小气候有影响。干旱地区中，周边地区比其他地方的气候湿润，有利于生态环境。- 湿地的丰富物产资源具有很高价值：
** 湿地富产鱼、虾、藻类、莲藕、芦苇、药材等，是相当重要的农业、渔业、牧业和副业自然资源；
** 矿产资源。湿地中的泥炭是很好的燃料；湿地是重要的油田分布区域；碱水湖和盐湖湿地中有各种矿砂和盐类资源。

**定义**
温带湿地（英国）
由于湿地和水域、陆地之间没有明显边界，加上不同学科对湿地的研究重点不同，造成湿地的定义一直存在分歧。
国际湿地公约采用广义的湿地定义，指不问其为天然或人工、长久或暂时性的沼泽地、湿原、泥炭地或水域地带，带有或静止或流动、或为淡水、半咸水或咸水水体，包括低潮时水深不超过六米的水域。这一定义包含狭义湿地的区域，有利于将狭义湿地及附近的水体、陆地形成一个整体，便于保护和管理。
湿地的研究活动则往往采用狭义定义。美国鱼类和野生生物保护机构于1979年在「美国的湿地深水栖息地的分类」一文中，重新给湿地作定义为：「陆地和水域的交汇处，水位接近或处于地表面，或有浅层积水，至少有一至几个以下特征：（1）至少周期性地以水生植物为植物优势种；（2）底层土主要是湿土；（3）在每年的生长季节，底层有时被水淹没。」定义还指湖泊与湿地以低水位时水深2米处为界，按照这个湿地定义，世界湿地可以分成二十多个类型，这个定义目前被许多国家的湿地研究者接受。
湿地的水文条件是湿地属性的决定性因素。水的来源（如降水，地下水，潮汐，河流，湖泊等），水深，水流方式，以及淹水的持续期和频率决定了湿地的多样性。水对湿地土壤的发育有深刻的影响。湿地土壤通常称为湿土或水成土。

**类型**
地球上的每个大陆上都有湿地，湿地基本分五大类型：沼泽湿地、近海及海岸湿地、河流湿地、湖泊湿地、库塘。沼泽湿地是最典型的湿地类型，随着对湿地更广泛的认知，许多含水区域也被归类为湿地。

**沼泽湿地**
沼泽湿地通常包括树沼、草沼、酸性泥炭沼泽与矿质泥炭沼泽及其他沼泽类型。

**树沼**
印第安那的一小块湿地
树沼（swamp）又称木本沼泽，包括：
*灌丛沼泽（shrub swamp）：以灌木为主的沼泽，植被盖度≧30%。
*森林沼泽（forested swamp）：有明显主干、高于6米、郁闭度≧0.2的木本植物群落沼泽。

**草沼**
日本群马县沼泽草沼（marsh）又称草本沼泽：植被盖度≧30%，以草本植物为主的沼泽。

**酸性泥炭沼泽**
酸性泥炭沼泽（bog）即酸沼，由于营养不足，典型植物为水藓。
*藓类沼泽：以藓类植物为主，盖度100%的泥炭沼泽。

**矿质泥炭沼泽**
矿质泥炭沼泽（fen）是一种呈碱性至弱酸性的泥炭沼泽。

**其他沼泽湿地**
 沼泽化草甸：包括分布在平原地区的沼泽化草甸以及高山和高原地区具有高寒性质的沼泽化草甸、冻原池塘、融雪形成的临时水域。- 内陆盐泽：分布于干旱和半干旱地区的盐泽。由一年生和多年生盐生植物群落组成，水含盐量达0.6%以上，植被盖度≧30%。- 低热湿地：由温泉水补给的沼泽湿地。- 淡水泉或绿洲湿地。

**近海及海岸湿地**
浅海海域：低潮时水深不足6米的永久性水域，植被盖度

**外部连结**
  湿地公约官方站 date=20180208145319 -  湿地中国 date=20090220143743 -  中国湿地网 date=20080330202549 -  台湾湿地保护联盟 date=20041015041504
王熙凤

王熙凤是《红楼梦》中的主要人物，贾琏正妻、巧姐生母，亦是王夫人的姪女、贾宝玉的堂嫂及表姐。出身金陵四大家族之一的王家，别称凤姐儿，又称琏二奶奶，是荣国府的实际当家人。周汝昌认为《红楼梦》故事情节有两大脉路，一条以贾宝玉为中心，一条以王熙凤为中心。

**形象与性格**
王熙凤在全书中第一次出场是在第三回，林黛玉初到外婆家中，曹雪芹借由黛玉的眼睛、耳朵为读者勾勒出一位形容偕美、雍容华贵又气度非凡的女当家。当黛玉还在为贾府的人多、礼多而屏神以待时，「只听后院中有人笑声说：『我来迟了，不曾迎接远客！』」，黛玉对熙凤的第一印象是「无礼」，不过随后「只见一群媳妇、丫鬟围拥着」见识到熙凤的权威，黛玉观察熙凤「打扮与众姊妹不同，彩绣辉煌，恍若神妃仙子：头上戴着金丝八宝攒珠髻，绾着朝阳五凤桂珠钗；项上戴着赤金盘螭璎珞圈；裙边系着豆绿宫绦，双衡比目玫瑰佩；身上穿着缕金百蝶穿花大红洋缎窄褙袄，外罩五彩刻丝石青银鼠褂；下着翡翠撒花洋绉裙。一双丹凤三角眼，两弯柳叶吊梢眉；身量苗条，体态风骚；粉面含春威不露，丹唇未启笑先闻」。这一串的描写使王熙凤的形象立即活跳出来。
随后，曹雪芹立刻又用贾母及黛玉母亲之口说明熙凤的性格：「你不认得她，她是我们这里有名的一个泼皮破落户儿，南省俗谓作『辣子』，你只叫他『凤辣子』就是」、「黛玉虽不识，也曾听见母亲说过，大舅贾赦之子贾琏，娶的就是二舅母王氏之内侄女，自幼假充男儿教养的，学名叫王熙凤」。
王熙凤以聪明漂亮，精明干练闻名，亦以阴险狠毒，心狠手辣而着称，在短暂的几年掌权中，她争强好胜，工于心计，极尽权术机变、残忍阴毒之能事，阴险毒辣，爱慕虚荣，造了许多罪孽，折在她手里的就有好几条人命，可见其手段之毒辣。她邀功诿过，掌握荣国府的家务处置、财务开支，掌握日常开销与姑娘们、奶奶、哥儿、丫环们的月银，有时还拿去放高利贷，但她并不曾苛扣银两。“每年少说也得翻出一千银子来”。荣国府小厮兴儿说她“嘴甜心苦，两面三刀”，“上头笑着，脚底下使绊子”，“明是一盆火，暗是一把刀”。王熙凤弄权铁槛寺，贪利拆散张金哥与守备公子的姻缘，致使二人先后自尽。贾琏偷娶尤二姊为二房后，凤姐使人告状并加害尤二姐，又召庸医将二姐已经成型的八个月大的男婴打下来，最终致使尤二姐“吞生金自尽”。
王熙凤的判词称她“一从二令三人木”，指的是其夫贾琏一开始对她敬从，后来对她指使命令，最后被休掉的结局。“机关算尽太聪明，反算了卿卿性命！”高鹗的后续第114回写王熙凤因病而亡于荣府。

**判词**

**判词解析**
目前公认『一从二令三人木』应以拆字法解。普遍说法是，此句呈现其夫贾琏对她的态度，是从『从』（服从）、『令』（命令）再到『人木』，『人木』合为休，故主流说法认为王熙凤最终会被休弃。

**人物下场**
在程高本中，王熙凤的结局，是在贾府败落、管家权力被夺后抑郁病死。在87版红楼梦的戏剧中，她的结局是众叛亲离，贾府败落后锒铛入狱，最终在狱中病死。在刘心武续本中，则是沦为下人，并在回老家的路上不堪凌辱，投入船上茅厕自尽。

**曲文**
「聪明累」

**其他**
 《红楼梦》没有直说王熙凤是谁的女儿，在小说前八十回提到王夫人的哥哥王子腾，后四十回提到另外一个哥哥王子胜（114回）。- 王熙凤开始不识字，后来因为长期读账本，终于也认识了些字。- 王熙凤直接害死的人有贾瑞、尤二姐。- 王熙凤养小叔子嫌疑。贾琏说：“他防我像防贼的，只许他同男人说话，不许我和女人说话，我和女人略近些，他就疑惑，他不论小叔子侄儿，大的小的，说说笑笑，就不怕我吃醋了。”有种观点认为焦大骂养小叔子是指王熙凤。但是王熙凤的小叔子是贾宝玉，王熙凤与贾宝玉之间的关系非常清白，焦大所言“爬灰的爬灰，养小叔子的养小叔子”前半句“爬灰”所指贾珍，“养小叔子”所指贾蓉。
史湘云

湘云醉眠（清．改琦）
史湘云是《红楼梦》中的主要人物，首次出场于第二十回，是金陵十二钗之一。她出身金陵四大家族之一的史家，是贾母（史太君）的姪孙女，其祖父为贾母的兄弟。在海棠诗社别号枕霞旧友，花签海棠。其身型蜂腰猿臂、鹤势螂形，容态十分秀丽，性格爽朗率真，诗思亦敏锐超逸，深得贾母喜爱。因父母在其襁褓中就已经亡故，贾母曾将湘云接至贾府教养，她也常至贾府小住。
原着第62回《憨湘云醉眠芍药裀》，描写湘云在宝玉生日宴上酒醉卧睡于芍药花丛石板凳之上。其章节足与「黛玉葬花」、「宝钗扑蝶」并列红楼梦最唯美情节，也成为后世绘画的题材———包括两岸四地发行之红楼梦邮票，都以此为题。

**简介**
湘云个性质朴纯真，性格豪爽，也以话多活泼而着称于大观园，因咬舌“二、爱”不分，称贾宝玉为“爱哥哥”，被林黛玉挖苦嘲笑。另有一回“脂粉香娃割腥啖膻”专门描写史湘云本真、坦荡之天性，湘云说自己是“是真名士自风流”，批黛玉是“假清高”。湘云颇有诗才，见“凹晶馆联诗悲寂寞”章回，其诗才丝毫不让黛、钗二人。薛宝钗称之为话口袋子、诗疯子。此外，宝钗、宝玉有金玉，湘云、宝玉也各有一只金麒麟。
袭人原来服侍的是史湘云，后来贾母见她服侍湘云很稳妥，又将她派去服侍宝玉。说明湘云小时经常住在贾母处，是宝玉青梅竹马的朋友。后来湘云称呼袭人为姐姐。

**结局**
高鹗续书与曹雪芹原意相去甚远。后四十回以草率、非常短促而简略的文字，了结全书要角史湘云和无名丈夫的终身大事，只有丈夫病亡而湘云立志守寡，并未解释两鬓成霜、金麒麟与白首双星的矛盾。然而关于史湘云的结局，在书中有几处可以探讨：
一、湘云的判词中有「展眼吊斜晖，湘江水逝楚云飞」，在其「乐中悲」的曲文则为「好一似、霁月光风耀玉堂。厮配得才貌仙郎，博得个地久天长，准折得幼年时坎坷形状。终久是云散高唐，水涸湘江。这是尘寰中消长数应当，何必枉悲伤！」从大量分离的典故，可见得湘云和丈夫的结局是分离的。
二、甲戌本在第一回「说什么脂正浓，粉正香，如何两鬓又成霜」侧批中提到此为『宝钗、湘云一干人』。可见无论薛宝钗与史湘云，皆非短命早死之人。
三、湘云和卫若兰结为夫妻。凭借三十一回脂评解释宝玉身上的麒麟是：『……后数十回若兰在射圃所佩之麒麟，正此麒麟也……』（因为卫若兰拿到了宝玉的金麒麟）。
这便出现了矛盾和颇令人猜测的悬案。两鬓成霜，并根据判词和曲子暗示，指得是宝钗与湘云婚姻上的不幸，以及孤独终老。
但《因麒麟伏白首双星》明显的是说身有小金麒麟的湘云，和另一个拿到大金麒麟的人（贾宝玉或卫若兰）会相爱至白首。
因此延伸出三种说法：
一为普遍接受之推测，《白首双星》的意思是如同牛郎星和织女星。两人到了白首，或说鬓发如霜之时，都如牵牛织女一般，湘云和其丈夫即便相爱，相见的日子一辈子皆遥望无期。
一则是史湘云首寡后终于宝玉续缘。根据周汝昌的意见：史湘云在卫若兰死后，与沦落之贾宝玉婚配终身，伏了《因麒麟伏白首双星》之笔，因两人各有麒麟，所以白头。后来，1977年在杭州图书馆发现了道光年间陈其泰评批的程乙本《红楼梦》，在第三十一回，陈其泰写着乾隆年间曾经有一个《红楼梦》一百回钞本，跟诸本不同，说薛宝钗与宝玉成婚不久即死，而湘云嫁夫早寡，宝玉娶湘云为继室，「其时贾氏中落，萧索万状，宝玉湘云有除夕唱和诗一百韵，俯仰盛衰，流连今昔。其诗极佳 ... 惜余方在稚齿，不能记忆也。」 张爱玲在〈五详红楼梦——旧时真本〉一文终于认同早本《红楼梦》是史湘云跟贾宝玉没有抄家之祸，但家道中落、潦倒落泊之后白头终老，她判断曹雪芹最初稿中，湘云是很早在登场，自小与贾母同住，跟宝玉是青梅竹马；到了后来曹雪芹改稿，湘云幼年的剧情被删；而袭人与湘云小时候许诺长大后同嫁一人，一语成谶，却是二人一先一后跟宝玉在一起，袭人另加他人后湘云才成为宝玉继室，二姝始终没能同处。初稿在加入「风月宝鉴」的修订之后，将结局改写为宝玉出家，湘云早寡守节，二人没有在一起。
再是依据刘心武说法，白头所指为宝黛二人因生活困顿，少年白头，并非白头偕老，最终湘云病逝，而贾宝玉就此顿悟出家。

**判词**
(出自第五回)
在红楼梦第63回掣花签，史湘云抽到的是一枝海棠花，题着“香梦沉酣”四字，下面的诗句是“只恐夜深花睡去”。

**曲文**
「乐中悲」（红楼梦12曲中第六曲，出自第五回 开生面梦演红楼梦　立新场情传幻境情）

**丫鬟**
翠缕、葵官。

**备注与参考**
据周汝昌考证脂砚斋可能就是史湘云的人物素材原型。
贾探春

贾探春是《红楼梦》中的主要人物，为荣国府二房贾政与妾室赵姨娘之女，贾宝玉的庶出妹妹，贾环的同母姐姐。她是海棠诗社的发起者，别号蕉下客，花签杏花，居于大观园中的秋爽斋。

**性格**
贾探春性格直率强悍，有男子之风，曾甩了王善保家的一巴掌，也受到弟弟贾环和丫鬟们的敬畏。

**能力**
精通书法，文才亦高。做事精明能干，有经世致用之才，虽为庶出，仍受贾母、王夫人等器重，曾代王熙凤理家。同时亦具有独到眼光，曾预言贾府被抄家。

**人物事迹**
探春是贾府中最具治事长才的姑娘，连嫡母王夫人都对她青眼有加，王熙凤也要忌惮三分，曾言「太太又疼她，虽然面上淡淡的，皆是因为赵姨娘那老东西闹的，心里却是和宝玉一样呢」。探春代凤姐管家期间，平儿亦曾告诫不服管的下人「她撒个娇儿，太太也得让她一二分，二奶奶也不敢怎样」、「二奶奶这些大姑子小姑子里头，也就只单畏他五分」。
王熙凤卧病时，王夫人让探春代之管家。期间她和薛宝钗、李纨发动大观园改革，被下人喻为「镇山太岁」，脂批：「探春看得透、拿得定、说得出、办得来，是有才干者。」可惜为时已晚，难以挽回贾府颓势。
在王夫人和邢夫人因妯娌矛盾暗自较劲，王熙凤身分尴尬、无法阻拦，进而导致「抄检大观园」风波时，探春是惟一具有主控权的晚辈。相较于贾迎春懦弱怕事、贾惜春明哲保身、林黛玉被隔在事外、薛宝钗隔日即搬出大观园，探春并未躲避和漠视自己所处的环境，并万分悲愤地发表「百足之虫，死而不僵」论。
张爱玲考证认为，在原着结局中探春应是被封以「杏元公主」的名号，远嫁番王和亲，并且一去难回。另有红学家推测，「清明涕送江边望」、「清明妆点最堪宜」等诗句应在探春身上，是指其出嫁时正值清明时节。

**结局**
在高鹗后四十回的续书中，她的结局是远嫁至海疆的官家中，因此躲过抄家一劫。

**判词**

**曲文**
「分骨肉」

**灯谜**
「风筝」

**代表植物**
探春为十二钗中惟一具两代表花者：
*杏花：其命运之代表
六十三回《寿怡红群芳开夜宴  死金丹独艳理亲丧》中掣花签时所得为杏花：「众人看上面是一枝杏花，那红字写着『瑶池仙品』四字，诗云：日边红杏倚云栽。注云：『得此签者，必得贵婿，大家恭贺一杯，共同饮一杯。』」
*玫瑰：其性格之代表
六十五回中，贾琏偷娶尤二姐后，其心腹小厮兴儿对尤二姐大略介绍家中人物时，提到探春时有以下评语：「三姑娘的浑名是『玫瑰花』...玫瑰花又红又香，无人不爱的，只是刺戳手。也是一位神道，可惜不是太太养的，『老鸹窝里出凤凰』」
玫瑰带刺，但若不受威胁绝不主动攻击，正如探春个性。第七十四回《惑奸谗抄检大观园  避嫌隙杜绝宁国府》中给予王善保家的令人爽快的一巴掌，也是因为王善保家的以下犯上，并且掀探春的衣襟此举无疑将探春当贼看。探春的动怒是捍卫人格的一种表现，之所以口称王善保家的为『奴才』更是以阶级制度杜绝污辱。
而玫瑰「又红又香，无人不爱的」也是探春个性令人喜爱的一面，探春落落大方、不扭捏造作；借黛玉之眼观来，探春「俊眼修眉、顾盼神飞、文彩精华、见之忘俗」。

**与其亲母赵姨娘之关系**
有人以探春不愿意承认自己的亲生母亲赵姨娘，尊嫡母为母亲为非，实为当时风俗礼法如此，非其不认亲也。然探春确有刻意疏远生母和亲弟贾环的表现。

**丫鬟**
侍书、翠墨、蝉姐儿、艾官。
贾迎春

贾迎春，清改琦绘
卡内基梅隆大学波斯纳中心藏
贾迎春是《红楼梦》中的人物，为荣国府大老爷贾赦的庶女，贾琏的异母妹妹，贾宝玉的堂姐。在大观园中居于紫菱洲里的缀锦楼，故在海棠诗社的别号为菱洲。性格温柔良善，同时胆怯懦弱。后来贾赦为抵债，将她嫁给中山狼孙绍祖，最后遭其虐待凌辱种种而亡（一百零九回）。
贾迎春是书中代表道家思想的人物之一，其聪慧、透彻表现在知其不可为而不为，以自然清净、理想崇高的态度应对复杂人事。第73回「懦小姐不问累金凤」中提及，贾迎春一旦遇到纷争的事情，都会拿起《太上感应篇》来读，全然将那些纷扰，都抛诸脑后。然其未能明白道家朴实真理与封建社会间的差距，仅对道家无为思想简单挪用。一旦象征理想世界的大观园受到破坏，其思想就变成了贾迎春人物命运悲剧的导火索。

**身分**
不同版本对她的描写不近相同：
*甲戌本：二小姐乃赦老爷前妻所出。
*俄藏本：二小姐乃赦老爹之妻所生。
*庚辰本：二小姐乃政老爹前妻所出。
*己卯本：二小姐乃赦老爹之女，政老爷养为己女。
*戚序本：二小姐乃赦老爹之妾所出。
刘心武认为这些描述都与贾迎春的生活原型对应；但要符合小说中的设定，则以甲戌本的贴合故事逻辑。
戚序本第七十三回，邢夫人对迎春说：“我想天下的事也难较定，你是大老爷跟前人养的，这里探丫头也是二老爷跟前人养的，出身一样。如今你娘死了，从前看来你两个的娘，只有你娘比如今赵姨娘强十倍的，你该比探丫头强才是。怎幺反不及他一半！谁知竟不然，这可不是异事。倒是我一生无儿无女的，一生干净，也不能惹人笑话议论为高。”由此推断二小姐乃赦老爹之妾所出。

**判词**

**曲文**
「喜冤家」

**灯谜**
「算盘」

**丫鬟**
司棋、绣橘、莲花儿。
司棋性格的刚强和迎春的懦弱恰成对照。七十四回，抄拣大观园时，恰从司棋处搜出男子物事及具名表弟潘又安的大红笺帖，被逐出大观园，而后撞墙自尽。
晴雯

第五十二回　俏平儿情掩虾须镯　　　　　　勇晴雯病补雀金裘
晴雯，中国古典文学《红楼梦》的主要人物，是服侍故事主人公贾宝玉的几个大丫鬟之一，金陵十二钗又副册排名第一，水蛇腰，削肩膀，眉眼有点像林黛玉。甲戌本脂批云“晴有林风，袭乃钗副”，故有所谓“晴为黛影”的说法，暗示她影射的角色是林黛玉，又称黛副。首次出场在第五回。
晴雯十岁被赖大家的用银子买下，原是贾母的丫环，后派给宝玉。她不记得家乡父母，亲戚只知有个姑舅哥哥多浑虫在荣国府内当厨子，及其妻多姑娘（又称「灯姑娘」）。她口齿伶俐，聪明过顶，个性刚烈，忠心耿耿，曾嘲讽小红道：“怪道呢！原来爬上高枝儿去了，把我们不放在眼里。不知说了一句话半句话，名儿姓儿知道了不曾呢，就把他兴的这样！这一遭半遭儿的算不得什么，过了后儿还得听呵！有本事从今儿出了这园子，长长远远的在高枝儿上才算得。”又有『勇晴雯病补雀金裘』一回，极言其心灵手巧，勇敢忠诚，神情跃然纸上163、164、165。
其实贾宝玉非常喜欢晴雯，在《红楼梦》第三十一回“撕扇子作千金一笑”可看得出。晴雯当时不小心跌断了扇骨，宝玉骂她“蠢材”，晴雯并不示弱，直接回“玻璃缸、玛瑙盏不知弄坏了多少，也没见个大气儿...嫌我们不好，把我们打发了，再挑好的使...好聚好散，倒不好？”以至最终连袭人都牵扯上，吵到宝玉要回老太太打发晴雯。晚上宝玉回来，见她在院中塌上乘凉，要晴雯打发果子吃。晴雯认为扇子已折断，是不配打发果子给他吃。又说到她非常喜欢撕扇子。贾宝玉听到后，便将自己的扇子递给她，果然被撕作两半，接着又“嗤嗤”几声将扇子撕碎。正好麝月赶来，宝玉抢过麝月的扇子递给晴雯，晴雯也撕了。麝月很生气，说：“这是怎幺说，拿我的东西取笑儿？既是这样，搬扇匣子来让她尽力撕岂不好？”宝玉道“你就搬来。”麝月道“我不作这孽，她又没折了手，让她自己搬去。”“撕扇子作千金一笑”是《红楼梦》中出人预料又动人心魄的情节。
在抄检大观园时，她表现强硬，最初被王夫人骂是妖精，后来捉住箱底将箱子内的东西全都倒下来及大骂王善保家的。晴雯心直口快、心无城府，坠儿偷金事发后，晴雯不仅戳坠儿手严惩坠儿，还执意将坠儿赶出大观园，是《红楼梦》对晴雯率性坦荡、嫉恶如仇性格的直书。被王夫人逐出大观园后，病情加重。临死前，晴雯被贾宝玉的探访深为感动，于是铰（剪）下自己的两根长指甲，连同贴身绫袄送给他。她死后贾宝玉作《芙蓉女儿诔》祭她，庚辰本脂评云“《芙蓉女儿诔》明是为阿颦作谶“271。当宝玉改“红绡帐里，公子多情；黄土垄中，女儿薄命”为“茜纱窗下，我本无缘；黄土垄中，卿何薄命”时，“黛玉听了忡然变色”，心中“有无限的狐疑乱拟”。作者的用意是很明显的。
京哈高速公路

北京－哈尔滨高速公路，简称京哈高速，中国国家高速公路网编号G1，是指从北京市至哈尔滨市的首都放射线高速公路，目前已经全部建成。总长度为1,209公里。
路线为：北京－宝坻－唐山－秦皇岛－葫芦岛－锦州－盘锦－沈阳－铁岭－四平－长春－哈尔滨。
其中，北京－沈阳段已被编入1，而沈阳－哈尔滨段则编入31。在原先五纵七横国道主干线系统中，为丹东－拉萨国道主干线（G025）的一部分；沈阳－哈尔滨段为同江－三亚国道主干线（G010）的一部分。

**省份过境节点与里程**

**分省介绍**
中华人民共和国交通运输部已启动全国高速公路统一命名和编号工作，纳入国道主干线的高速公路将逐步使用新名称替换旧名称，下面列出其具体走向的旧名，以资参考。

**北京段**
京哈高速西集出口及道路指示牌（摄于2012年7月29日）
京哈高速北京段原名京沈高速公路，起于北京四方桥，与东四环路相交汇，终于香河枢纽（京冀界位于大沙务村附近，位于该点以西约6.6公里），全长41.091公里，最高限速为每小时110公里。中途与东五环路（交汇于五方桥）、东六环路（交汇于施园桥）交汇，四方桥至白鹿主线收费站为免费路段，并设有辅路。京冀界以西1.7公里处设有西集综合检查站，经京哈高速进京的非北京号牌机动车辆需在此办理进京证。京哈高速北京段（原京沈高速）于1999年全线通车。
2022年6月10日，京哈高速公路六环路内路段双方向、全时段免费通行。
注：通燕高速公路曾称为京哈高速公路。

**河北西段**
京哈高速河北西段原名京沈高速，全段位于河北省廊坊市（香河县），起于香河枢纽，终于冀津界（廊坊市香河县、天津市宝坻区交界），全长21.303公里。京哈高速河北廊坊段（原京沈高速）于1999年全线通车。

**天津段**
京哈高速天津段原名京沈高速，起于宝坻区牛道口镇（廊坊市香河县、天津市宝坻区交界），终于宝坻区新安镇蓟运河大桥（天津市宝坻区、唐山市玉田县交界），全长37.178公里，沿线与P=Tianjin（宝坻北互通）、P=Tianjin（京哈高速互通立交）交汇。京哈高速天津段（原京沈高速）于1999年全线通车。

**河北东段**
149号唐山出口及道路指示牌
京哈高速河北东段原名京秦高速（与现行国家高速公路网中的G0121不同）、京沈高速，起于蓟运河大桥，终于万家匝道主线收费站（河北省秦皇岛市、辽宁省葫芦岛市交界），全长199.28公里，途经唐山市、秦皇岛市。京哈高速河北段（原京沈高速）于1999年全线通车。

**辽宁段**
京哈高速辽宁段段起于万家匝道主线收费站（冀辽界），终于毛家店主线收费站（辽宁省铁岭市、吉林省四平市交界），全长548.563公里，途经葫芦岛市、锦州市、盘锦市、鞍山市、沈阳市、铁岭市。其中万家收费站至沈阳市北李官互通原名京沈高速，沈阳京哈高速互通至毛家店主线收费站（辽宁省铁岭市、吉林省四平市交界）原名沈四高速公路，北李官互通至沈阳京哈高速互通之间经G1501SY过境。此外，京哈高速锦州东立交至光辉立交段与G16共线。
京哈高速万家收费站至沈阳北李官互通段（原京沈高速）于1999年全线通车，北李官互通至沈阳京哈高速互通段（沈阳绕城高速的一部分）于1995年9月建成通车。

**吉林段**
京哈高速吉林段起于毛家店主线收费站（辽吉界），终于拉林河主线收费站（吉林省松原市、黑龙江省哈尔滨市双城区交界），全长285.532公里，途径四平市、长春市、松原市。其中毛家店主线收费站（辽宁省铁岭市、吉林省四平市交界）至长春市半截沟立交段原名长四高速公路（又名长平高速公路），G2501东段（半截沟立交至后寸金堡立交段）与京哈高速共线，后寸金堡立交至拉林河主线收费站段原名长哈高速公路。
京哈高速毛家店收费站（辽吉界）至长春半截沟立交段（原长四高速）于1996年9月通车。京哈高速半截沟立交至后寸金堡立交段（长春绕城高速东段）于2002年9月7日通车。

**黑龙江段**
京哈高速黑龙江段原名哈双高速公路，起于拉林河主线收费站（吉林省松原市、黑龙江省哈尔滨市双城区交界），终于哈尔滨市瓦盆窑，全长72公里。于2001年9月28日通车。
2019年5月，京哈高速黑龙江的四改八扩建工程开始施工，2021年10月31日通车。

**互通枢纽及服务设施列表**
Expwy exit item|place=鞍山市|place rows=2|dist start=572km|index=572|type=H|state=U|name=宽帮屯|road connection=（编号未知）鞍黑高速
name=四平服务区

**来源**

**参见**
中国公路命名与编号
*中国国家高速公路网- 在OpenStreetMap中显示京哈高速公路 date=20200424072511
袭人

袭人，清改琦绘
袭人，姓花，又称花袭人，中国古典小说《红楼梦》人物，是服侍贾宝玉的四个大丫鬟之一。
袭人原本是贾母的婢女，被唤为「珍珠」，因为贾母疼爱宝玉，知道袭人心地善良且尽忠职守，遂将袭人给了宝玉。因姓花，故宝玉取陆游诗句“花气袭人知骤暖，鹊声穿竹识新晴”之意赐此名。袭人与人相处和气，办事稳妥，性格纯良且有些痴处，书中形容是「服侍贾母时，心里眼里只有一个贾母，服侍宝玉时，心里眼里又只有一个宝玉。」
袭人是宝玉初试云雨的对象，后来虽然未有正式名份，但成为贾宝玉的侍妾（通房丫头或屋里人）。袭人甚得王夫人信任，月钱比其他一般丫鬟为高，是由王夫人房里算出，领二两银子一吊钱。
书中暗示她映衬的角色是薛宝钗，而晴雯是林黛玉的另一种分身形象。除了林黛玉之外，她是另一个贾宝玉视为愿意同生共死的女性（贾宝玉也曾对她说过要为她去当和尚）。
在怡红院的公众口碑中，第三十七回：众人听了都笑道：“骂的巧，可不是给了那西洋花点子哈巴儿了。”袭人笑道：“你们这起烂了嘴的！得了空就拿我取笑打牙儿。一个个不知怎幺死呢。”

**判词与结局**
按判词的暗示，最终她是嫁给名伶蒋玉菡。此中便举出众多说法的其中三种：
#后四十回的续书中是因为贾宝玉出家，她在王夫人、薛姨妈的安排下不得不改嫁。
# 而张爱玲考据原着可能的结局，认为她可能是在贾府败落后，嫌贾宝玉不上进而出贾府。
# 周汝昌和刘心武的说法是，因为贾家变故，她顾全大局，不得不离开贾府嫁给蒋玉菡。离前留下：「好歹留着麝月。」等语。并在贾宝玉归来时，救济了穷困的宝玉、宝钗夫妇。有二十回脂评：『......袭人出嫁后云好歹留着麝月一语......』二十八回脂评：『......后回与袭人供奉玉兄、宝卿得同终始者.......』，有别于一般贬袭的论点，此袭人是宝玉之恩人。

**注释**

**参考**
 柴志义:《 袭人年龄审计报告 date=20210515171507 》
文藻外语大学

文藻外语大学，简称文藻或文藻外大，是位于台湾高雄市的外国语文专门大学，由天主教Ursulines于1966年创办，校名为纪念首位华籍主教罗文藻而命名。

**沿革**
1965年3月31日成立筹备处向中华民国教育部申请设校。
1965年12月27日成立文藻女子外国语文专科学校，设有英国语文科、法国语文科、德国语文科及西班牙语文科，招收初级中等学校毕业之女生，修业为期五年。
1966年8月1日加入五专联招。
1980年8月1日依中华民国教育部指示招收男生，并更名为文藻外国语文专科学校（简称文藻、文藻语专、文藻外专、文藻文专）。
1990年增设五专日本语文科。
1997年8月成立二专夜间部。
1999年8月1日改制为文藻外语学院（简称文藻、文藻外院），成立二技日间部。
2003年8月1日成立四技日间部。
2013年8月1日改名为文藻外语大学，成为台湾第一所外语专门大学。

**历任校长**

**教学单位**


从「至善楼」俯瞰校园。

**相关机构**
海星幼儿园
*海星国小
*海星高中

**对外关系**
咏稣堂

**天主教大学圣诞点灯**
每年圣诞节前夕，台湾3所天主教大学都会举行接力点灯活动。十字灯架从高雄市文藻外语大学出发，抵达台中市静宜大学点灯之后，再由静宜接力到新北市辅仁大学，于12月25日晚间在「真善美圣广场」完成点灯。

**台湾基督宗教大学校院联盟**
三育基督学院
*中原大学
*文藻外语大学
*东海大学
*长荣大学
*真理大学
*耕莘健康管理专科学校
*基督书院
*圣约翰科技大学
*圣德基督学院
*辅仁大学
*静宜大学
*马偕医学院

**姊妹校**
亚洲 Asia (144所) 	
*欧洲 Europe (68所) 	
*美洲 America (26所) 	
*大洋洲 Oceania (4所) 	
*非洲 Africa (1所)

**校友**

**参见**
 中国基督教史
** 明朝天主教、清中期禁教
*** 罗文藻主教
*** 中国教会学校列表- 天主教会
** 天主教大学
*** 宗座大学- 台湾大专院校列表

**参考文献**

**外部连结**
  文藻外语大学网站 date=20130901144014 -  文藻外语大学图书馆 date=20131213033248 -  文藻外语大学华语中心 date=20160524195430 -  文藻外语大学通识教育中心 date=20160403221653 -  台湾基督宗教大学校院联盟 date=20080704082305