ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
富爾格倫施托克山，是瑞士的山峰，位於該國中部，由施維茨州負責管轄，屬於施維茨前阿爾卑斯山脈的一部分，距離大米滕山3.2公里，海拔高度1,656米，每年平均降雨量2,385毫米。
Isabelle 是一個基于高階邏輯（higher-order logic）的通用交互式定理證明器。它是一個 LCF（Logic for Computable Functions）風格的證明輔助工具，使用 Standard ML 語言實現。它擁有一個極小化的邏輯核心；這意味著使用它的證明和形式化驗證具有較強的的可信度。
Isabelle 是通用的：它提供了一套元邏輯（相當于一個較弱版本的類型論），可用于編碼諸多對象邏輯，如一階邏輯、高階邏輯、或ZF集合論。最常被用到的對象邏輯是 Isabelle/HOL；而其對集合論的形式化工作則使用了 Isabelle/ZF。Isabelle 的主要證明手段利用了高階版本的歸結原理（resolution），基于高階的合一（unification）。
盡管 Isabelle 主要采取交互式的證明方式，它同時亦提供了若干高效的自動化推理工具，例如項重寫引擎、tableaux 證明器、以及各種判定過程。藉由 ''sledgehammer'' 界面，它還可以調用外部的 SMT 求解器（包括 CVC4）和其他歸結式定理證明器（包括 E 和 SPASS）。
Isabelle 被用于形式化數學和計算機科學中的許多定理，諸如哥德爾完備性定理、哥德爾關于選擇公理一致性的證明、素數定理、各種安全協議的正確性、程序語言語義的特性。這些定理形式化工作的維護通過形式化證明存檔（Archive of Formal Proofs）進行；截至 2019 年它已包含逾 500 個條目，兩百萬行證明。
Isabelle 定理證明器是開源軟件，其源碼在 BSD license 下授權發布。
“Isabelle”由其作者 Lawrence Paulson 命名；這名字取自于法國計算機科學家  的女兒。
Isabelle 支持兩種不同風格的的證明書寫方式：過程式和聲明式。
過程式風格的證明主要由一系列證明策略（tactics）或過程的依次運用組成；它能夠較好地反映數學家思考證明的過程，但通常較難閱讀，因為它無法直接體現每步推演的結果。
聲明式風格的證明（由 Isabelle 內置的證明語言 Isar 支持）則與之相反，它以直接的方式描述了每一步確切的數學推演，因此較容易被閱讀和人工檢查。
在較新版本的 Isabelle 中，過程式風格的證明已不建議再使用。形式化證明存檔（Archive of Formal Proofs）亦推薦使用聲明式風格來書寫證明。
例如，下面是一個聲明式風格的“2的算術平方根是無理數”的證明：
sqrt2_not_rational:
m n :: nat
sqrt_rat:   lowest_terms:
(rule Rats_abs_nat_div_natE)
(auto simp add: power2_eq_square)
eq:   of_nat_eq_iff power2_eq_square  fastforce
k   ..
eq    simp
(rule gcd_greatest)
lowest_terms    simp
False  odd_one  blast
除數學證明以外，Isabelle 亦被廣泛應用于計算機軟件及硬件的形式化驗證：
* 2009年，澳大利亞 NICTA 的 L4 團隊開發了史上首個功能正確性得以形式化驗證的通用操作系統內核：seL4 微內核。其證明使用 Isabelle/HOL 構建，包含了 200000 行證明腳本，用以驗證 7500 行 C 代碼。該形式化驗證涵蓋了代碼、設計與實現，其主定理指出：該內核的 C 代碼正確地實現了其形式化設計規范。
* 程序語言 Lightweight Java 類型安全的形式化證明使用了 Isabelle。
Isabelle 的網站上有一個使用 Isabelle 的研究項目列表。
* Lawrence C. Paulson. "The foundation of a generic theorem prover". ''Journal of Automated Reasoning'', Volume 5, Issue 3 (September 1989), pages: 363–397, .
* Lawrence C. Paulson: ''The Isabelle Reference Manual''.
* M. A. Ozols, K. A. Eastaughffe, and A. Cant. "DOVE: Design Oriented Verification and Evaluation". ''Proceedings of AMAST 97'', M. Johnson, editor, Sydney, Australia. Lecture Notes in Computer Science (LNCS) Vol. 1349, Springer Verlag, 1997.
* Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: ''Isabelle/HOL – A Proof Assistant for Higher-Order Logic''.
*  Isabelle 的官方網站
*  形式化證明存檔（The Archive of Formal Proofs）
羅滕弗盧赫山，是瑞士的山峰，位於該國中部，由施維茨州負責管轄，屬於施維茨阿爾卑斯山脈的一部分，距離大米滕山1.1公里，海拔高度1,571米。
*  www.rotenfluh.ch
烏爾米貝格山，是瑞士的山峰，位於該國中部，由施維茨州負責管轄，屬於施維茨阿爾卑斯山脈的一部分，距離里吉山1.5公里，海拔高度1,395米。
*  Luftseilbahn Brunnen - Urmiberg
*  Bergrestaurant Timpelweid
*  Urmiberg bei Mythen Volksmusik
比伯利肖普夫山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，處於舍尼斯境內，海拔高度566米，該地區在十九世紀考古發現奧古斯都時期的陶瓷和武器。
臺中市立潭秀國民中學，簡稱潭秀國中，是一所位於臺中市潭子區的國民中學，於1992年8月創校。
#陳秋林：1992年8月－1998年7月
#謝瀋鴻：1998年8月－2003年7月
#程啟煌：2003年8月－2006年1月
#曾祿喜：2006年2月－2010年1月
#伊慕蘊：2010年2月－2013年7月
#江世大：2013年8月－2017年7月
#連秀玉：2017年8月－2021年7月
#晏傳嫘：2021年8月－現任
潭子區：大富里、東寶里、大豐里、頭家-{里}-、家興里、家福里、甘蔗里全里。栗林里、潭秀里、潭陽里、福仁里以中山路西邊為界。
休菲爾斯滕山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿彭策爾阿爾卑斯山脈的一部分，距離加姆斯山5公里，海拔高度2,306米。
* Alle 7 Churfirsten an einem Tag
*Tourenberichte und Fotos:  Selun ,  Frümsel ,  Brisi ,  Zuestoll ,  Schibenstoll ,  Hinterrugg  und  Ch?serrugg . Also  N?geliberg  und  Sch??ren
卡普龍是位於美國伊利諾伊州布恩縣的一個村落。
卡普龍的座標為，而該地最高點為海拔高度278米（即912英尺）。
根據2010年美國人口普查的數據，卡普龍的面積為2.00平方千米，當中陸地面積為2.00平方千米，而水域面積為0.00平方千米。當地共有人口1376人，而人口密度為每平方千米人。
歇塞魯格山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿彭策爾阿爾卑斯山脈的一部分，海拔高度2,262米，每年平均降雨量1,954毫米。
*  Ch?serrugg Bergbahnen
* Panoramarundweg Ch?serrugg
希呂茨貝格山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿彭策爾阿爾卑斯山脈的一部分，海拔高度2,065米，人類在1893年11月9日首次登頂。
*  Foto vom I. bis VIII. Kreuzberg auf www.alpen-panoramen.de
切里瓦利是位於美國伊利諾伊州布恩縣的一個村落。
切里瓦利的座標為，而該地最高點為海拔高度219米（即718英尺）。
根據2010年美國人口普查的數據，切里瓦利的面積為22.40平方千米，當中陸地面積為21.70平方千米，而水域面積為0.70平方千米。當地共有人口3162人，而人口密度為每平方千米人。
許梅特勒山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿彭策爾阿爾卑斯山脈的一部分，海拔高度1,704米，每年平均降雨量1,954毫米。==參考資料==
弗呂根峰，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯山脈的一部分，距離伯爾尼130公里，海拔高度1,739米，每年平均降雨量1,954毫米。
弗呂格峰，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離萊施特卡姆山0.7公里，海拔高度1,701米，每年平均降雨量1,954毫米。
* '' Flügespitz.'' hikr.org – Tourenberichte und Fotos.
* '' Wenn Rinder den Ruf des Berges st?ren. Eine vorgesehene und eine durchgeführte Wanderung am Rand von Heidiland.'' Andreas Doepfner in NZZ online, 4. August 2005.
波普拉格羅夫是位於美國伊利諾伊州布恩縣的一個村落。
波普拉格羅夫的座標為，而該地最高點為海拔高度282米（即925英尺）。
根據2010年美國人口普查的數據，波普拉格羅夫的面積為20.00平方千米，當中陸地面積為2.00平方千米，而水域面積為0.00平方千米。當地共有人口5023人，而人口密度為每平方千米人。
芬蘭教育文化部
芬蘭教育文化部（，）是芬蘭的十二個部委之一，它制定法律并監督與教育（如日托、中小學和大學）、文化（如博物館、圖書館和藝術）以及體育和科學有關事務的管理。作為芬蘭最古老的部委之一，教育文化部始于1809年的教會部，當時芬蘭大公國是俄羅斯帝國的一個自治實體。
2015年3月，教育文化部下屬的芬蘭國家教育委員會發布了基于“寓教于樂”和學習興趣培養的 《國家核心課程大綱》，自2016年8月起實施，標志著基礎教育核心課程的改革。2016年，芬蘭教育文化部發布了“打造世界上最優秀教師”教育發展計劃。芬蘭政府每年為此撥款1500萬歐元，用于教師系統的升級和發展。
甘姆塞魯格山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離歇塞魯格山1.1公里，海拔高度2,076米，每年平均降雨量1,954毫米。
*  Geologischer Rundweg Gamserrugg
天伯倫是位於美國伊利諾伊州布恩縣的一個村落。
天伯倫的座標為，而該地最高點為海拔高度270米（即886英尺）。
根據2010年美國人口普查的數據，天伯倫的面積為4.60平方千米，當中陸地面積為4.60平方千米，而水域面積為0.00平方千米。當地共有人口934人，而人口密度為每平方千米人。
蓋特里菲斯特山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯坦山脈的一部分，海拔高度2,099米，每年平均降雨量1,954毫米。
*  G?tterifirst Tourenbericht mit Fotos
高施拉山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯山脈的一部分，距離阿爾韋耶山1公里，海拔高度2,310米，每年平均降雨量1,954毫米。
格拉特山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿彭策爾阿爾卑斯山脈的一部分，海拔高度995米，該山峰山林茂密。
*  Auf dem h?chsten Punkt des Kantons Thurgau  Artikel in ''Tagblatt Online'' vom 6. Januar 2011.
古爾門山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離馬格賴因山1.9公里，該山峰海拔高度2,317米，每年平均降雨量1,954毫米。
古爾門山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離馬特施托克山3公里，海拔高度1,789米，每年平均降雨量1,954毫米。
霍赫瓦特山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於皮措爾峰的一部分，海拔高度2,669米，每年平均降雨量1,929毫米。
*  Hochwart  auf gipfelbuch.ch
萊斯特山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離賴尼薩爾特斯山0.8公里，海拔高度2,222米，每年平均降雨量1,954毫米。
賴尼薩爾特斯山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離萊斯特山0.8公里，海拔高度2,258米，每年平均降雨量1,954毫米。
貝爾迪維爾鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，貝爾迪維爾鎮區的面積為94.60平方千米，當中陸地面積為93.40平方千米，而水域面積為1.20平方千米。當地共有人口29669人，而人口密度為每平方千米313.63人。
呂蒂峰，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯坦山脈的一部分，海拔高度1,987米，每年平均降雨量1,954毫米。
* Interaktives  360-Grad-Panorama vom Lütispitz
博納斯鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，博納斯鎮區的面積為92.80平方千米，當中陸地面積為92.00平方千米，而水域面積為0.80平方千米。當地共有人口2490人，而人口密度為每平方千米26.83人。
馬格爾肖普夫山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於瑞士前阿爾卑斯山脈的一部分，海拔高度2,163米，每年平均降雨量1,954毫米。
*  Margelchopf auf hikr.org
*  Panorama mit Margelchopf
布恩鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，布恩鎮區的面積為62.20平方千米，當中陸地面積為62.00平方千米，而水域面積為0.20平方千米。當地共有人口1931人，而人口密度為每平方千米31.05人。
穆辰山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯坦山脈的一部分，海拔高度2,121米，每年平均降雨量1,954毫米。
*  Kugelpanorama vom Gipfel des Mutschen
諾伊納爾普峰，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯坦山脈的一部分，海拔高度1,816米，每年平均降雨量1,954毫米。==參考資料==
*  Hikr: Tourenberichte auf den Neuenalpspitz
* Interaktives  360-Grad-Panorama vom Neuenalpspitz
賴席伯山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，處於瓦倫湖東端，該山峰海拔高度658米，每年平均降雨量1,954毫米。
*  Inventarblatt 40.039 Schützenswerte arch?ologische Fundstellen des Kantons St. Gallen
盧瓦爾省公路網
盧瓦爾省公路網是法國盧瓦爾省境內公路設施的統稱。截止2020年2月，安德爾-盧瓦爾省境內共有高速公路132公里，國道101公里，省道3795公里以及其它公路9004公里。
安德爾-盧瓦爾省的第一條公路出現于18世紀末，最初僅供馬車行駛，工業革命后開始出現機動車輛。1930年，盧瓦爾省境內的公路系統進行了統一編號。1972年和2006年，法國的國道系統兩次大規模拆分，其中盧瓦爾省境內的部分國道均改為省道，并重新編號。
+ 2002－2017年盧瓦爾省公路里程變遷（單位：公里）
* 法國A47號高速公路（8個出入口，1個互通立交橋）
* 法國A72號高速公路（12個出入口，3個互通立交橋）
* 法國A89號高速公路（3個出入口，1個互通立交橋）
盧瓦爾省省道列表
''（羅訥省）''
維奧萊 ? 比西耶爾 ? 內龍德 ? 巴爾比尼 ? ''波米耶'' ? 圣日耳曼-拉瓦勒 ? 圣朱利安多德 ? 格雷佐勒 ? 瑞雷 ? 圣瑞斯特昂舍瓦雷 ? 紹斯泰爾
''（多姆山省）''
35.8（西南段）
圣博內堡 ? 拉圖雷特 ? ''圣尼濟耶德福爾納'' ? 阿博安 ? 圣莫里斯昂古爾瓜 ? ''卡盧瓦爾'' ? 于尼約 ? 菲爾米尼 ? 羅什拉莫里耶爾 ? 圣艾蒂安
圣艾蒂安拉克拉皮耶
27.3（東北段）
圣艾蒂安link=A72高速公路 - 喬治·蓬皮杜大街
''圣艾蒂安'' ? 拉塔洛迪耶爾 ? ''索爾比耶'' ? 豐塔內斯 ? 格拉蒙 ? ''夸斯河畔圣但尼''
沙托訥夫 ? 里沃德日耶 ? 熱尼拉克 ? 雅雷地區圣羅曼 ? ''瓦爾弗勒里'' ? 雅雷地區圣克里斯托 ? 豐塔內斯 ? ''格拉蒙'' ? 舍夫里耶爾 ? ''福雷地區圣梅達爾'' ? 圣加爾米耶 ? 屈濟約 ? 蒙特龍萊班 ? ''沙蘭勒孔塔勒'' ? 馬紐歐特里沃 ? 福雷地區莫爾南 ? ''圣保羅迪佐爾'' ? 蒙韋爾丹 ? 特雷蘭 ? 利尼翁河畔博安 ? ''圣錫克斯特'' ? 萊紐 ? 薩伊蘇庫藏 ? 圣喬治昂庫藏 ? 沙爾馬澤爾
圣熱內-萊爾
圣熱內-萊爾 ? ''拉富尤斯'' ? 圣朱利安-圣朗貝爾 ? 邦松 ? 敘里勒孔塔勒 ? 圣羅曼勒皮 ? 蒙布里松 ? 尚迪約 ? ''普拉隆/沙蘭迪佐爾'' ? 馬爾西伊勒沙泰勒 ? ''馬爾庫'' ? 特雷蘭 ? 利尼翁河畔博安
利尼翁河畔博安
''圣熱內-萊爾'' ? 拉富尤斯 ? 圣博內萊蘇勒 ? 尚博夫 ? 圣加爾米耶 ? 福雷地區貝勒加德 ? 圣西爾萊維涅 ? 瓦萊耶 ? 索昂棟濟 ? 薩爾維濟內 ? 錫旺 ? 弗爾附近普伊 ? 巴爾比尼
雅雷地區圣普列/圣艾蒂安 - 平臺
''雅雷地區圣普列/圣艾蒂安'' ? 萊特拉 ? 圣埃昂 ? 阿韋濟約 ? ''福雷地區圣梅達爾/舍夫里耶爾'' ? 里昂山區沙澤爾
里昂山區沙澤爾
羅阿訥 - 抵抗廣場
羅阿訥 ? ''維勒雷'' ? ''烏什'' ? 朗蒂尼 ? 維勒蒙泰 ? 謝里耶 ? 圣瑞斯特昂舍瓦雷 ? 圣羅曼迪爾費 ? 尚博利 ? 萊薩勒 ? 努瓦雷塔布勒
圣加爾米耶 ? 里瓦 ? 克蘭蒂約 ? 大羅皮塔勒 ? 普雷雪 ? ''薩維尼約'' ? 蒙布里松 ? 沙泰爾訥夫地區埃塞爾蒂訥 ? ''沙泰爾訥夫'' ? 圣博內勒庫羅 ? 索萬 ? 沙爾馬澤勒 ? 讓薩尼耶爾 ? 沙爾馬澤勒 ? 拉尚巴 ? 努瓦雷塔布勒
''（索恩-盧瓦爾省）''
圣皮埃爾拉諾艾耶 ? ''圣尼濟耶蘇沙爾略'' ? ''普伊蘇沙爾略'' ? 武日 ? 羅阿訥
羅阿訥 - 里昂大街路口
拉富尤斯link=A72高速公路 -
''拉富尤斯'' ? ''昂德雷濟約-布泰翁/圣瑞斯特-圣朗貝爾'' ? ''邦松'' ? 福雷地區圣馬瑟蘭 ? ''佩里紐'' ? 呂列克 ? ''拉圖雷特'' ? 圣博內堡 ? 圣尼濟耶德福爾納 ? 埃斯蒂瓦雷耶 ? 福雷地區于松
''（上盧瓦爾省）''
7.4（北段）
圣西爾德法維耶爾與交匯點
''圣西爾德法維耶爾'' ? 旺德朗日 ? ''訥利斯''
訥利斯 - 72號出入口
47.7（中段）
巴爾比尼 - 74號出入口
巴爾比尼 ? 埃佩爾雪-圣保羅 ? ''錫旺'' ? 弗爾 ? ''圣洛朗拉孔什'' ? ''馬爾克洛'' ? 蒙特龍萊班 ? 屈濟約? ''里瓦'' ? 沃什 ? 昂德雷濟約-布泰翁 ? 拉富尤斯 ? ''萊特拉'' ? 雅雷地區圣普列 ? ''圣艾蒂安''
圣艾蒂安 - 平臺
30.7（南段）
圣艾蒂安 - 韋洛切奧轉盤
''圣艾蒂安'' ? ''圣熱內-馬利福'' ? 拉韋爾薩訥 ? 阿讓塔勒堡 ? 圣朱利安-穆蘭莫萊特
''（阿爾代什省）''
弗爾 ? ''克勒佩'' ? ''蓬桑'' ? 圣艾蒂安勒莫拉爾 ? 圣阿加特拉布特雷斯 ? 利尼翁河畔博安 ? ''圣錫克斯特'' ? 洛皮塔勒蘇羅什福爾 ? ''圣洛朗-羅什福爾/阿約'' ? 昂宗河畔韋特爾 ? 努瓦雷塔布勒 ? ''塞爾維耶爾'' ? ''萊薩勒''
圣沙蒙 - 圣艾蒂安大街
圣沙蒙 ? ''索爾比耶'' ? 拉塔洛迪耶爾 ? 雅雷地區拉圖爾 ? 萊特拉
喀里多尼亞鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，喀里多尼亞鎮區的面積為63.10平方千米，當中陸地面積為62.80平方千米，而水域面積為0.30平方千米。當地共有人口7397人，而人口密度為每平方千米117.23人。
弗洛拉鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，弗洛拉鎮區的面積為95.50平方千米，當中陸地面積為95.40平方千米，而水域面積為0.10平方千米。當地共有人口2884人，而人口密度為每平方千米30.2人。
塔米納山，是瑞士的山脈，位於該國東部，處於聖加侖州和格勞賓登州接壤的邊界，屬於西阿爾卑斯山脈的一部分，最高點林格爾峰海拔高度3,247米。==參考資料==
勒羅伊鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，勒羅伊鎮區的面積為81.00平方千米，當中陸地面積為81.00平方千米，而水域面積為0.00平方千米。當地共有人口485人，而人口密度為每平方千米5.99人。
坦茨博登山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，處於埃布納特-卡佩爾以南，海拔高度1,443米，每年平均降雨量1,954毫米。
曼徹斯特鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，曼徹斯特鎮區的面積為86.80平方千米，當中陸地面積為86.80平方千米，而水域面積為0.00平方千米。當地共有人口876人，而人口密度為每平方千米10.09人。
維爾德豪瑟沙夫貝格山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，屬於阿爾卑斯坦山脈的一部分，海拔高度2,373米，每年平均降雨量1,954毫米。
*  Interaktives Kugelpanorama vom Wildhauser Schafberg
波普拉格羅夫鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，波普拉格羅夫鎮區的面積為61.70平方千米，當中陸地面積為61.60平方千米，而水域面積為0.10平方千米。當地共有人口5099人，而人口密度為每平方千米82.64人。
齊格山，是瑞士的山峰，位於該國東北部，由聖加侖州負責管轄，距離萊斯特山0.9公里，該山峰海拔高度2,074米，每年平均降雨量1,954毫米。
斯普林鎮區是位於美國伊利諾伊州布恩縣的一個行政鎮區。
根據2010年美國人口普查的數據，斯普林鎮區的面積為93.60平方千米，當中陸地面積為93.00平方千米，而水域面積為0.60平方千米。當地共有人口877人，而人口密度為每平方千米9.37人。
燭蕊湖是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
燭蕊湖的座標為，而該地的平均海拔高度為276米（即906英尺）。
花園草原是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
花園草原的座標為，而該地的平均海拔高度為238米（即781英尺）。
《NULL & PETA》是由新銳動畫製作的日本原創電視動畫。
《NULL & PETA》是由小倉宏文負責動畫導演的動畫作品，2019年10月播出。
天才少女Null的姐姐Peta在事故中死亡。
但是沒問題！靠著僅有的知識和對姐姐的愛，Null成功制作了機器人版的姐姐"Peta"！
不過呢，作為機器人復活的姐姐和生前稍微有些不同？！
圍繞妹妹和機器人姐姐的姊妹嬉戲打鬧的喜劇展開了：“姐姐，你插頭掉了！”
;零(ぬる):聲：和氣杏未
:天才小學生，特別是理工方面遠遠超過同年齡孩童，本身因為太過聰明的緣故而遭同學排擠，故不願意上學。
:因為自己的姐姐拍塔意外車禍身亡，所以放入了姐姐的記憶並造出了機器布偶拍塔已解相思之苦，
:實質是自己出了車禍而陷入昏迷，而被拍塔用虛擬空間與她的意識連結。
:名稱取自程式用語Null
;拍塔/機器拍塔(ぺた / ぺたロボ):聲：上田麗奈
:零的姊姊，也是唯一的親人，在一場車禍中被卡車撞上因此身亡，零也因此將她的生前記憶數碼化，並做出了類似布偶的機器拍塔。
:有著布偶的外觀和多樣的機能，但料理技術跟生前一樣的相當糟糕，得意技是做出讓零避之唯恐不及的暗黑炒飯。
:實質發生車禍的是自己的妹妹零，在零車禍昏迷的期間使用了虛擬空間與她做意識連結並與之溝通。
:與妹妹零同為天才，同時也製造了不少的迷你機器拍塔。
:名稱出自1015倍的單位拍塔
* 人物設定、總作畫監督：板倉健
* 製作：TOKYOTOON、新銳動畫
* 《NULL & PETA》官方網站
圣康坦戰役，是1871年1月19日普法戰爭期間，法軍為突破普魯士軍隊對首都巴黎的包圍所展開的聯合攻勢之一，這場戰役在圣康坦展開，也是普軍入侵法國領土后，對巴黎包圍戰的戰役之一。
普法戰爭爆發后，法蘭西第二帝國在1870年9月2日的色當會戰中經歷重大失敗，法皇拿破侖三世也被普魯士俘虜。當法國在色當投降的消息傳回巴黎后，巴黎在9月4日發生革命，法蘭西第二帝國被推翻，由資產階級和保皇派聯合組成的「國防政府」，決定繼續與普魯士王國作戰。而在色當會戰結束后，普軍繼續向法國腹地推進，企圖攻占巴黎周邊地區的戰略要地，逼使法國政府投降。巴黎被普軍包圍后，被任命為內政和戰爭部長的萊昂·甘必大冒著生命危險，乘氣球飛越普軍封鎖線離開巴黎，加入在圖爾市的政府代表團。面對普魯士軍隊在法國東部、西部和北部的包圍攻勢，萊昂·甘必大分別組織了、和，以應對普軍的進攻。
法國試圖發動一場聯合攻勢，希望借此解除普軍對巴黎的圍攻，同時切斷對普軍的后方補給，進而解放其它被普軍占領的國土和圍攻。1871年1月，法軍分別展開了對普軍的幾次攻勢；西部的勒芒戰役、東部對解放貝爾福戰役所導致的埃里庫爾戰役、北部的圣康坦戰役和解放巴黎的布松瓦爾戰役。
普魯士將領，奧古斯特·卡爾·馮·格本
在1871年1月3日巴波姆戰役和1月9日佩羅訥的要塞陷落之后，普軍將領將普魯士第一軍團的指揮權移交給將軍，他的軍隊的任務是確保從法國北部到巴黎的包圍。普魯士第一軍團的部分軍隊支援馮·格本將軍指揮的第3騎兵師，在亞眠-科爾比地區確保了側翼。普魯士第八軍團在索姆河上的亞眠和圣康坦之間建立了安全的路線。普軍第15師部署在索姆河畔布賴。在佩羅訥的左側是普魯士領導的第3后備師，在城市的右邊是第3后備騎兵旅和第16師。
法國北方軍團在將軍的指揮下，聚集在阿拉斯和杜埃。1月16日，費代爾布指揮的北方軍團向東進軍，到達孔布勒地區。隨后在1月17日，法軍到達了韋爾芒-魯瓦塞勒地區，普軍第15師駐守在當地的一個團突破了法軍的圍攻，而越過布里附近的索姆河，向圣康坦方向轉移（自1870年12月以來被普軍占領）。法軍從韋爾芒出動四個師團，向圣康坦市進攻，成功擊退守城的普軍，奪回了該城市。同時，費代爾布指揮其它法軍部隊越過了索姆河以南，并占領了圣康坦的南部地區，迫使普軍第15師向博瓦-科蘭庫爾的方向撤退。馮·格本為了避免腹背受敵的情況，緊急帶領軍隊向北進軍，并在圣康坦附近遇到了費代爾布的法軍部隊。
圣康坦戰役地圖
1月19日凌晨8點，馮·格本將軍對法軍發起攻勢，普軍從南部和西部兩部分進行攻擊。在索姆河南岸，普軍第16師占領了塞拉庫特，盡管普軍的人數不多，但雖然試圖從側面包圍法軍，并將他們關押在圣康坦市內，并投入后備的部隊，利用火炮轟炸城市內的守城法軍。法軍之后發起強烈的反擊，阻止了普軍的火炮轟炸，并迫使第16師返回埃斯西迪。馮·格本將軍在南部戰場上，指揮他的后備軍團的行動，并以此加強第16師的攻擊實力。法軍最終抵擋不了敵人的攻勢，被迫撤出在城市內的堡壘，在平原上與普軍作戰。費代爾布曾希望加強法軍一個旅的兵力，對普軍的側面進攻，但普軍已經加強左右兩翼部隊的實力，在地利上也擁有優勢，因此這個提議也沒有實行。在南部，法軍也因為一個旅的撤出，使部隊的左翼暴露出一個重大缺口，迫使部隊必需撤退。
在北部，普軍第15師的主力部隊與法軍的右翼部隊對抗，而牽著了右翼法軍的行動。但是，馮·格本也已經認識到，普軍的攻勢將無法持續很長時間，他面臨兩個選擇，一是在被包圍在圣康坦市的情況下堅守，二是選擇撤退。但同時，費代爾布也已經接到報告說，索姆河南岸的法軍部隊已經開始潰敗。普軍逐漸開始將戰線移動到城市內，而南部地區已經被普軍的部隊覆蓋。費代爾布此時只有擔任后衛的后備軍團可以投入作戰，但這個風險很大，因為普軍一直企圖對法軍進行圍剿。經過短暫的戰斗后，北方軍團于晚上7點左右結束了戰斗，并撤退到勒卡托康布雷西。
由于法軍在幾次反擊的失敗后及時撤離，使馮·格本將軍計劃封鎖法國北方軍團的目的未能成功。法軍向勒卡托康布雷西的北部撤退時，利用大炮的攻擊和聲響進行掩蓋，使普魯士軍隊的追擊錯失良機。
戰斗結束之后，法國北方軍團對普軍而言已不構成嚴重威脅，因為法軍的損失也幾乎占部隊總人數的三分之一，其中包括許多人被俘虜，同時大量步槍和其他設備也在戰役中丟失。同一日，路易·朱爾·特羅胥率領的巴黎法軍在布松瓦爾戰役中也遭受了挫折，結束了解放首都巴黎的最后一次嘗試。法軍在不到一周的時間里遭受了四次重大失敗，嚴重影響法國軍民的士氣，在這場戰斗之后，法國已不再具有任何大型組織可以繼續采取戰爭的行動。1871年1月26日，普法雙方進行談判后，巴黎正式投降。
「圣康坦戰役」在不同的文獻所記載的損失程度不同。約瑟夫·邁爾在1888年出版的《邁耶百科詞典》顯示，雙方損失了約3.100人，戰俘人數為1萬人。關于部隊兵力的報告也相互矛盾，普魯士軍隊有33000人，法國軍隊有40000人。
1884年，奧古斯特·卡爾·馮·格本在科布倫茨的紀念碑
1884年9月26日，德國在科布倫茨建立馮·格本的銅像（德文：Doeben-Denkaml），以紀念他在圣康坦戰役的勝利。
*  ''History of the Franco Prussian War''  auf der Webseite der Reenactment-Vereinigung ''The Franco-Prussian War Association'' (zur Schlacht bei Saint Quentin ganz unten, mit Angaben zur Truppenst?rke; dort auch Quellenangaben)
*  Der Deutsch-Franz?sische Krieg von 1870/71 , unter der Zwischenüberschrift ''Weitere K?mpfe in Nordfrankreich'', dort auch Angaben zur Truppenst?rke; keine Quellenangaben (= Teil der privaten Webseite  ''preu?enweb'' )
* George Bruce, ''Harbottle's Dictionary of Battles''. (Van Nostrand Reinhold, 1981) .
* Abel Deroux, ''L'Invasion de 1870-71 dans l'arrondissement de Saint-Quentin, etc.'', St-Q., 1871, in-12, 157 p.
* Général Faidherbe, ''Campagne de l'Armée du Nord en 1870-1871'', édition E. Dantu, Paris, 1871.
* élie Fleury, ''Il y a vingt-cinq ans. Documents, récits, souvenirs sur les événements de la guerre de 1870-71 à Saint-Quentin et dans le Saint-Quentinois'', St-Quentin : Imp. du Journal de St-Q., 1895-1896, 574 p.
* A. Lécluselle, ''La Guerre dans le Nord (1870-1871)'', 1898, réédition, Colombelles, éditions Corblet, 1996
* Pierre Milza, ''L'Année terrible'', tome 1 La guerre franco-prussienne septembre 1870-mars 1871, Paris, Perrin, 2009
阿蓋爾是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
阿蓋爾的座標為，而該地的平均海拔高度為270米（即886英尺）。
比弗頓克羅斯羅茲是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
比弗頓克羅斯羅茲的座標為，而該地的平均海拔高度為287米（即942英尺）。
布萊恩是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
布萊恩的座標為，而該地的平均海拔高度為300米（即984英尺）。
埃奇伍德是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
埃奇伍德的座標為，而該地的平均海拔高度為230米（即755英尺）。
赫伯特是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
赫伯特的座標為，而該地的平均海拔高度為266米（即873英尺）。
亨特是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
亨特的座標為，而該地的平均海拔高度為293米（即961英尺）。
艾林是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
艾林的座標為，而該地的平均海拔高度為249米（即817英尺）。
普雷里維尤是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
普雷里維尤的座標為，而該地的平均海拔高度為233米（即764英尺）。
拉塞爾維爾是位於美國伊利諾伊州布恩縣的一個非建制地區。該地的面積和人口皆未知。
拉塞爾維爾的座標為，而該地的平均海拔高度為244米（即801英尺）。
里茲克羅辛是位於美國伊利諾伊州布恩縣的一個鬼鎮。由於此地已於20世紀被荒廢，本地已無人居住。
里茲克羅辛的座標為，而該地的平均海拔高度為255米（即837英尺）。
這篇文章講述了西班牙經濟在其歷史進程中的發展。
西班牙塔里法附近的古羅馬時期的嘎魯姆工廠遺址
在西班牙的早期，伊比利亞人大約位于利比里亞的南部和東部,凱爾特人在伊比利亞半島的西部和北部，兩者在古代就經常貿易往來，文化也開始融合發展。迦太基人和希臘人也與西班牙進行貿易，并在海岸建立了自己的殖民地。在金屬時代早期，西班牙豐富的礦產資源和豐富的金屬資源使其成為重要的原材料來源。迦太基在第一次布匿戰爭后征服了伊比利亞的部分地區。在第二次布匿戰爭中擊敗迦太基之后，羅馬人統治了整個伊比利亞半島長達數個世紀，擴展和多樣化了經濟，擴大了西班牙人與大共和國和帝國的貿易。
當大多數西歐國家在羅馬帝國衰落后陷入黑暗時代時，那些位于伊比利亞半島的王國，也就是今天的西班牙，仍然維持著他們的經濟。首先，西哥特人取代了羅馬帝國的行政官員(一個位于頂層的國際階層)。他們使自己成為貴族。王國在首都有一定程度的中央集權，并且最終從圖盧茲轉移到托萊多。羅馬的市、省總督制度繼續存在，但是主教區和郡縣的帝國上層建筑當然完全消失了，因為它們沒有必要存在了:這些上層建筑的存在是為了協調帝國的防御，提供統一的行政監督，除了羅馬人的專業軍隊，沒有其他象征。雖然它經歷了一些衰落，但大多數羅馬法律和許多有形的基礎設施，如道路、橋梁、溝渠和灌溉系統，都在不同程度上得到了維護，不像西羅馬帝國其他大部分地區(意大利部分地區除外)所發生的完全解體。后來，摩爾人與天主教王國一起占據了伊比利亞半島的大部分地區，他們也保留了羅馬的大部分遺產;事實上，隨著時間的推移，他們修復和擴建了羅馬的基礎設施。與此同時，在大多數人一直居住的鄉村，生活和羅馬時代一樣，但隨著灌溉系統的修復和擴展，以及伊斯蘭世界新作物和農業實踐的引入，生活得到了改善。當歐洲大部分前羅馬地區的貿易萎縮時，西哥特西班牙的貿易在某種程度上幸存了下來，并在摩爾人的統治下蓬勃發展，這是由于摩爾人的西班牙與伊斯蘭世界的地中海貿易的融合。經過800年斷斷續續的戰爭，天主教王國逐漸變得更加強大和老練，并最終將所有摩爾人驅逐出半島。
卡斯提爾王國與阿拉貢王國聯合，擁有堪比漢薩同盟和威尼斯的商船。與中世紀晚期的歐洲其他地區一樣，限制性行業協會嚴格監管經濟的各個方面——生產、貿易，甚至運輸。這些團體中最強大的梅斯塔控制著卡斯提爾的主要出口產品——羊毛的生產。
收復失地運動的成功讓天主教雙王將注意力轉向了探險。1492年，教宗亞歷山大六世正式批準將這個未開發的世界劃分給今天的西班牙和葡萄牙兩個王國，新的發現和征服接踵而至。
1492年，當克里斯托弗·哥倫布第二次遠航時，他帶來了1500名殖民者，一位天主教王國所稱的印度人被任命為皇家管理者。印度理事會成立于1524年，是殖民地事務的顧問委員會，而貿易議院則負責與殖民地的貿易。
16世紀的塞維利亞港，最初，所有與美洲殖民地的貿易都要經過這個港口
隨著美洲的發現和加勒比及美洲大陸的殖民擴張，寶貴的農產品和礦產資源通過常規貿易路線被引入西班牙。土豆、西紅柿和玉米等新產品對西班牙經濟產生了長期的影響，但對歐洲人口構成的影響更為重要。來自美洲礦山的金銀被西班牙皇室用來支付荷蘭和意大利的軍費，維持帝國在神圣羅馬帝國的軍隊和海上的船只，并滿足國內日益增長的消費需求。然而，來自美洲的大量貴金屬導致了通貨膨脹，這對窮人產生了負面影響，因為商品價格變得過高。這也妨礙了出口，因為昂貴的商品無法在國際市場上競爭。此外，來自白銀的大量現金流入阻礙了西班牙的工業發展，因為這樣一來民眾選擇進口商品而不再自己生產。
國內生產被課以重稅，推高了阿拉貢和卡斯提爾制造的商品的價格，尤其是在卡斯提爾，那里的稅收負擔更重。將頭銜出售給那些通過購買而獲得社會地位的企業家(這種做法在整個歐洲都很普遍)，將自己從經濟的生產部門中抽離出來，從而提供了額外的資金。
在16世紀的最后幾年，瘟疫和移民的總體效應降低半島的西班牙人口超過800萬,在17世紀中期為700萬,整個王國最嚴重的受感染地區是卡斯提爾(85%的人口減少在卡斯提爾),比如說在1500年卡斯提爾減少了600萬人，在阿拉貢，包括加泰羅尼亞、瓦倫西亞和巴利阿里群島人口則減少了125萬。
在17世紀中葉，西班牙經濟在GDP方面與英國經濟有所落后。對這種落后的原因尚不清楚，但“這種落后來得太晚，因此不可能是因為中世紀的一些原因，無論是文化還是制度上的”，“它來得太早……很多人這么認為就是為了讓拿破侖的入侵受到指責。”
在哈布斯堡王朝統治的17世紀最后幾十年，經濟開始緩慢復蘇。在波旁王朝時期，政府效率得到了提高，尤其是在卡洛斯三世統治時期。然而，波旁王朝的改革并沒有導致財產持有模式的根本改變。阿拉貢和卡斯提爾的資產階級階級意識的性質阻礙了中產階級運動的產生。在包括運動派在內的自由主義思想家的倡導下，被稱為“國家之友經濟協會”的各種團體應運而生，以促進經濟發展、科學的新進展和啟蒙哲學。然而，盡管馬德里發展了一個國家官僚機構，沒有卡洛斯三世的資助改革運動是無法持續的，也沒有在他之后繼續下去。
簡·貝爾蓋克(菲利普五世顧問)“我在這里發現的混亂是超乎想象的”。卡斯提爾的國庫仍然使用羅馬數字，沒有適當的會計方法。
西班牙的美國殖民地利用戰后的混亂宣布獨立。到1825年，在新大陸，只有古巴和波多黎各還懸掛著西班牙國旗。當費迪南德七世在1813年重新登上王位時，他花費了大量的財富和人力試圖重新控制殖民地，但徒勞無功。此舉在被派往美州戰場的自由派軍官中不受歡迎。
經濟主要集中在農產品上。在這一時期可以看到加泰羅尼亞和巴斯克地區工業化和鐵路的建設，在19世紀下半葉幫助減少了一些分離主義的發展，但在國家政治動蕩、動亂和政局不穩定的大背景下可以說是杯水車薪，并且這一大環境也同時放緩或破壞了經濟的發展。
20世紀初，西班牙大部分地區仍是農村;現代工業只存在于加泰羅尼亞巴塞羅那周圍的紡織廠和巴斯克省的冶金廠。古巴和菲律賓殖民地的丟失使資本返回并投資于更新的國內工業，從而使半島受益。但是，即使在第一次世界大戰的刺激下，也只有在加泰羅尼亞和巴斯克這兩個省在1920年的制造業產值超過了農業產值。與其他西歐國家相比,西班牙的農業生產率普遍低。因為許多缺陷，其中包括:落后的技術,缺乏大型灌溉工程、農村信貸設施不足、過時的土地保有權實踐,以及一些自古以來就有的困難，比如說地形,氣候不可靠,還有內陸運輸困難。金融機構相對落后。西班牙銀行仍然是私有的，其公共職能限于發行貨幣和為國家活動提供資金。國家在很大程度上把自己限制在諸如國防、維持秩序和正義等傳統活動上。道路建設、教育和一些福利活動是對經濟有明顯影響的唯一公共服務。
米格爾·普里莫·德里維拉將軍在一次成功的政變后被國王任命為首相，并在七年的時間里解散了議會，通過直接領導和軍隊的幫助進行統治，直到1930年。
保護主義、第一次世界大戰期間西班牙的中立(允許該國與所有交戰國進行貿易)以及國家對經濟的控制導致了暫時的經濟復蘇。1930年經濟的急劇衰退削弱了特殊利益集團對政府的支持。來自學術界的批評越來越多。銀行家們對政府試圖發放的國家貸款表示失望。改革晉升制度的嘗試使他失去了軍隊的支持，反過來又失去了國王的支持。德里維拉辭職，不久后在流放中去世。
共和政府取代了君主制，也繼承了國際經濟危機。在西班牙第二共和國時期，有三個不同的政府統治著這個國家，但他們卻未能實施包括土地改革在內的許多改革。大罷工司空見慣，經濟停滯不前。
在西班牙內戰期間，這個國家分裂成兩個不同的中央經濟，整個經濟努力都轉向了戰爭工業。根據最近的研究，由于私人投資的大幅收縮，經濟增長在內戰期間受到了損害，西班牙分裂的經濟就是這種情況。
西班牙從內戰中擺脫出來，面臨著可怕的經濟問題。黃金和外匯儲備實際上已被消耗殆盡，戰爭的巨大破壞降低了工業和農業的生產能力。更糟的是，即使有必要的資金來購買進口商品，第二次世界大戰的爆發使許多需要的供應品無法獲得。戰爭的結束并沒有改善西班牙的困境，因為隨后全球原材料和和平時期的工業產品出現短缺。西班牙的歐洲鄰國面臨強大的戰后重建自己的問題,因為他們意識到,民,西班牙內戰已經實現族主義的勝利,由于阿道夫·希特勒與貝尼托·墨索里尼,他們沒有任何多邊復蘇的傾向,包括與西班牙的項目或貿易。1939年西班牙內戰結束后的10年里，滿目瘡痍、與世隔絕的經濟一直處于嚴重的蕭條狀態。
第二次世界大戰期間，西班牙因其對軸心國的傾向而被國際社會排斥，因此沒有被邀請加入馬歇爾計劃。弗朗西斯科?佛朗哥政權試圖通過實行經濟自給自足的政策來保障西班牙的福祉。自給自足不僅僅是對國際孤立的反應;它還植根于半個多世紀以來國內經濟壓力團體的倡導。此外，從1939年到1945年，西班牙的軍事長官們真的擔心盟軍會入侵這個半島，因此，他們試圖避免過度依賴外國軍備。
隨著戰爭的破壞和貿易的孤立，西班牙在20世紀40年代的經濟比十年前要落后得多。通貨膨脹率飆升，經濟重建步履蹣跚，食物匱乏，而且在某些年份，西班牙經濟出現負增長。到20世紀50年代初，人均國內生產總值(GDP)僅為西歐國家平均水平的40%。在經歷了10年的經濟停滯、物價上漲了兩倍、黑市發展以及普遍的貧困之后，情況開始逐漸好轉。西班牙政權邁出了動搖的第一步，放棄了自給自足的主張，轉向了西班牙經濟體制的轉型。內戰前的工業生產水平在20世紀50年代初得到恢復，但農業產出直到1958年仍低于戰前水平。1953年9月，美國和西班牙簽署了一項共同防御協議《馬德里條約》，這進一步推動了經濟自由化。作為允許美國在西班牙領土上建立軍事基地的回報，艾森豪威爾政府向佛朗哥政權提供了大量的經濟援助。由于該協定，在本十年的其余時間里，有10多億美元的經濟援助流入西班牙。從1953年到1958年，西班牙的國民生產總值每年增長約5%。
從1951年到1956年，經濟取得了很大的進步，但這一時期的改革執行得很不規律，協調也很差。改革進程的一大障礙是腐敗、低效和臃腫的官僚機構。到20世紀50年代中期，通貨膨脹螺旋形上升，1958年為5800萬美元的外匯儲備在1959年中期暴跌至600萬美元。新興的中產階級和越來越多的游客對生活設施的需求，尤其是對更高的營養標準的需求，對進口食品和奢侈品的需求越來越大。與此同時，出口滯后，很大程度上是由于國內需求高和對外貿易受到體制限制。比塞塔在黑市上跌至歷史最低點，西班牙的外匯債務增至近6000萬美元。
在政權內部就如何使國家擺脫經濟僵局進行了一場辯論，佛朗哥最終選擇了一群新自由主義者。這些人包括銀行家、工業高管、一些學院派經濟學家，以及羅馬天主教非神職組織天主事工會的成員。
在1957-59年期間，也就是所謂的穩定前時期，經濟規劃者滿足于采取一些零碎的措施，如適度的反通脹權宜之計和加強西班牙與世界經濟的聯系。然而，外部事態發展和國內經濟危機日益加劇的結合，迫使它們進行更深遠的變革。
上世紀50年代末，隨著經濟政策改革的必要性日益明顯，1957年2月對部長理事會進行了全面改革，一批較年輕的部長進入了主要部們，他們中的大多數人都受過經濟學方面的培訓，擁有豐富的經驗。這次改組之后，很快設立了一個經濟事務委員會和經濟協調和規劃廳，由總理領導。
這種行政改革是消除經濟部門之間長期存在的敵對狀態的重要步驟。隨后進行了其他改革，其中最主要的改革是采用公司稅制度，要求每個工業部門的聯合會將整個工業的適當份額的稅收分攤給每個成員公司。長期的逃稅行為因此變得更加困難，稅收收入大幅增加。加上對政府開支的限制，1958年的改革創造了多年來的第一次政府盈余。
隨著西班牙與西歐其他國家的隔離加劇，需要采取更嚴厲的補救措施。鄰國正在建立歐共體和歐洲自由貿易協會。在其成員之間貿易自由化的過程中，這些組織發現很難同那些堅持貿易配額和雙邊協定的國家，例如西班牙，建立經濟關系。
西班牙加入這些組織在政治上是不可能的，但西班牙被邀請加入一些其他國際機構。1958年1月，西班牙成為歐洲經濟合作組織(OEEC)的準成員，OEEC于1961年9月成為經濟合作與發展組織(OECD)。1959年，西班牙加入了國際貨幣基金組織(IMF)和世界銀行。這些機構立即參與幫助西班牙放棄自給自足的貿易做法，這種做法使西班牙的外匯儲備降至如此低的水平，并將其經濟與歐洲其他國家隔離開來。
1958年12月，在國際貨幣基金組織的幫助下，經過7個月的準備和起草，西班牙于1959年6月30日公布了穩定計劃。該計劃最初的效果是通貨緊縮和衰退，導致實際收入下降和第一年的失業率上升。由此造成的經濟衰退和工資下降導致大約50萬西班牙工人移民到其他西歐國家尋找更好的工作機會。盡管如此，它的主要目標還是實現了。該計劃使西班牙避免了可能暫停向持有西班牙貨幣的外國銀行支付的情況，到1959年年底，西班牙的外匯賬戶顯示有1億美元的盈余。從1958年到1960年，外國資本投資增長了7倍，每年游客的涌入也開始迅速增加，帶來了西班牙工人在國外的匯款，帶來了非常需要的外匯。
大約在1960年的貝尼多姆海灘
隨著這些發展穩步將西班牙的經濟結構轉變成一個更接近于自由市場經濟的國家，該國進入了有史以來最大的工業化和繁榮周期。外國援助了在國際貨幣基金組織的7500萬美元的提款權，1億美元的OEEC貸款,大通曼哈頓銀行和第一國民城市銀行的7000萬美元貸款,進出口銀行的3000萬美元,還有美國也援助了項目和資金。雖然外國援助總額達4.2億美元，然而，經濟擴張的主要潤滑劑是100萬西班牙工人匯往國內的硬通貨，據估計，這些匯款抵消了1962年至1971年期間貿易逆差總額的17.9%;到20世紀60年代末，旅游業的巨大增長，每年吸引了2000多萬游客，占當時國民生產總值的9%;從1958年到1972年，汽車工業以每年21.7%的驚人復合增長率增長;1960年至1974年期間，外國直接投資達76億美元，令人印象深刻。其中超過40%的投資來自美國，近17%來自瑞士，西德和法國各占10%多一點。到1975年，外國資本占西班牙500家最大工業公司投資總額的12.4%。比外國投資更重要的是，它使西班牙公司能夠獲得最新的技術。此外，另有10億美元通過各種貸款和信貸手段來自外國。
1959年至1974年，西亞特成為“西班牙奇跡”的象征
為了幫助實現快速發展，政府通過一些關鍵的國有企業進行了大量投資，比如國家工業聯合會，巴塞羅那的大眾市場汽車公司西亞特，以及造船企業巴贊國家公司。由于外國企業進入西班牙國內市場受到高額關稅和配額的限制，這些國有企業主導了該國的工業化進程，恢復了巴塞羅那和畢爾巴鄂等老工業區的繁榮，并創建了新的工業區，尤其是馬德里周邊地區。雖然在這一時期有相當大的經濟自由化，但是這些企業仍然處于國家控制之下。
穩定計劃的成功歸功于運氣和良好的管理，這段時期令人印象深刻的發展被稱為“西班牙奇跡”。1959年至1974年間，西班牙的經濟增長率僅次于日本，位居第二。上世紀70年代的石油危機和1975年佛朗哥死后回歸民主時期的政府不穩定結束了經濟繁榮。
1975年佛朗哥的去世以及隨后的民主統治轉移了西班牙人對經濟的注意力。在西班牙回歸民主的同時，石油價格出現了爆炸性的四倍增長，這對經濟產生了極其嚴重的影響，因為西班牙70%的能源依賴進口，其中大部分是中東的石油。當時的阿道弗·蘇亞雷斯的中間派臨時政府,曾被認為成功的實現了新國王與弗朗哥政權的過度,但是他們對于提振經濟的貢獻幾乎沒有,甚至也沒有做到降低西班牙對進口石油的依賴。更為嚴重的是這個國家石油儲量非常的少。在新憲法起草和頒布的政治和社會不穩定時期，全國幾乎完全專注于民主化政治，以犧牲經濟政策為代價吸收了西班牙的大部分政治和行政。
由于未能適應變化了的經濟環境帶來的1970年代的兩次石油價格沖擊,西班牙面臨生產力迅速暴跌。從1974年到1976年工資水平爆炸性增長,由于西歐經濟不斷的衰退,造成移民趨勢在逆轉。農村的勞動力不斷流入城市，盡管城市的就業前景也不好。所有這些因素都導致了失業率的急劇上升。政府預算赤字膨脹，大量的社會保障費用超支和許多公共部門工業的巨大經營損失也在膨脹。與此同時，能源消耗仍然很高。
1982年底，以費利佩·岡薩雷斯為首的西班牙工人社會黨政府上臺時，年通貨膨脹率為16%，對外經常項目欠款40億美元，公共開支龐大，外匯儲備嚴重不足。然而，在處理這一局勢時，岡薩雷斯政府有一項以前的后佛朗哥政府所沒有的優勢，即在西班牙議會兩院中占有穩固的議會多數。有了這一多數，它就能夠實施不受歡迎的緊縮措施，而之前的政府沒有做到這一點。
社會黨政府選擇了務實、正統的貨幣和財政政策，并采取了一系列強有力的緊縮措施。1983年，它公布了一項計劃，為解決國家的經濟弊病提供了一種更加連貫和長期的方法。革新性的結構政策——例如關閉不盈利的大型國有企業——有助于糾正經濟相對較差的表現。政府啟動了產業再轉換項目，使問題重重的社會保障體系得到更好的平衡，并推出了更有效的能源利用政策。提高勞動力市場彈性，鼓勵民間資本投資。到1985年，預算赤字降至國民生產總值的5%，1986年降至4.5%。實際工資水平增長受到了控制，總體上保持在通貨膨脹率以下。1987年，通脹率降至4.5%，分析人士認為，到1988年，通脹率可能會降至政府設定的3%的目標。
使經濟現代化和擴大經濟的努力以及若干因素促進了1980年代經濟的強勁增長。這些因素是石油價格的持續下跌、旅游業的增加和外國投資流入的大量增加。因此，盡管根據歐共體的要求，西班牙經濟受到外國競爭的影響，但西班牙經濟在沒有受到國際收支限制的情況下迅速發展。
經合組織1987 - 88年的西班牙經濟的調查中提到,“在上世紀70年代末和80年代上半葉，西班牙經濟經歷了一個長期的增長緩慢和在減緩通貨膨脹方面進展緩慢的時期，現在西班牙經濟已進入一個產出和就業大力增長的階段，同時通貨膨脹明顯減緩。”1981年，西班牙的GDP增長率達到了最低點，為- 0.2%;隨后逐漸恢復緩慢上升，1982年增長1.2%，1983年增長1.8%，1984年增長1.9%，1985年增長2.1%。然而，在此之后的第二年，西班牙的實際GDP開始強勁增長，1986年的增長率為3.3%，1987年為5.5%。盡管這些增長率低于經濟奇跡時期，但它們是經合組織中最強勁的。分析人士預計，1988年和1989年的增長率分別為3.8%和3.5%，雖然略有下降，但仍是歐盟平均水平的兩倍左右。他們預計，利率下降和政府的刺激預算將有助于維持經濟擴張。1986年和1987年分別增長了3.1%和5.2%的工業產出，也有望保持其擴張速度，1988年和1989年分別增長了3.8%和3.7%。
推動經濟快速增長的主要力量是國內需求的增長，1986年和1987年的國內需求分別增長了6%和4.8%，均超過了官方預測。在1988年和1989年期間，分析人士預計需求將保持強勁，盡管會略低一些。需求的大幅增長在很大程度上是由1987年商品和服務進口的實際價值預計增長20%實現的。
在1980年代中期，西班牙實現了強勁的經濟表現，同時將通貨膨脹率降低到歐共體平均水平的兩個點以內。然而，西班牙的出口業績雖然有所增長，但也引起了人們對進出口增長存在不平衡的擔憂。
邁普福雷塔和藝術酒店(巴塞羅那)建于1992年
佛朗哥于1975年去世后，西班牙在1978年以君主立憲制的形式回歸民主，1977年舉行了選舉，1978年通過了憲法。走向民主的過程中，西班牙更多地參與了歐洲一體化。費利佩·岡薩雷斯在他的社會黨贏得1982年大選后成為總理。他實施了一系列自由主義改革，增加了公民自由，并對16歲及以下的青少年實施了全民免費教育。他還成功地游說西班牙加入歐洲經濟共同體，并留在北大西洋公約組織。
西班牙于1986年加入歐盟時，歐盟主要是一個貿易聯盟——歐洲經濟共同體，更好的貿易聯系對脆弱的西班牙經濟至關重要。當時歐盟失業率很高，約為18%，西班牙的GDP是歐盟平均水平的71%。單一市場和歐洲資金為西班牙提供了一個機會，使其經濟達到西歐其他國家的水平，并得到西班牙較富裕鄰國的支持。它有望與德國、法國和英國等有影響力的國家達成利潤豐厚的交易。
盡管西班牙奇跡年(1959-1974)見證了基礎設施和社會服務的空前改善，但西班牙仍然落后于大多數西歐國家。教育有限，婦女基本上被排除在勞動力之外，衛生保健基本上是私人的，分配不均，該國的基礎設施相對較差。1985年，西班牙只有的高速公路。自從1974年經濟奇跡結束以來，這個國家的經濟一直停滯不前。大多數人認為加入歐洲經濟共同體是重新開始現代化進程和提高人民平均購買力的一種方式。
西班牙于1986年1月加入了當時被稱為歐盟的歐洲經濟共同體，同時加入的還有鄰國葡萄牙。該組織的成員資格引導該國開放經濟，實現工業基礎現代化，修訂經濟立法，向外國競爭者開放以前受到保護的市場。在歐盟基金(結構基金和聚合基金、歐洲區域發展基金等)的幫助下，西班牙大大改善了基礎設施，提高了GDP增長，降低了公共債務占GDP的比例。從那以后，西班牙一直是歐洲共同體的推動力量。早在歐元進入流通之前，該國就是歐盟單一貨幣歐元的主要支持者。2002年1月1日，它與其他歐元創始成員國一起采用了這種新的實物貨幣。在那一天，西班牙終止了其具有歷史意義的比塞塔貨幣，代之以歐元。歐元已成為西班牙的國家貨幣，與歐元區其他國家共享。
上世紀90年代初，西班牙和大多數其他國家一樣，遭受了90年代初經濟衰退的打擊。與此同時，巴塞羅那奧運會的建設工作也結束了。
西班牙國鐵102型電力動車組
該國面臨著極高的失業率，這是由當時僵化的勞動力市場造成的。然而，在何塞·瑪麗亞·阿斯納爾任職期間，由于消費者信心的恢復、私人消費的增加以及旨在減少國家在市場中作用的自由化和放松管制的改革，經濟開始復蘇。2006年10月，失業率為7.6%，較上世紀80年代的水平有了顯著改善，但是比當時的德國和法國的失業率都要高。20世紀90年代，比塞塔的貶值使西班牙的出口更具競爭力。到上世紀90年代末，隨著人們重返就業市場，對經濟的信心恢復，盡管失業率居高不下，但經濟增長強勁，就業增長強勁。20世紀90年代的最后幾年，房地產價值開始上升。
上世紀90年代末和21世紀初，西班牙的一些最大的歐盟伙伴(即法國、德國和意大利)避免了實際上的零增長，西班牙經濟因此受到贊揚。1995年，西班牙開始了一個令人印象深刻的經濟周期，經濟增長顯著，數據約為3%，經常遠高于這個速度。
顯示2006年歐洲人均國內生產總值(PPP)地區差異的地圖。國際貨幣基金組織的數據