stanford-oval/wikipedia huggingface dataset:
卡萨格兰德 (亚利桑那州)
历史

卡萨格兰德在1879年亚利桑那采矿业繁荣时建立，直到1915年完全建成。它以卡萨格兰德遗址国家纪念碑附近Hohokam遗址而命名。一条主要的铁路在该市终止，原先该铁路被称为Terminus。该市的建城之父之一名叫汤普森·罗德尼·帕特。帕特路、帕特公园和帕特中心，这些卡市著名的地标都是以他的名字命名的。该市曾是实行集体农庄制的地方，是罗斯福新政的一部分。该市有弗朗西斯科·格兰德饭店&高尔夫度假区，原来是旧金山巨人队的春季训练场所。而后该饭店的所有者，Horace Stoneham，在1959年开始开发不动产。1961年第一次表演赛在该市举行，Willie Mays打出了一个375英尺（114米）的本垒打。旧金山巨人队不再在弗朗西斯科 格兰德参加比赛，但球棒和球仍然存在，以纪念过去的球赛。
地理

卡萨格兰德位于北纬32度53分9秒、西经111度44分38秒。
根据美国统计局的数据，该市面积总共为48.2平方英里（124.8平方千米），全为陆地。
气候

卡萨格兰德是干旱沙漠气候。在1月份，一般最高温度为65华氏度，一般最低温度为38华氏度。在7月，一般最高温度为105华氏度，最低为78华氏度。每年的降雨量大约为10英尺（250毫米）。
人口统计

根据2000年的人口统计，该市有25224人，8920家住户，6547个家庭生活在城里。人口密度为每平方英里523.7人（202.2人每平方千米）。有11041户住宅平均密度为229.2每平方英里（88.5每平方千米）。在8920家住户中有37.1%的住户有低于18岁的孩子，52.3%的住户为已结婚夫妇，15.1%的住户为单身女性，26.6%的单身。21.7%的住户由单身人士组成，8.9%的住户由65岁以上的老人独居。住户的平均人数为2.80，家庭的平均人数为3.24。男女比例为97.1:100，在18岁或以上的人口比例中，男女比为91.5:100。
城市每个住户的收入中间值为36212美元，每个家庭收入的中间值为40827美元。男性这一数据为34858美元相对的女性为23533美元。单位GDP收入为15917美元。大约有12.4%的家庭和16.0%的人口生活在贫困线以下，包括21.2%的低于18岁的孩子和12.3%的超过65岁的老人。该市人口按年代增长的趋势：1940年：1500人；1960年 8300人；70年代10500人；80年代15000人；90年代19100人，2000年为25224人。
经济

卡市经济历史上以农村为基地，出产棉花和经营乳牛场。随着时间的推移，很多菲尼克斯和图森的城里人在该市拥有了房子。许多居民要么去北部的菲尼克斯都会区工作，要么去南部的图森，天天通勤。这种趋势促进了该市服务业的发展。越来越多的商业设施如餐馆、加油站和零售商店在城里开业，以满足增长人口的需求。
在卡市南部开了一家购物中心，服务于当地的顾客以及在附近州际公路上开车的旅行者。备置好货物的一处散步场所（市场）于2007年11月16日开业。由Westcor和Pederson集团承建，与沙漠屋脊市场相似（一个位于菲尼克斯东北的户外购物中心）。卡市的Promenade是一个露天的商业街，建于一片100英亩（0.40平方千米）的沙漠上，并且包含附近100万平方英尺的范围。一笔1100万美元的额外资金用于该市投资重建佛罗伦萨Blvd/I-10高速公路高架桥
。
商业

红尾书店（Red-Tail Books）；弗朗西斯科 格兰德饭店&高尔夫度假区；来回旅程自行车商店（Round Trip Bike Shop）；基督教堂，格雷丝教堂，北特莱克尔南部浸会教堂。
新闻

卡萨格兰德广播-卡市新闻与广告的发起者，源于1919年。
CG时报 aka 中央AZ时报-卡市家乡的新闻与作家论坛。
图书馆

卡市公共图书馆为居民提供可以阅读图书的标准化服务，同时也包括一些特殊服务，包括为小学设立的志愿者阅读俱乐部、网络连接和一个称为“会说话的图书”项目。图书馆主体建筑为16,000平方英尺（1500平方米），有75,000册书，38台可联网的公用计算机。维斯塔 格兰德公共图书馆是卡市图书馆系统的一个分支机构，于2009年夏天投入运营。
市法院

卡市市立法院是该市政府的司法分支机构，在2006-2007财政年接收了6,609件备案、执行了2486起传讯，举行了156场民事、刑事和配备陪审团的审判。
參考資料

↑  . United States Census Bureau.   [2014-06-19]. （原始内容存档于2012-02-17）.
外部連結

City of Casa Grande — Official site（页面存档备份，存于）
Casa Grande Valley Historical Society — Official site
David Leighton, "Street Smarts: Miracle Mile went to 'Big House'," Arizona Daily Star, 2015-02-03 （页面存档备份，存于）
五经富镇

| 五经富镇 |
| --- | --- |
镇
坐标：23°34′00″N 116°04′07″E﻿ / ﻿23.5668°N 116.0685°E﻿ / 23.5668; 116.0685
国家:  中华人民共和国
上级行政区: 揭西县
村级区划单位数:  28 2社区 26行政村 
人口
 • 總計: 49,087人
时区: 北京时间（UTC+8）
行政区划代码: 44 52 22 104
电话区号: +86 (0)663
五经富镇是中华人民共和国广东省揭阳市揭西县下辖的一个行政建制镇。
行政区划

五经富镇下辖以下地区：
陂头社区、​长潭社区、​龙山村、​文联村、​陈江村、​建二村、​建一村、​第八村、​第七村、​第六村、​第五村、​第四村、​第三村、​第二村、​第一村、​新和村、​营盘村、​中和村、​朝阳村、​联和村、​恒星村、​联南村、​泮坑村、​五新村、​新安村、​中联村、​新仓村和新其村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
切斯特菲尔德镇区

切斯特菲尔德镇区（英語：）可能指：
切斯特菲尔德镇区 (伊利诺伊州马库平县)
切斯特菲尔德镇区 (密歇根州)
切斯特菲尔德镇区 (密苏里州圣路易斯县)
马丁·霍利斯

| 马丁·霍利斯 |
| --- | --- |
马丁·霍利斯在（左起第三人）在2005年剑桥的一个游戏活动上
英文名: 
出生:  (1971-06-20) 1971年6月20日（53歲）
国籍: 英国
职业: 电子游戏设计师
马丁·霍利斯（英語：，1971年6月20日—）是一名英国的电子游戏设计师。他曾担任英国著名游戏公司Rare的高层，在任天堂64上发行的《黄金眼007》和《完美黑暗》中，他都担任游戏的制作人兼总监。
马丁·霍利斯毕业于剑桥大学，他学习的是计算机科学专业。在1993年时，他进入游戏行业并加入Rare，在1998年的时候他离开Rare，加入任天堂北美为当时正在研发的新主机GameCube担任顾问。2000年，他在一个剑桥建立了自己的游戏工作室，该公司在2010年倒闭。
参考资料

↑  The Restless Vision Of Martin Hollis, The Man With The GoldenEye （页面存档备份，存于）.Gamasutra.2007-06-08.[2018-02-26].
↑  Desert Island Disks: David Doak". Retro Gamer issue 6 (July 2004), pp. 41–45. ISSN 1742-3155
↑  "The Legacy of Perfect Dark: Martin Hollis Q&A" Retro Gamer issue 19 (January 2006) pp. 79. ISSN 1742-3155
祝世宁

| 祝世宁 |
| --- | --- |
出生: 1949年12月（74歲）  中华人民共和国江苏南京
国籍:  中华人民共和国
籍贯:  中国江苏镇江
母校: 淮阴师范学院（本科） 南京大学（硕士、博士）
职业: 功能材料学家
网站: http://slab.nju.edu.cn/
祝世宁（1949年12月—），男，原籍江苏镇江，生于江苏南京，中国功能材料学家，南京大学教授。现任南京大学物理系主任。
生平

1981年毕业于淮阴师范学院，1988年在南京大学获硕士学位，1996年在南京大学获博士学位。2007年当选中国科学院院士。
馬加迪湖

| 馬加迪湖 Lake Magadi |
| --- | --- |

位置: 肯亞東非大裂谷
标: 1°52′S 36°16′E﻿ / ﻿1.867°S 36.267°E﻿ / -1.867; 36.267
所在国家:  肯尼亚

表面积: 100 km²
位置
zh
馬加迪湖（Lake Magadi）是肯亞最南端的內陸湖泊之一。屬於肯亞的裂谷區。在肯亞首都奈洛比的西南方約80公里。由斷層陷落形成。南北長約48公里，東西寬約14公里。面積依雨季或旱季變化，通常是900到300平方公里。湖水含有大量的碳酸鈣，湖底沉積厚約4公尺的天然鹼，旱季時湖邊會有沉澱的鹽層。是肯亞天然鹼和食鹽主要產區、也是受歡迎的觀光區，在湖邊目前建有大型的天然鹼煉工廠。在此湖邊常可看到大群的紅鶴。
王應元 (淶州)

名为王应元的其他人物，請見「」。
| 王應元 |
| --- | --- |
大明
籍貫: 直隸淶州
出生: 生年不詳 
逝世: 卒年不詳 
出身
 萬曆二十年壬辰科進士 
王應元（？—？），字石臺，直隸淶州人，明朝政治人物。
生平

萬曆十年（1582年）壬午科順天鄉試舉人。萬曆二十年（1592年），登壬辰科第三甲第二百十六名進士，仕至承天知府。
家族

曾祖王釗；祖父王著；父王璧。
加那利洋流

世界洋流概要。
加那利洋流（Canary Current），或稱為加那利涼流，為一個北大西洋漂流向南分支出來的洋流，並且向西南流動遠至塞內加爾而且亦在此處轉往西流。
加那利洋流的上升流

加那利洋流把水面下有豐富養分的水帶向上引致其洋流的低水溫。其命名來自加那利群島。主要的上升流發生在北緯23至25度間。
摩洛哥漁業促進

加那利群島阻擋了部分加那利洋流。加那利洋流負擔了環流系統的向南流動的水流，增加摩洛哥漁業的產量。
腓尼基時期開發歷史

廣闊及緩慢的加那利洋流被認為在腓尼基時期沿著西摩洛哥的定居地及航海被開始開發。古代腓尼基人除了在此區域開發漁場外，亦在現在的索維拉外的Iles Purpuraires（英语：）島建立一個工廠，用作由海棲腹足動物骨螺等物種分解出染料泰爾紫。
參見

克里斯托弗·哥倫布
馬德拉自治區
墨西哥灣暖流
北大西洋漂流
外部連結

Ocean Currents: Canary Current（页面存档备份，存于）
砂大眼鯛

| 砂大眼鯛 |
| --- | --- |

保护状况
 无危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 鲈形目 Perciformes
科：: 大眼鲷科 Priacanthidae
属：: 大眼鲷属 Priacanthus
种：: 砂大眼鯛 P. arenatus
二名法
Priacanthus arenatus Cuvier, 1829

異名
 Priacanthus catalufa Poey, 1863  Priacanthus insularum Johnson, 1862
砂大眼鯛，為輻鰭魚綱鱸形目的其中一個種，分布於西大西洋區，從加拿大至阿根廷海域；東大西洋區，從馬德拉群島至安哥拉北部海域，棲息深度10-200公尺，體長可達50公分，棲息在珊瑚礁或岩石底質海域，為夜行性魚類，屬肉食性，以小魚、蝦、蟹為食，可作為食用魚或觀賞魚。
参考文獻

Froese, R. & Pauly, D. (eds.) (2012). Priacanthus arenatus. FishBase. Version 2012-05.
擴展閱讀

砂大眼鯛的图片
馬加麗塔 (玻利瓦省)

馬加麗塔是哥倫比亞的城鎮，位於該國北部，由玻利瓦省負責管轄，始建於1882年，面積263平方公里，海拔高度25米，主要經濟活動是農業，2005年人口9,368。
9°05′N 74°12′W﻿ / ﻿9.083°N 74.200°W﻿ / 9.083; -74.200
加拿大鉤杜父魚

| 加拿大鉤杜父魚 |
| --- | --- |

保护状况
 未予评估（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 鲈形目 Perciformes
科：: 杜父鱼科 Cottidae
属：: 钩杜父鱼属 Artediellus
种：: 加拿大鉤杜父魚 A. uncinatus
二名法
Artediellus uncinatus Reinhardt, 1834

異名
 Cottus uncinatus, Reinhardt, 1834
加拿大鉤杜父魚為輻鰭魚綱鮋形目杜父魚亞目杜父魚科的其中一種，為溫帶海水魚，分布於西北大西洋加拿大拉布拉多半島、格陵蘭至美國麻州科德角海域，棲息深度13-598公尺，體長可達10公分，棲息在砂泥底質底層水域，以底棲無脊椎動物為食，生活習性不明。
外部連結

維基物種上的相關：加拿大鉤杜父魚
殼層星

昴宿星團中的昴宿增十二（金牛座28）是一顆殼層星。
殼層星是其光譜顯示出極寬的吸收線，並加上一些非常窄的吸收線的一種恒星。它們通常也會顯示一些來自巴耳末系的發射線，但偶爾也會顯示其它的線。寬的吸收線是由於光球的快速旋轉，來自赤道圓盤的發射線，而窄的吸收線則是在圓盤幾乎處於以側面朝向觀測者時產生的。
殼層星的光譜類型從O7.5到F5都有，自轉速度為200–300km/s，距離自轉加速度會破壞恆星的點不遠。
光譜

殼層星被定義為一個由旋轉加寬的光球光譜線和非常窄的吸收線組合而成的群體。發射線經常出現，但不被視為定義的特徵。存在的確切譜線在一定程度上有所不同：巴耳末發射線非常常見，但在較冷的恆星中可能較弱或不存在；鐵離子線很常見，但並非總是存在；在最熱的恆星中可以看到氦的譜線。光球的譜線因旋轉而加寬，顯示的投影速度為7005200000000000000♠200 km/s或更高。
殼層星光譜中的線輪廓是複雜的，具有可變的翼、核心以及吸收和發射特徵的疊加。在某些情况下，發射特徵的特定吸收僅作為線輪廓的修改或另一條可見線的弱化。這導致了雙峰線和三峰線，或不對稱線。
殼層星通常有發射線，因此通常是Be星，然而它們也可以出現在光譜類別O、A和偶爾也在F中。
子類型

殼層星被細分為四類，儘管這些類別不再被認為有意義，也很少出現在現代出版品中：
早期的Be星，光譜類型從O7.5至B2.5，
中期的Be星，光譜類型從B3至B6.5，
晚期的Be星，光譜類型從B7至B9.5，和
A-F殼層星，光譜範圍從A0至F5。
光譜有著長期的變動，早期型殼層星的光譜和Be星或B型恆星的光譜是互相替換的。所有的殼層星都呈現出寬闊的發射譜線取代了吸收的譜線，並且對應於非殼層星的光譜，所以B型殼層星發射出巴耳麥氫譜線，而一般的B型恆星是吸收譜線。早期型的殼層星顯示出He I和Fe II的發射線，而晚期型的殼層星顯示出Ca II和Ti II的發射線。雖然因為高速自轉使得譜線擴散，和造成光度分類上的不確定性，但一般認為殼層星屬於主序帶的巨大恆星。
絕大多數已知的殼層星光譜都屬於B類。然而，部分原因是許多較冷的殼層星仍未被發現。Be現象，以及Be星本身，現在不僅廣泛應用於光譜類別類似B的恆星，還廣泛應用於A，有時還應用於O和F。
變異性

殼層星的光譜和亮度經常表現出變異性。殼層特徵可能會時有時無，恆星從殼層星變成普通的B星或Be星。由於「外殼」的變化或消失而表現出不規則變化的殼層星被稱為仙后座γ型變星。昴宿增十二和策（仙后座γ）本身都是具有間歇性外殼事件的變星，在光譜中出現强烈的外殼特徵，亮度顯著增加或减少。在其它時候，外殼在光譜中是無法檢測到的，甚至發射線也可能消失。
例子

策（仙后座γ）是殼層星的原型，最亮的殼層星是水委一。HR 2309是一顆特殊的殼層星，有明銳譜線的殼層星，包括一個小而明顯的環狀結構。其它的殼層星還有：
弧矢增四(大犬座27)
小犬座β
仙后座γ
昴宿增十二(金牛座28)
天船四(英仙座φ)
敗瓜增一（海豚座1）
相關條目

Be星
參考資料

1 2  Bohlender, D. . Bright Emissaries: Be Stars as Messengers of Star-Disk Physics. 2016, 506: 275. Bibcode:2016ASPC..506..275B.
1 2 3 4  Rivinius, Th.; Štefl, S.; Baade, D. . Astronomy and Astrophysics. 2006, 459 (1): 137. Bibcode:2006A&A...459..137R. doi:10.1051/0004-6361:20053008 .
1 2  Slettebak, A. . Astrophysical Journal Supplement Series. 1982, 50: 80, 55–83. Bibcode:1982ApJS...50...55S. doi:10.1086/190820.
↑  .  in Samus, N.N.; Durlevich, O.V. (编). .   [2023-05-17]. （原始内容存档于2015-07-01）.
進階讀物

Porter, John M. . Monthly Notices of the Royal Astronomical Society. 1996, 280 (3): L31–L35. Bibcode:1996MNRAS.280L..31P. doi:10.1093/mnras/280.3.L31 .
Quirrenbach, A.; Buscher, D. F.; Mozurkewich, D.; Hummel, C. A.; Armstrong, J. T. . Astronomy and Astrophysics. 1994, 283: L13. Bibcode:1994A&A...283L..13Q.
大水沟乡

| 大水沟乡 |
| --- | --- |
乡
坐标：22°57′45″N 101°58′27″E﻿ / ﻿22.96249°N 101.97423°E﻿ / 22.96249; 101.97423
国家:  中华人民共和国
上级行政区: 绿春县
村级区划单位数:  10 1社区 9行政村 
面积
 • 总计: 234.87 平方公里（90.68 平方英里）
人口
 • 總計: 15,289人
 • 密度: 65.1人/平方公里（169人/平方英里）
时区: 北京时间（UTC+8）
行政区划代码: 53 25 31 203
电话区号: +86 (0)873
大水沟乡，是中华人民共和国云南省红河哈尼族彝族自治州绿春县下辖的一个乡镇级行政单位。
行政区划

大水沟乡下辖以下地区：
富康社区、​大水沟村、​龙普村、​东沙村、​大阿巴村、​牛倮底马村、​扭直村、​八户村、​大果马村和宋壁村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
劉福田

劉福田，號心耕，贵州正安县人，清朝政治人物，同進士出身。
生平

同治二年（1863年）清穆宗登極癸亥恩科進士，三甲八十三名。同治六年（1867年）任浙江太平县（今温岭市）知县。同治十年（1871年），朝廷以劉福田“辦事遲鈍，難期振作”，但“文理尚優”为名，改教職回籍候選。
参考资料

↑  《光緒太平續志·卷之三·職官·令佐》頁：同治六年 知縣 劉福田，十一月初七日任，號心耕，進士，貴州人。
↑  《大清穆宗毅皇帝实录·卷之三百四》：同治十年。辛未。二月。辛酉朔：又諭、楊昌浚奏、甄別庸劣各員請旨分別降革勒休一摺。浙江義烏縣知縣於應誥、心地糊塗。辦事粗率。候補通判張玉樹、居心險詐。不堪造就。紹興府經歷蕭江、遇事生風。聲名甚劣。均著一併革職。桐鄉縣知縣富拉渾、貌似有才。心實浮滑。候補知縣汪承緒、舉動任性。不洽輿情。均著以縣丞降補。太平縣知縣劉福田、辦事遲鈍。難期振作。該員文理尚優。著以教職回籍候選。候補知縣黃宗貴、年力就衰。難膺民社。候補知縣濮燊、才本平庸。年已衰邁。均著勒令休致。以肅官方。
《光緒太平續志》，陈汝霖、王棻，清光緒二十二年（1896年）刻本
《清实录》
《明清貴州七百進士》，厐思纯，贵州人民出版社，ISBN 7221069026
長青醫院

| 長青醫院 |
| --- | --- |

基本
全称: 長青醫院
简称: 長青醫院
地址: 新北市淡水區畚箕湖1-5號
组织结构
醫療劃分: 地區醫院
歷史
建立时间: 1985年
關閉时间: 2020年
联系方式
網站: 長青醫院
長青醫院，為臺灣新北市淡水區小坪頂山上的一家私立醫院，主要提供一般病變，與精神障礙諮詢。
全院佔地三千六百坪，擁兩棟大樓，共計九個病房。
於民74年，(1985年)，由靜安、養和、占亮三家私立精神醫院合併而成。目前為關渡至淡水間的主要負責醫院之一。
目前本醫院現已停止營運。
外部連結

長青醫院 （页面存档备份，存于）（中文）
阿傑米里甘傑烏帕齊拉

| 阿傑米里甘傑 আজমিরিগঞ্জ |
| --- | --- |
烏帕齊拉
阿傑米里甘傑阿傑米里甘傑在孟加拉國的位置
坐标： 24°32′50″N 91°15′00″E﻿ / ﻿24.5472°N 91.2500°E﻿ / 24.5472; 91.2500
國家:  
專區: 錫爾赫特专区
縣: 霍比甘傑縣
面积
 • 总计: 223.98 平方公里（86.48 平方英里）
人口（1991）
 • 總計: 86,810人
 • 密度: 388人/平方公里（1,004人/平方英里）
时区: 孟加拉国标准时间（UTC+6）
郵政編碼（英语：）: 3360
網站: Ajmiriganj Upazila
阿傑米里甘傑乌帕齐拉（孟加拉語：，英語：）是孟加拉国霍比甘傑縣的一个乌帕齐拉，位於錫爾赫特专区的霍比甘傑縣。。
人口

據1991年孟加拉國人口普查（英语：），阿傑米里甘傑共有戶數14,713戶，人口86810人。其中男性佔比51.11%，女性佔比48.89%；成年人口43,762人。該地7歲以上人口之平均識字率為22.4%，低於全國平均值（32.4%）。
參考文獻

↑  Sayed Abdullah Al Mamun Chowdhury, , Sirajul Islam and Ahmed A. Jamal  (编),  Second, Asiatic Society of Bangladesh, 2012 [永久]
↑  .   [November 10, 2006]. （原始内容存档于2005-03-27）.
王必成

王必成可指：
王必成 (中将)，前中國人民解放軍中將。
王必成 (企业家)，《聯合報》創辦人王惕吾之子，《聯合報》董事長。
備後本庄站

備後本庄站（日语：／ Bingo-Honjō eki */?）是位於廣島縣福山市本庄町中三丁目，西日本旅客鐵道（JR西日本）的福鹽線車站。
歷史

在福鹽線的前身兩備鐵道（日语：）的時代，此站還未存在。在國鐵收購後的1935年（昭和10年），橫尾站至福山站之間開通，在1940年（昭和15年）2月1日，此站最終啟用（站前設有紀念碑）。
歷史 > 年表

1940年（昭和15年）2月1日 - 車站啟用。
1987年（昭和62年）4月1日 - 伴隨國鐵分割民營化，車站由西日本旅客鐵道（JR西日本）營運。
1991年（平成3年）4月1日 - 成為無人車站。
2007年（平成19年）
7月 - 引入可支援ICOCA的簡易自動閘機。
9月1日 - 此站開始可以使用IC卡「ICOCA」。
2018年（平成30年）
3月17日 - 隨著實施時間表修正，所有列車都會打開車門上下車。
7月6日 - 發生2018年7月西日本豪雨，使福山站至府中站之間暫停服務。
7月21日 - 福山站至神邊站之間重開。
車站構造

車站是一座地面車站，設有1面1線的單式月台。前往府中方向的列車會開啟左邊車門。曾經此站設有2面2線的相對式月台2面2線，後來東邊（上行線）月台不再使用。現時月台對面種植了櫻花樹和還有國鐵時代的站名牌。隨著福鹽線啟用100周年，於2014年7月，車站大樓復原為當地的面貌。
此站是由福山站管理的無人車站。在1988年前，當時車站最接近廣島縣立北陽高等學校，後來學校遷移至明王台團地，成為廣島縣立福山明王台高等學校（日语：）後，使用人次大幅減少。便於1991年變成簡易委託車站，後來更成為無人車站。在1990年代中期把車站大樓撤走，改為設置候車室。後來，隨著引入ICOCA，候車室的背面開設出入口，變成一座簡單的車站大樓，在數個月後擴建變成現狀。在車站大樓翻新同時加設可支援ICOCA的簡易式自動閘機和自動售票機。此站可以使用ICOCA與其互相使用的IC卡。
利用狀況

以下為近年1日平均乘車人次列表。
| 年度 | 1日平均 乘車人次 |
| --- | --- |
2001年（平成13年）: 378
2002年（平成14年）: 378
2003年（平成15年）: 393
2004年（平成16年）: 392
2005年（平成17年）: 408
2006年（平成18年）: 416
2007年（平成19年）: 415
2008年（平成20年）: 405
2009年（平成21年）: 441
2010年（平成22年）: 425
2011年（平成23年）: 350
2012年（平成24年）: 307
2013年（平成25年）: 384
2014年（平成26年）: 375
2015年（平成27年）: 391
2016年（平成28年）: 392
2017年（平成29年）: 414
2018年（平成30年）: 408
車站周邊

福山市立大學北本庄校園
中國職業能力開發大學（日语：）附屬福山職業能力開發短期大學（日语：）（愛稱：福山理工學院）
放送大學福山學習中心
青葉出版總社
東洋汽車學校
福山東警署（日语：）本庄交番
蘆田川（日语：）
其他

在ICOCA的使用紀錄中，此站會標記為「」。
相鄰車站

井原鐵道井原線列車每日設有3往返班次行走於神邊站至福山站之間。
注腳

↑  統計福山
相關條目

日本鐵路車站列表 Bi
外部連結

備後本庄｜車站資訊：JR出門網 - 西日本旅客鐵道（日語）
引入ICOCA前的舊車站大樓（2005年10月）
兄弟工業

| 兄弟工業株式會社 |
| --- | --- |


公司類型: 上市公司東證1部：6448
ISIN: JP3830000000
成立: 1934年1月15日  （日本縫紉機械製造有限公司）
總部: 日本 名古屋市瑞穗區苗代町15-1
標語口號: At Your Side.
产业: 打印機、縫紉機
產品: 製造及銷售電腦打印機、傳真機、縫紉機、針織機和家用電器等
員工人數: 23,809人（合併） 3,125人（非合併）
网站: www.brother.com
兄弟工業株式會社（，Brother Industries, Ltd.）（東證1部：6448）是一家多元化經營的日本公司，生產各種各樣的產品，包括印表機、縫紉機、大型機床、標籤打印機和打字機、傳真機、電腦和其他相關電子產品。
歷史 > 成立

安井兼吉於1908年建立安井縫紉機公司，專營銷售及維修縫紉機。而安井兼吉正是兄弟工業創辦人的父親。安井兼吉的大兒子安井正義由九歲起協助父親打理生意，17歲時便到了大阪當學徒。當時大阪正是日本縫紉機業發展的中心。安井縫紉機於1928年生產日本自製的縫紉機，這是首台鏈形縫紉機，也是首台以「兄弟牌」行銷的產品。
歷史 > 發展

1941年，兄弟縫紉機銷售有限公司成立， 在日本開拓銷售網絡。 1947年，在 日本政府要求下，兄弟開始出口家用縫紉機到 上海。1954年建立了兄弟國際企業。1954年於紐約建立銷售總部，當時美國銷售部門希望生產手提打字機，稱這產品將會越來越受美國人歡迎。後來兄弟研發出來的手提打字機便出口美國。直到1971年，兄弟產品20種語言的打字機，並行銷全球110個國家。這使打字機成為縫紉機之外的兄弟產品。 1958年在愛爾頓建立歐洲生產基地。1961年於日本的總部大廈落成，並於1962年由「日本縫紉機株式會社」改名為「兄弟工業株式會社」。1963年，兄弟在東京證券交易所，名古屋證券交易所和大阪證券交易所股票上市。1971年，兄弟開發高速點陣式打印機。1987年，日本電信電話和兄弟共同開發傳真機。之後，兄弟在美國的傳真機市場連續七年佔有率排名第一（1994年—2000年）。不過，近年來佳能、惠普的傳真機漸漸剝奪兄弟的傳真機市場。2003年多功能噴墨打印機My Mio發布。在2010年結合傳真機，且市場佔有率排名第一。
主要產品

註：以下英文乃日語羅馬字。
主要產品 > 縫紉機

家用縫紉機
Inovisushirizu （普通縫紉，繡花縫紉機）
專業縫紉機
工業縫紉機
主要產品 > 傳真

Komyushe
主要產品 > 打印機

My Mio（噴墨打印機、多功能一體機）
Jasutio系列（激光打印機，多功能皮革，A3彩色多功能一體機）
Pitatchi系列（標籤打印機作家的標籤）
移動打印機
Gamentopurinta
IC標籤打印機
主要產品 > 原子印製造器

Stampcreator系列
主要產品 > 其他

兄弟PDA
內容分發系統 Einy
鑽孔攻牙機
附屬公司

兄弟的附屬公司包括：
兄弟國際公司
兄弟銷售有限公司
兄弟房地產
XING INC.〈株式会社エクシング〉
日生有限公司
昭和精機有限公司
等。
研究和生產基地 > 日本

瑞穗廠（名古屋瑞穗區）
星崎工廠（名古屋南區）
港口工廠（名古屋港區）
桃園廠（名古屋瑞穗區）
刈谷廠（愛知縣刈谷市）
技術開發中心（名古屋瑞穗區）
物流中心（名古屋南區）
研究和生產基地 > 海外辦事處

台灣
香港~兄弟國際﹙香港﹚有限公司辦事處曾經位於尖沙咀海洋中心現在位於葵芳新都會廣場 }}
新加坡
菲律賓
杜拜
澳洲
南韓
法國
加拿大
墨西哥
德國
越南
馬來西亞
中國大陆
越南
英國
斯洛伐克
美國
軼事

多功能噴墨打印機My Mio的首個系列「Souchikakunin 41」由於打印頭或電源電路的缺陷而不能打印，需要返厂維修。
兄弟的打印機利用傳感器估計墨盒可能是空。「空墨盒」必須更換才可以繼續打印，即使打印时不需要用到那个顏色的墨水。只需用絕緣膠帶贴在該傳感器中心的位置，打印機会以为墨盒已滿。您可以打印到墨水真的用完。
參考

.   [2010-07-05]. （原始内容存档于2010-05-13）.
.   [2010-07-05]. （原始内容存档于2010-02-10）.
註釋

↑  .   [2009-04-24]. （原始内容存档于2009-04-22）.
↑  .   [2010-07-05]. （原始内容存档于2009-02-27）.
外部連結

Brother Global site（页面存档备份，存于）
Brother Sewing Machines Europe Site（页面存档备份，存于）
打字機
致2020的我们

| 致2020的我们 Best Friends Forever |
| --- | --- |
主演: 罗美仪、何盈莹、陳芷尤、吳清樑、林俊良
语言: 华语
集数: 13
每集长度: 约45分钟 (不包括广告时间)
主题曲: 好爱你lah by插班生
制作
监制: 劉建財
拍攝地點:  新加坡
制作公司: 新传媒私人有限公司

新传媒8频道首播 
图像制式: 標準畫質電視、
播出国家／地区:  新加坡
播出日期: 2020年4月10日—2020年4月28日
 
《致2020的我们》（英文：），新传媒私人有限公司制作的时装奇幻家庭剧，由罗美仪、何盈莹、陳芷尤、吳清樑、林俊良联合演出。
播出时间 > 首播

| 频道 | 所在地 | 播放日期 | 首播時间 |
| --- | --- | --- | --- |
| 新传媒8频道 | 新加坡 | 2020年4月10日 | 星期一至五 21:00 - 22:00 |
| Astro AEC |  马来西亚 | 2021年11月3日 | 星期一至五 20:30 - 21:30 |
演员阵容

| --- | --- |
演员: 角色
罗美仪: 陈姿颖
何盈莹: 吴思雅
陳芷尤: 王芸汐
吳清樑: 
林俊良:
电视节目的变迁

| 新加坡 新传媒8频道 星期一至五 21:00 - 22:00 |
| --- | --- | --- |
|  | 致2020的我们 （2020年4月10日—2020年4月28日） |  |
| — | 致2020的我们 （2020年4月10日—2020年4月28日） | — |
|  马来西亚 Astro AEC HD 星期一至五 20:30 - 21:30 两集连播 |
| --- | --- | --- |
|  | 致2020的我们 （2021年11月3日—2021年11月23日） |  |
| 看见看不见的你 （2021年10月26日—2021年11月3日） | 致2020的我们 （2021年11月3日—2021年11月23日） | 新登场：爱在一百米 （2021年11月12日—2021年11月12日）新登场：咖啡的偶遇 （2021年11月12日—2021年11月12日） |
臺中市第四市場

| 臺中市第四市場 |
| --- | --- |

位置: 臺中市東區南京路34號
: 24°08′26″N 120°41′36″E﻿ / ﻿24.140565°N 120.693385°E﻿ / 24.140565; 120.693385
建成时间: 1931年

 中華民國文化資產
官方名称: 臺中市第四市場
類型: 登錄等級：歷史建築 登錄種類：其他設施-市場
评定时间: 2014年2月16日
詳細登錄資料
 
 
台中市干城町市場平面圖
臺中市第四市場，舊稱干城町消費市場，建於1931年，位於臺中市東區。其建築之屋架、屋頂、部分構件、太子樓尚維持舊貌，於2014年登錄為臺中市歷史建築，2018年修復動工。2021年12月4日重新開幕為青創、文化基地。
介紹

臺中市第四市場位在當時台中市東端的干城町，當時名為干城町消費市場，為台中市在臺灣日治時期興建的的第四個消費市場，故俗稱第四市場。臺中市第四市場當時鄰近台中步兵第三大隊（戰後成為陸軍干城營區）與帝國製糖株式會社，營區於1979年遷至高雄後，生意便逐漸沒落，後來攤販也全數遷出，遷出後便閒置了一段時間。
2014年登錄為台中市歷史建築，2018年11月開始修復，原預計規劃為漫插畫家進駐基地，但後來計畫改為青年文創基地或小農市集。
相關條目

臺中市第一市場（榮町消費市場，1987年改建為第一廣場，現稱東協廣場）
臺中市第二市場（新富町消費市場）
臺中市第三市場（敷島町消費市場）
臺中市第五市場（旭町消費市場）
大和村市場
新高町市場
參考資料

↑  . 國家文化資產網. （原始内容存档于2018-01-16）.
↑  . 自由時報. （原始内容存档于2018-12-10）.
↑  . 自由時報. 2019-05-16. （原始内容存档于2022-07-01）.
阮玉良德

| 阮玉良德 |
| --- | --- |
阮朝安常公主
國家: 大南
時代: 阮朝
姓名: 阮玉良德
別名: 阮玉三春
出生: 1817年7月26日 嘉隆十六年六月十三日 大南富春京
婚年: 1841年（紹治元年）
逝世: 1891年5月13日(1891歲—05—13)（73歲） 成泰三年四月六日 大南富春京
谥号: 美淑
親屬
父親: 明命帝
母親: 美人阮氏彬
夫: 潘文瑩
同胞兄弟: 咸順公阮福绵守
阮玉良德（越南语：／；1817年7月26日—1891年5月13日），初名阮玉三春（越南语：／），越南明命帝第4女，生母美人阮氏彬，越南诗人。
生平

嘉隆十六年六月十三日（1817年7月26日），阮玉良德在順化京城出生。年少時候非常聰明，深得父親明命帝的喜愛。九歲時，母親阮氏彬生病了，時值萬壽節，明命帝的女兒都已入席，宮廚送進一份大羊尾乳嬭，明命帝分賜給各位女兒。等輪到良德時，她含而不吞。明命帝問她為何不吃，她離席回答說：“我的母親有病不能與宴，享受不了父皇的恩典。我私下聽說這種食物能補身體，想帶回去給母親吃。”明命帝甚是高興，又賜給她一份新的令其帶回去供奉給母親。
阮玉良德稍長後，明命帝賜居貞明殿，命宮中女官教導她學習書史女工，她也都能學得很好。明命九年（1828年）四月，某天夜裏贞明殿失火，延燒帳幕，阮玉良德突然起來，呼喚值班的人，親自監督他們滅火。當時明命帝正在順安出巡，等到回到京城聽說這件事，下令嘉獎她，賜黃金三兩。壽春王有詩“王姬忽作飛來雉，博得安常滿袖金”，即是述說此事。
明命十五年（1834年），明命帝南巡，留公主在慈壽宮侍奉皇太后陳氏璫，深得皇太后歡心，明命帝回宮後，賞賜白玉羊脂配牌。明命十八年（1837年），生母阮氏彬去世，阮玉良德十分悲痛。明命二十一年（1840年），明命帝病重，阮玉良德日夜隨侍湯藥，衣不解帶。逮到明命帝去世時，阮玉良德悲痛至倒地昏迷。
紹治元年（1841年），紹治帝以其喜愛書籍，御賜《大南寔錄前編》和《資治通鑒》各一部。同年，下嫁彰義侯潘文璻第四子、駙馬都尉潘文瑩。婚後兩人十分恩愛。
嗣德元年（1848年），嗣德帝冊封其為安常公主（越南语：／）。嗣德十五年（1862年），駙馬潘文瑩因病去世，公主上疏請求營造生墳，他日去世後好與駙馬合葬。
嗣德十九年（1866年），公主五十歲壽辰，嗣德帝特命皇親和太監前往賀壽。嗣德三十一年（1878年），以公主年高自律，每年加賞一百緡錢和五十方米。咸宜元年（1885年）五月，入值孝思殿，適逢勤王運動爆發，尊室說帶著咸宜帝和三宮逃離京城，公主前往孝陵避亂。當時國內動亂，孝陵守兵逃散，陵內一片狼藉，公主見狀放聲大哭，留下守陵，不肯離去。同年秋，三宮回鑾，公主前往侍奉。等到同慶帝即位，京城安定，公主才回府第。後來因此事屢獲兩宮褒獎。
成泰三年（1891年）春，公主入侍宮中，慈懿太皇太后武氏諧說近來有婕妤阮若氏寫了一片佳作，令公主賡和，成就一件宮闈美談。同年四月六日（1891年5月13日），公主去世，壽七十五歲，諡美淑。
公主晚年喜歡佛道之說，有別號清慈。
評價

尊人府曾以公主孝行可風為由，為其請旌表。但因皇室不可以平民論之，遂不了了之。
綏理王阮福綿寊：我姊柔嘉淵塞，冠被祁祁，言不出閾，王姬尊貴，勤儉謙抑，七戒夙閑，三從維則，有子克孝，有孫侍側，福壽未艾，康寧好德，於穆皇風，自家而國，四方觀感，彤史是式，蓋紀其寔也。
家庭

公主與駙馬潘文瑩育有四子。
長子潘文輝，蔭授校尉
注釋

↑  《阮福族世譜》，順化出版社，1995年，318-319頁。
加里·塔克

加里·罗伯特·塔克（Gary Robert Tuck，1954年9月6日—）出生于美国纽约州阿姆斯特丹，過去曾是美国职棒大联盟纽约洋基的牛棚教练。他拥有23年的棒球执教经验，最有名的是他用书法书写先发名单。
塔克毕业于印第安那大学，他从蒙特利尔博览会开始自己的职业生涯，他在球队的小联盟担任捕手，但三年之后他就选择退役。1980年和1981年他分别担任圣母大学和亚利桑那州立大学的助理教练，并在亚利桑那州立大学获得NCAA的冠军。随后他进入休士顿太空人，在球团待了8年，曾在1986年率领2A的卡罗莱纳泥猫获得当年的冠军，他本人获得南部联盟年度最佳教练的荣誉。
1989年塔克成为纽约洋基3A哥伦布快船的教练。1990年他进入大联盟，成为洋基队的板凳教练。第二年他离开洋基，成为克里夫兰印地安人1A球队的总教练，之后他转而担任球团的球探。
1996年塔克重回洋基，担任1A球队的总教练。1998年和1999年他担任洋基牛棚教练，随球队两次获得世界大赛冠军。2006年他来到佛罗里达马林鱼担任板凳教练，辅佐前洋基捕手乔·吉拉迪。
2007年开始担任波士顿红袜的牛棚教练，并在2007年再次获得世界大赛冠军。
2014年塔克三度重回洋基开始担任牛棚教练，接替明年擔任亞利桑那響尾蛇的投手教練的麥克·哈基。
2015年，塔克拒絕他的合同選項，並離開了洋基隊。
参考资料

↑  Patrick Hruby. . ESPN. 2006-12-21  [2010-07-18]. （原始内容存档于2011-05-24）.
火唇柔麗鯛

| 火唇柔麗鯛 |
| --- | --- |

保护状况
 瀕危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 慈鲷目 Cichliformes
科：: 慈鲷科 Cichlidae
属：: 柔丽鲷属 Placidochromis
种：: 火唇柔麗鯛 P. phenochilus
二名法
Placidochromis phenochilus Trewavas, 1935


異名
 Haplochromis phenochilus Trewavas, 1935  Cyrtocara phenochilus Trewavas, 1935  Protomelas phenochilus Trewavas, 1935
火唇柔麗鯛，為輻鰭魚綱鱸形目隆頭魚亞目慈鯛科的其中一種，分布於非洲馬拉威湖北部流域，體長可達15.7公分，棲息在底中層水域，生活習性不明。
參考文獻

Froese, R. & Pauly, D. (eds.) (2013). Placidochromis phenochilus. FishBase. Version 2013-04.
擴展閱讀

維基物種上的相關：火唇柔麗鯛
碧欧泉

| 碧欧泉 Biotherm |
| --- | --- |

公司類型: 子公司 
成立: 1952年
創辦人: Jeanine Marissal
總部:  法國
業務範圍: 全球
产业: 化妝品
產品: 化妝品、保養品
所有權者: 萊雅 
母公司: 歐萊雅（L'Oréal）
网站: www.biotherm.com  法國 www.biotherm.fr  美国 www.biotherm-usa.com  臺灣 www.biotherm.com.tw  中国 www.biotherm.com.cn  香港 www.biotherm.com.hk
碧欧泉（Biotherm），保養品品牌，起源于1950年代，隶属法国莱雅集团。产品主要针对年轻20至35岁年轻女性，涉及面部护肤，彩妆和身体护理。其碧欧泉男士护肤（Biotherm Homme）为全球销量最大，产品线最齐的男士护理品牌。
自然演绎

在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。這種方式對比於使用公理的公理系統。
动机

自然演绎来源自对共通于弗雷格、罗素和希尔伯特系统的判句公理化(希尔伯特演绎系统)的不满。这种公理化最著名使用是在罗素和怀特海的《数学原理》的数学论述中。在1926年由扬·武卡谢维奇在波兰发起的一系列研讨会提倡一种对逻辑的更加自然处理，斯坦尼斯瓦夫·亚希科夫斯基做了定义更自然的演绎的最早尝试，首先在1929年使用了一种图表表示法，并在1934年和1935年的一序列论文中更改了他的提议。但是他的提议没有流行起来。现代形式的自然演绎是由德国数学家格哈德·根岑于1935年在一篇提交给哥廷根大学数学系的学位论文中独立提出的。术语自然演绎就是在那篇论文中出现的:
— Gentzen, 《Untersuchungen über das logische Schließen》(Mathematische Zeitschrift 39, pp.176-210, 1935)
根岑被建立数论的一致性证明的目标所推动，因而找到了他的自然演绎演算的直接使用。但他不满意自己证明的复杂性，并在1938年使用他的相继式演算给出了一个新的一致性证明。在1961年和1962年的一系列研讨会中，Dag Prawitz 给出了自然演绎演算的全面总结，并把根岑对相继式演算做的很多工作转运到了自然演绎框架中。他在1965年的专著《Natural deduction: a proof-theoretical study》成为关于自然演绎的权威著作，并包括了模态和二阶逻辑的应用。
在本文中提供的系统是根岑或 Prawitz 的公式化的一个小变体，但忠实于 Per Martin-Löf 对逻辑判断和连结词的描述(Martin-Lof, 1996)。
判断和命题

判断是可知的事物，就是说知识的对象。如果有人实际上知道它则它是显然(有证据的)的。所以"正在下雨"是一个判断，对于知道实际上正在下雨的人而言它是显然的；在这种情况下，你可以通过看窗外或走出屋子来轻易的找到这个判断的证据。但是在数理逻辑中，证据通常不是直接可观测到的，而是从更加基本的显然判断演绎来的。演绎的过程构成了一个证明；换句话说，一个判断是显然的，如果你有对它的证明。
在逻辑中最重要的判断是“A 为真”这种形式的。字母 A 表示代表一个命题的任何表达式；这个真理判断要求更基本的判断:“A 是命题”。很多其他判断也已经被研究了；比如“A 为假”(参见经典逻辑)，“A 在时间 t 为真”(参见时间逻辑)，“A 必然为真”或“A 可能为真”(参见模态逻辑)，“程序 M 有类型 τ”(参见编程语言和类型论)，“A 从可用的资源是可完成的”(参见线性逻辑)，等等。作为开始，我们先只关注最简单的两个判断 “A 是命题”和“A 为真”，分别缩写为“A prop”和“A true”。
判断和命题 > 形成规则

判断“A prop”定义了 A 的有效证明的结构，它们进而定义了命题的结构。出于这个原因，判断的推理规则有时叫做形成规则。作为展示，如果我们有两个命题 A 和 B (就是说，判断“A prop” 和“B prop”是显然的)，则我们形成了复合命题 A 与 B，符号化写为 " A\wedge B"。我们可以用推理规则的形式把它写为:
这个推理规则是“模式性”的: A 和 B 可以示例任何表达式。推理规则的一般形式为:
这里的每个  J_{i} 都是一个判断，而推理规则被命名为“name”。横线上的判断叫做前提，而横线下的判断叫做结论。其他常见的逻辑命题是析取( A\vee B)，否定( \neg A)，蕴涵( A\supset B)，和逻辑永真( \top ) 和永假( \bot )。它们的形成规则如下。
介入和除去规则

现在我们讨论“A 为真(是真理)”判断。在本文余下部分中，我们将在已被理解的地方省略“prop”判断。在结论中介入逻辑连结词的推理规则叫做介入规则。要介入合取，就是说从命题 A 和 B 推导出“A and B 为真” ，你需要“A 为真和 B 为真”的证据。作为一个推理规则:
上述规则实际上是省略命题判断的简写。
在空无(nullary)的情况下，你可以从没有前提中推导出真理。
注意在空无的情况下，对于虚假是没有介入规则的。所以你永远不能从更简单的判断推导出虚假。
如果一个命题的真实性可以通过多于一种方式来确立，则相应的连结词有多个介入规则。
对偶于介入规则的是描述如何把关于复合命题的信息解构为关于它的成员的信息的除去规则。因此，从“A ∧ B 为真”，我们可以推导出 “A 为真”和 “B 为真”:
我们已经见到的推理不足以陈述蕴涵介入或析取除去的规则；为此我们需要假言推导的更一般的概念。
介入和除去规则 > 例子

作为推理规则的使用例子，考虑合取的交换律。如果 A ∧ B 为真，则 B ∧ A 为真；这可以通过以底下推理的前提匹配上面推理的结论的方式构成推理规则来完成这种推导。
假言推导

在数理逻辑中普遍性的操作是“依据假定的推理”。例如，考虑下列推导:
这个推导不确立 B 为真；而确立了下列事实:
在逻辑中，我们读做“假定 A ∧ (B ∧ C) 为真，我们证实 B 为真”；换句话说，判断“B true”依赖于假定的判断“A ∧ (B ∧ C) true”。这叫做假言推导，它可写为如下:
释义为: “B true”推导自“A ∧ (B ∧ C) true”。当然，在这个特定的例子中我们实际上知道“B true”来自“A ∧ (B ∧ C) true”的推导，但是一般而言，我们不可以先验的知道这个推导。假言推导的一般形式为:
每个假言推导都有写在顶行的一组前件推导(Di)，和写在底行的一个后件判断(J)。每个前提自身都可以是一个假言推导。(出于简单性，我们把这种判断处理为无前提推导。)
假言推导 > 推理规则

假言判断的概念被主观化为蕴涵的连结词。蕴涵介入规则和蕴涵除去规则如下。
在介入规则中，命名为 u 的前件被“注入”到结论中。这是界定假设的范围的机制: 它存在的唯一理由是确立 “B true”；它不能被用做任何其他目的，特别是，它不能被用在这个介入之下。作为一个例子，考虑“A  \supset  (B  \supset  (A ∧ B)) true”的推导:
这是个没有不满足前提的完整推导；但是，子推导是假设的。例如“B  \supset  (A ∧ B) true”的推导假设了前件“A true”(命名为 u)。
通过假言推导，我们现在写出析取除去规则:
用口语说，如果“A ∨ B true”，并且我们可以从“A true”和“B true”二者推出“C true”，则确实“C true” 。注意这个规则不依靠于“A true”或“B true”中的任何一个。
在空无的情况下，我们得到下列有关虚假的除去规则:
这读做: 如果虚假为真，则任何命题 C 为真。
否定介入规则和否定除去规则类似于蕴涵。
介入规则注入了假设 u 的名字。因为这些规则是模式性的，介入规则的释义为: 如果我们可以从“A true”推导出“P true”和“¬P true”，就是  \bot ；则 A 必定为假，也就是“¬A true”。对于除去规则，如果 A 和 ¬A 二者都被证明为真，则这是个矛盾  \bot ，在这种情况下所有命题 C 为真。因为蕴涵和否定的规则如此的类似，很容易看出 ¬A 和 A  \supset  ⊥ 是等价的，就是可以相互推导的。
一致性，完备性和规范形式

一个理论被称为是一致(相容)的，如果虚假(从没有前提)是不能证明的，被称为是完备的，如果所有定理都可以使用这个逻辑的推理规则来证明。这是关于整体的逻辑的陈述，并通常和某种模型的概念联系在一起。但是，还有对推理规则的纯粹语法检查的一致性和完备性的局部的概念，而不需要诉诸模型。首先是局部一致性，也叫做还原性，它声称包含了一个连结词的介入、并立即跟随着它的除去的任何推导都可以被转换成不包含这种迂回的等价推导。这是对除去规则力量的检查: 它们不能强大得包含了在前提中没有包含的知识。作为一个例子，考虑合取。
| 0 | 1 | 2 |
| --- | --- | --- |
|   {\cfrac {{\frac {}{A\ true}}u\quad {\frac {}{B\ true}}w}{{\cfrac {A\land B\ true}{A\ true}}\lor E_{1}}}\land I | ⇒ |   {\cfrac {}{A\ true}}u |
作为对偶，局部完备性声称除去规则足够强大来把一个连结分解成适合它的介入规则的形式。再次考虑合取:
| 0 | 1 | 2 |
| --- | --- | --- |
|   {\cfrac {}{A\land B\ true}}u | ⇒ |   {\cfrac {{\cfrac {{\frac {}{A\land B\ true}}u}{A\ true}}\land E_{1}\quad {\cfrac {{\frac {}{A\land B\ true}}u}{B\ true}}\land E_{2}}{A\land B\ true}}\land I |
使用Curry-Howard同构，除去规则和介入规则分别精确的对应于lambda 演算中的 β-归约和 η-展开。通过局部完备性，我们看到所有推导都可以被转换成介入主要连结词的等价推导，实际上，如果整个推导都服从除去跟随着介入的这种次序，则可以被称为是规范的。在规范推导中，所有除去都出现在介入上面。在大多数逻辑中，所有推导都有等价的规范推导，叫做规范形式。规范形式的存在使用自然演绎自身一般是难于证明的，这种理由确实存在于文献中，其中最著名的是 Dag Prawitz 1961年的书《Natural deduction: a proof-theoretical study》，A&W Stockholm 1965,没有ISBN。通过免切相继式演算表达的方式做间接的证明是非常容易的。
一阶扩展

前面章节中的逻辑是“单类”逻辑的例子，单类逻辑只带有单一一类对象: 命题。已经提出了对这个简单框架的很多扩展；在本章中我们将向它扩展上第二类对象：个体或项。更精确地说，我们将增加新的一类判断 “t 是项”(或“t term”)，这是的 t 是模式性的。我将固定一个变量的可数集合 V，函数符号的可数集合 F，并如下这样构造项:
| 0 | 1 | 2 |
| --- | --- | --- |
|   {\frac {v\in V}{v\ term}}{var-}F |  |   {\frac {f\in F\quad t_{1}\ term\quad t_{2}\ term\quad ...\ t_{n}\ term}{f(t_{1},t_{2},...,t_{n})\ term}}{app-}F |
对于命题，我们考虑第三个谓词的可数集合。并用如下规则定义“在项之上的原子谓词”:
此外，我们增加一对“量化的”命题: 全称( \forall )和存在( \exists ):
| 0 | 1 | 2 |
| --- | --- | --- |
|   {\cfrac {\begin{matrix}{\frac {}{x\ term}}u\\\vdots \\A\ prop\\\end{matrix}}{\forall x.\ A\ prop}}\forall F^{u} |  |   {\cfrac {\begin{matrix}{\frac {}{x\ term}}u\\\vdots \\A\ prop\\\end{matrix}}{\exists x.\ A\ prop}}\exists F^{u} |
这些量化的命题有如下的介入和除去规则。
| 0 | 1 | 2 |
| --- | --- | --- |
|   {\cfrac {[a/x]A\ true}{\forall x.\ A\ true}}\forall I^{a} |  |   {\cfrac {\forall x.\ A\ true}{[t/x]A\ true}}\forall E |
|   {\cfrac {[t/x]A\ true}{\exists x.\ A\ true}}\exists I |  |   {\cfrac {\exists x.\ A\ true\quad {\begin{matrix}{\frac {}{[a/x]A\ true}}u\\\vdots \\C\ true\end{matrix}}}{C\ true}}\exists E^{a,u} |
在这些规则中，符号 [t/x] A 表示代换 A 中 x 的所有(可见)实例为 t，避免它被其他量词捕获；关于这种标准操作的详细描述请参见 lambda 演算。同前面一样，名字上的上标表示被注入的成分: 在  \forall I的结论中不能出现项 a(这种项叫做本征变量或参数)，在  \exists E中指名为 u 的假设被局部化到假言推导的第二个前提中。尽管早先章节中的命题逻辑是可判定的，增加量词使逻辑成为不可判定的。