stanford-oval/wikipedia huggingface dataset:
猫和老鼠
影响

多年来，“汤姆和杰瑞”成了永无止境的竞争的代名词，不亚于相关的“猫鼠斗”比喻具有的代名词。然而，在《猫和老鼠》这不是技高一筹更强大的汤姆通常表现。
作者史蒂芬思尔（Steven Millhauser）写了一个短篇小说叫《猫和老鼠》（Cat ‘n’ Mouse），以文学形式确立了这两位主角对抗的关系。思尔允许他的读者在某种程度上这自比两个角色，而不是动画片的思想和情感。
1945年，杰瑞取得了真人米高梅（MGM）音乐故事片的《起锚》（Anchors Aweigh）一个角色，其中，通过使用特效，他与吉尼凯利（Gene Kelly）共同舞蹈。该部分随即被剪辑，重新加进《搞怪一家人》的“鲁珀特 ”，其中杰瑞被替换为史迪威加菲（Stewie Griffin），尽管这样，我们仍然能够经常看到杰瑞出演的版本。汤姆在《起锚》（Anchors Aweigh）作为一个仆人客串，负责用托盘提供国王杰瑞一些食物。
《猫和老鼠》与出现埃丝特威廉斯（Esther Williams）在梦中序列中的另一大屏音乐电影，《湿身危险》（Dangerous When Wet）（1953年）。
1973年，《国民讽刺》（National Lampoon）参考了《猫和老鼠》制作了一个暴力漫画《试管盒》（Kit ‘n’ Kaboodle）。
比较

《Herman and Katnip（英语：）》
《痒痒鼠与抓抓猫》（源自《》）
播放電視台

|  无线电视明珠台  |
| --- | --- | --- |
|  | 汤姆与杰瑞 （1967年11月20日－1989年12月29日） |  |
| 開台首個節目 | 汤姆与杰瑞 （1967年11月20日－1989年12月29日） | 待查 |
註釋

↑
台灣：1970年引进时台视曾将其暂时译为“妙妙妙”，后来华纳家庭娱乐在台湾发行的DVD翻译作“汤姆猫与杰米鼠”
香港：目前譯《湯姆和謝利》。但是1955年米高梅在美國上映一部內含十二部動畫短片的電影Tom and Jerry Cartoon Festival，1960年香港上映時片名為彩色卡通大集會，Tom and Jerry譯為“湯眉謝利”。
中国大陆各电视台于1980年代播出时曾经将其译作“托姆和小杰瑞”，南方电视台曾經將其粤语版譯作“着魔的貓”，雲南電視台也曾經將其西南官話版本譯作“大洋芋和小咪渣”。
↑  本集名称中的“约翰”来源于著名奥地利作曲家小约翰·施特劳斯
參考文獻

↑  伦纳德·马尔丁（英语：）. 费奥多尔·希特鲁克（英语：） , 编. . 1987: 504页. ISBN 978-0452259935.
↑  N.A.马约洛夫.  (PDF). 电影技术世界. 2014: 38—44. ISSN 1991-3400. （原始内容存档 (PDF)于2021-02-15）.
↑  Misty Layne. . Hepper Blog. 2025-01-19. （原始内容存档于2025-02-13） （美国英语）.
↑  . 网易新闻. 2020-05-21. （原始内容存档于2025-02-13） （中文（中国大陆））.
↑  Deitch, Gene. . Animation World Network（英语：）. 2001  [2009-09-27]. （原始内容存档于2009-12-26）.
↑  . 网易游戏. 2018-04-19.
↑  . 17173网. 2019-05-31.
參考文獻 > 書籍

Barrier, Michael (1999). Hollywood Cartoons: American Animation in Its Golden Age. Oxford: Oxford University Press. ISBN 0-19-503759-6.
Maltin, Leonard（英语：） (180, updated 1987). Of Mice and Magic: A History of American Animated Cartoons. New York: Penguin Books. ISBN 0-452-25993-2.
测地曲率

测地曲率：设P是曲線（C）上一点， \alpha 是（C）在P点的单位切向量， \beta 是主法向量， \gamma 是副法向量。再设n是曲面S在P点的单位法向量。命 \varepsilon =n\times \alpha 。
曲线（C）在P点的曲率向量 {\ddot {r}}=k\beta 在 \varepsilon 上的投影（也就是在S上P点的切平面上的投影）
k_{g}={\ddot {r}}\cdot \varepsilon
称为曲线（C）在P点的测地曲率。
相关命题

曲面S上的曲线（C），它在P点的测地曲率的绝对值等于（C）在P点的切平面上的正投影曲线（C'）的曲率。
k^{2}=k_{g}^{2}+k_{n}^{2}
式中，k为曲线在P点的曲率， k_{n}为曲线在P点的法曲率。
二維曲面常用的測地曲率公式

今有一緊緻定向的二維曲面S，其線元素可用曲面的第一基本形式的係數表示為： ds^{2}=Edu^{2}+2Fdudv+Gdv^{2}\,，則其度量張量可表成下列關係式：
(g_{ij})={\begin{pmatrix}g_{11}&g_{12}\\g_{21}&g_{22}\end{pmatrix}}={\begin{pmatrix}E&F\\F&G\\\end{pmatrix}}
每當進行涉及到微分幾何的實用演算時，都會用到其分量形式以利細部計算，因此有必要將前述向量形式定義的測地曲率以其分量形式來表徵，以下將界定在二維曲面上局部範圍，有關公式及其推導過程，可於列出的相關參考文獻中找到。
二維曲面常用的測地曲率公式 > 二維曲面測地曲率之Beltrami公式

令 C為曲面S上的一正則曲線，在此曲線上以其弧長 s為參數，則曲線 C的參數方程式為 C:r(s)=(u(s),v(s))，則它在P點的測地曲率 k_{g}可表為下列克氏符號（全稱克里斯多福符號，Christoffel symbols）相關的表示式

：
k_{g}={\sqrt {EG-F^{2}}}\left[\Gamma _{11}^{2}\left({\frac {du}{ds}}\right)^{3}+\left(2\Gamma _{12}^{2}-\Gamma _{11}^{1}\right)\left({\frac {du}{ds}}\right)^{2}{\frac {dv}{ds}}+\left(\Gamma _{22}^{2}-2\Gamma _{12}^{1}\right){\frac {du}{ds}}\left({\frac {dv}{ds}}\right)^{2}-\Gamma _{22}^{1}\left({\frac {dv}{ds}}\right)^{3}+{\frac {du}{ds}}{\frac {d^{2}v}{ds^{2}}}-{\frac {d^{2}u}{ds^{2}}}{\frac {dv}{ds}}\right]
上述用克式符號表示測地曲率的一般公式即是所謂的Beltrami公式(Beltrami's formula for geodesic curvature.)。這裡所用的克氏符號 Γk
ij 在有些書籍還會沿用舊式的 {k
ij}符號注記。由於克式符號屬曲面的內蘊性質，而上述測地曲率一般公式只和克式符號與曲面第一基本形式有關，因此，測地曲率必然是屬曲面的內蘊幾何量。
今若曲線 C是沿著 u=(s)座標線的話，此時 v=常數，使得 dv/ds=0以及 du/ds=1/{\sqrt {g_{11}}}，那麼其測地曲率可算得為：
(k_{g})_{u-line}=\Gamma _{11}^{2}{\dfrac {\sqrt {EG-F^{2}}}{E{\sqrt {E}}}}=\Gamma _{11}^{2}\left({\dfrac {g^{1/2}}{g_{11}^{3/2}}}\right)
同理，假如曲線 C是沿著 v=(s)座標線的話，使得 u=常數，因此 du/ds=0以及 dv/ds=1/{\sqrt {g_{22}}}，那麼其測地曲率可化簡為：
(k_{g})_{v-line}=-\Gamma _{22}^{1}{\dfrac {\sqrt {EG-F^{2}}}{G{\sqrt {G}}}}=-\Gamma _{22}^{1}\left({\dfrac {g^{1/2}}{g_{22}^{3/2}}}\right)
二維曲面常用的測地曲率公式 > 二維曲面測地曲率之Liouville公式

令 C為曲面S上的一正則曲線，在此曲線上以其弧長 s為參數，則曲線 C的參數方程式為 C:r(s)=(u(s),v(s))，今其參數化是採正交座標系，換言之，第一基本形式的係數 F=0，又令曲線 C在P點與 u座標線的夾角為 \theta ，則它在P點的測地曲率 k_{g}可表為下列與 \theta (s)夾角相關的Liouville公式

：
{\begin{aligned}k_{g}&={\dfrac {d\theta (s)}{ds}}-{\dfrac {1}{2{\sqrt {G}}}}{\dfrac {\partial \ln E}{\partial v}}\cos \theta +{\dfrac {1}{2{\sqrt {E}}}}{\dfrac {\partial \ln G}{\partial u}}\sin \theta \\&={\dfrac {d\theta (s)}{ds}}+(k_{g})_{u-line}\cos \theta +(k_{g})_{v-line}\sin \theta \\&={\dfrac {d\theta (s)}{ds}}+(k_{g})_{u-line}{\sqrt {E}}{\dfrac {du}{ds}}+(k_{g})_{v-line}{\sqrt {G}}{\dfrac {dv}{ds}}\end{aligned}}
上述公式中的 (k_{g})_{u-line}與 (k_{g})_{v-line}乃分屬於兩個座標線對應的測地曲率，至於它們的具體表徵是什麼，接下來將分別推導出其詳細內容。首先，考量如若曲線 C是沿著 u=(s)座標線的話，此時 v=常數，則有 dv/ds=0以及 du/ds=1/{\sqrt {E}}，那麼該測地曲率可算得為：
(k_{g})_{u-line}=-{\dfrac {E_{v}}{2E{\sqrt {G}}}}
同理，假如曲線 C是沿著 v=(s)座標線的話，此時 u=常數，導致 du/ds=0以及 dv/ds=1/{\sqrt {G}}，那麼此測地曲率可算得為：
(k_{g})_{v-line}={\dfrac {G_{u}}{2G{\sqrt {E}}}}
以上測地曲率之Liouville公式就已列出有三種，若覺得怎麼會有這麼多樣形式，其實還有其他變形，例如可參考網路上更加精簡且優美的形式，這端賴解析問題時，需要配套什麼形式的公式而定。
參考文獻

↑  Kreyszig, Erwin. . Dover Publications, New York. 1991: 154-156. ISBN 978-0-486-66721-8.
↑  Patrikalakis, Nicholas M.; Maekawa, Takashi. . Springer, New York. 2002: 266-268. ISBN 978-3-642-04073-3. 【推導過程見MIT線上開放課程 §10.2.1. Parametric surfaces】 （页面存档备份，存于）
↑  Blaga, Paul A. . Napoca Press, Cluj-Napoca, Romania. 2005: 177-179. ISBN 9736568962.
↑  Nayak, Prasun Kumar. . PHI Learning Pvt. Ltd., New Delhi. 2011: 364,369.
↑  Slobodyan, Yu.S., , Hazewinkel, Michiel  (编), , Springer, 1989, ISBN 978-1-55608-010-4
↑  do Carmo, Manfredo P. . Prentice-Hall. 1976: 253-254. ISBN 0-13-212589-7.
↑  Gray, Alfred; Abbena, Elsa; Salamon, Simon. . Chapman & Hall/CRC. 2006: 904-905. ISBN 978-1584884484.
↑  Dube, K.K. . I. K. International Pvt Ltd. 2009: 200-201. ISBN 978-9380026589.
↑  Sigurd Angenent. A note and two problems on Liouville's formula. （页面存档备份，存于） 這是介紹測地曲率之Liouville公式更加精簡形式的文件。
宣告式編程

宣告式編程（英語：）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。
概述

常見的宣告式語言包括：資料庫查詢語言如SQL的查询子集和XQuery（英语：），正则表达式，配置管理系统如Puppet管理配置语言。歸入這種範型的很多語言，描述问题领域（英语：）内目標的性質，讓電腦明白目標，而非流程，从而尝试极小化有关的副作用。而指令式编程则需要用语言原语（英语：）来明确的指出每一步该怎么做。
可归入声明式编程范型的领域专属语言（DSL）还包括：yacc语法解析器，编译说明语言Make等。DSL不需要是图灵完全的，往往容易以一种纯声明式的方式来表达。很多文本标记语言例如HTML、MXML、XAML和XSLT往往是声明式的。
定义

声明式编程，通常被定义为除指令式以外的任何编程范型。同时存在一些其他的定义，简单的将宣告式编程和命令式编程做对比，例如：
告诉计算机需要计算“什么”而不是“如何”去计算的高级程序。
明确的对应数理逻辑的编程语言。
任何没有副作用的编程语言，或者更确切一点，任何參照透明的编程语言。
这些定义存在着一些重合。
子编程范型

声明式编程是一个笼统的概念，除了一些特定的领域专属语言之外，一些更加知名的编程范型也被归类为其子范型。
子编程范型 > 逻辑式编程

逻辑编程通常被看做是形式逻辑的理论，把计算看做推导，透過函數、推理规则或重写規則，來描述變數之間的關係。它的語言執行器（編譯器或解释器）採用了一個固定的算法，以從這些關係產生結果。作为典型代表的Prolog语言，声明关系并且对关系进行提问；它和许多逻辑编程语言，都允许副作用的存在。
子编程范型 > 函数式编程

函数式编程，尝试最小化状态（英语：）带来的副作用，因此可以被归类入宣告式编程，它現在因大幅简化了并行计算的编写难度而备受关注。除了纯函数式编程语言如Haskell，多数函数式编程语言如Scheme、Clojure、OCaml、Standard ML等，允许副作用的存在。
子编程范型 > 约束式编程

在约束式编程中，变量之间的关系是在约束中说明的，定义了问题的解的范围。这些约束然后被应用程序来求解，以使得每个变量获得一个值，并让最多的约束得到满足。约束式编程经常被用作函数式編程、逻辑编程甚至指令式编程的补充，用来解決人工智能中的約束滿足問題。
參見

（對立的）指令式編程
函數式編程和邏輯編程
參考

↑  Lloyd, J.W.,
↑  . FOLDOC. 17 May 2004  [26 January 2020]. （原始内容存档于2015-08-10）.
↑  Sebesta, Robert. . Boston: Pearson. 2016. ISBN 978-0-13-394302-3. OCLC 896687896.
↑  Chakravarty, Manuel M. T.  (学位论文). Technische Universität Berlin. 14 February 1997  [26 February 2015]. （原始内容存档于2015-09-23）. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.
↑  Marlow, Simon. . O'Reilly Media. 18 June 2013. ISBN 978-1449335946.
外部連結

Frans Coenen. Characteristics of declarative programming languages. 1999.
Robert Harper （ 英语 ： ） .
What, If Anything, Is A Declarative Language? （页面存档备份，存于）. 2013.
There Is Such A Thing As A Declarative Language, and It’s The World’s Best DSL （页面存档备份，存于）. 2013.
Olof Torgersson. A Note on Declarative Programming Paradigms and the Future of Definitional Programming. 1996.
|  论 编编程语言类别（維基數據：） |
| --- | --- |
范型:  指令式  过程式  函数式  逻辑式  基于类  面向对象  基于原型  基于对象  面向方面  数据流程  同步式  动态  脚本  元编程  宏  反射式  事件驱动  并发  基于演员  管道  阵列  串接式  面向堆栈  宣告式  模板  可扩展  基于规则  领域特定  多范型  触控 
层次:  机器  汇编  编译  解释  低级  高级  极高级 
有关:  世代  非英语基础  可视化 
|  论 编编程范型 |
| --- | --- |
指令式:  过程式  结构化  非结构化  例外处理 
面向对象:  基于类  基于原型  契约式  面向代理 
函数式:  纯函数式  全函数式  隐式 函数级 
数据流程:  同步式  响应式 函数式响应  管道  串流处理  基于流程 
宣告式:  逻辑式 回答集  函数式逻辑  约束式  数据查询  框架本体 
元编程:    模板  反射式 同像性  元对象  元类  面向特性  面向语言 
/:  协程 生成器  future/promise  演员模型 消息传递  通信顺序进程 通道  分叉会合  整体同步  PGAS 
其他范型:  阵列  面向表达式（英语：）  模块化 关注分离  面向方面  数据驱动  事件驱动  串接式 面向堆栈  基于自动机  可微分  概率式 
 关键特征:  块 嵌套函数（英语：）  回调函数  递归  头等对象 头等函数  闭包  实化 续体  多态 运算符重载  泛型  多分派  模式匹配  推导式  抽象数据类型  代数数据类型  递归数据类型  求值策略  非确定性 
多范型语言比较（英语：）
沙功那空

| 沙功那空市 เทศบาลนครสกลนคร  |
| --- | --- |
自治市
沙功那空市区的街道
沙功那空市 เทศบาลนครสกลนคร在泰國的位置
坐标：17°9′23″N 104°8′44″E﻿ / ﻿17.15639°N 104.14556°E﻿ / 17.15639; 104.14556
国家:  泰國
府: 沙功那空府
县: 沙功那空府治县
面积
 • 总计: 54.54 平方公里（21.06 平方英里）
海拔: 175 公尺（574 英尺）
人口: 76,000人
时区: 印度支那時間（UTC+7）
網站: sakoncity.go.th
沙功那空市（泰语：，皇家轉寫：），通称沙功那空（泰語：）或色军。是泰國的一個自治市，也是該國沙功那空府以及沙功那空府治縣的治所駐地，位於該國東北部。其名称在泰语中意为“完整之城”。
参考资料

↑  周定国. . 中国对外翻译出版公司. 2008: 1234. ISBN 978-7-5001-0753-8.
↑  史先建. . 《东南亚纵横》. 2012, (12): 68. CNKI DLYZ201212016 （中文（中国大陆））.
|  论 编沙功那空府 |
| --- | --- |
县:  沙功那空府治县 (色军府治县)（英语：）  古素曼县（英语：）  古巴县（英语：）  攀那尼空县（英语：）  庞空县（英语：）  瓦里差蓬县（英语：）  尼空南温县（英语：）  瓦暖尼瓦县（英语：）  坎达格拉县（英语：）  班孟县（英语：）  阿甲安内县（英语：）  沙旺殿丁县（英语：）  颂道县（英语：）  道威县（英语：）  鹄西素攀县（英语：）  乍伦信县（英语：）  蓬那胶县（英语：）  普攀县（英语：） 
首府:  沙功那空 
|  论 编泰國城市 |
| --- | --- |
特別行政區:  曼谷  芭達雅 
城護域:  武里南  昭披耶素拉沙  清邁  清萊  合艾  孔敬  苏梅岛  林查班  南邦  湄索  佛统  那空叻差是玛  那空沙旺  那空是貪瑪叻  暖武里  歐姆內  巴革  彭世洛  大城  普吉  蘭實  羅勇  沙功那空  北欖  龍仔厝  宋卡  素叻他尼  董里  烏汶叻差他尼  烏隆他尼  也拉
新西爾基 (里夫內區)

50°29′52″N 26°26′27″E﻿ / ﻿50.49778°N 26.44083°E﻿ / 50.49778; 26.44083
关于其他同名地方，请见「」。
新西爾基（烏克蘭語：）是位於烏克蘭西北部羅夫諾州里夫內區茲多爾布尼夫市鎮（烏克蘭語：）的村莊。該村始建於1600年，面積19平方公里，海拔高度260米，2001年人口565，人口密度每平方公里29.8人。
參考資料

Погода в селі Новосілки （页面存档备份，存于）
На Рівненщині ще одна громада УПЦ Московського патріархату перейшла в юрисдикцію УПЦ Київського патріархату （页面存档备份，存于）
量子編程

量子編程（Quantum programming）是匯編指令序列之行程，稱為量子程序，能夠在量子計算機上運行。量子編程語言使用高級結構化的形式以助表達量子演算法的計算。
量子指令集

量子指令集用於將更高級別的演算法轉換為可以在量子處理器上執行的物理指令。有時這些指令是特定於給定的硬體平台，例如離子阱或超導量子位元（英语：）。
量子指令集 > cQASM

cQASM，也稱為通用QASM，是一種與硬體無關的QASM，可保證所有量子編譯以及仿真工具之間的互相操作性。它是由TUDelft的QCA實驗室所引入的。
量子指令集 > Quil

条目：Quil (指令集架構)
Quil是一種用於量子計算的指令集架構，它首先引入了共享量子/經典的記憶模型。它是由"羅伯特·史密斯"(Robert Smith)、"邁克爾·柯蒂斯"(Michael Curtis)，與"威廉·曾"(William Zeng)在"實用量子指令集架構"(A Practical Quantum Instruction Set Architecture)一文中介紹的。許多量子算法（包括量子隱形傳態、量子誤差更正（英语：）、模擬、以及優化演算法）需要共享記憶架構。
量子指令集 > OpenQASM

条目：OpenQASM
OpenQASM是 IBM 引入用於Qiskit及IBM量子體驗平台（英语：）的中介表示。
量子指令集 > Blackbird

Blackbird是哈納杜量子技術公司（英语：）及史特貝利菲爾德公司(Strawberry Fields)使用的量子指令集與中介所表示的。Blackbird旨在表示可以於光子量子硬體上運行的連續可變（英语：）量子程序。
量子编程语言

量子编程语言主要有两类：命令式量子编程语言和函数式量子编程语言。
量子编程语言 > 命令式编程语言

命令式语言最著名的代表是 QCL、 LanQ 和 Q|SI>。
量子编程语言 > 函数式语言

正在致力于开发用于量子计算的函数式编程语言。函数式编程语言非常适合进行程序推理。一些示例包括 Selinger 的 QPL、Haskell 类 Altenkirch 和 Graattage 的 QML 语言。高阶量子编程语言，基于lambda演算，由 van Tonder、Selinger 和 Valiron 以及 Arrighi 和 Dowek 提出。
参見

量子计算
量子图灵机
量子算法
秀尔算法
量子比特
量子信息科学
量子计算优越性
註釋

↑  Jarosław Adam Miszczak. . 2012. ISBN 9781608458516.
↑  Bertels, K.; Almudever, C. G.; Hogaboam, J. W.; Ashraf, I.; Guerreschi, G. G.; Khammassi, N. . 2018-05-24. arXiv:1805.09607v1  [quant-ph] （英语）.
↑  Smith, Robert S.; Curtis, Michael J.; Zeng, William J. . 2016. arXiv:1608.03355  [quant-ph].
↑  McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán. . New Journal of Physics. 2016-02-04, 18 (2): 023023. Bibcode:2016NJPh...18b3023M. ISSN 1367-2630. S2CID 92988541. arXiv:1509.04279 . doi:10.1088/1367-2630/18/2/023023.
↑  Rubin, Nicholas C.; Curtis, Michael J.; Zeng, William J. . 2016. arXiv:1610.06910  [quant-ph].
↑  Farhi, Edward; Goldstone, Jeffrey; Gutmann, Sam. . 2014. arXiv:1411.4028  [quant-ph].
↑  , International Business Machines, 2017-07-04  [2017-07-06], （原始内容存档于2017-04-02）
↑  . quantum-blackbird.readthedocs.io.   [2019-06-24]. （原始内容存档于2022-09-26）.
↑  Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan. . Quantum. 2019-03-11, 3: 129. S2CID 54763305. arXiv:1804.03159 . doi:10.22331/q-2019-03-11-129 （英国英语）.
↑  Bernhard Omer. .   [2023-12-10]. （原始内容存档于2003-10-08）.
↑  Hynek Mlnařík. .   [2023-12-10]. （原始内容存档于2016-05-20）.
↑  Liu, Shusen; Zhou, li; Guan, Ji; He, Yang; Duan, Runyao; Ying, Mingsheng. . Scientia Sinica Informationis. 2017-05-09, 47 (10): 1300. S2CID 9163705. arXiv:1710.09500 . doi:10.1360/N112017-00095.
↑  Peter Selinger, "Towards a quantum programming language" （页面存档备份，存于）, Mathematical Structures in Computer Science 14(4):527-586, 2004.
↑  Jonathan Grattage: QML Research （页面存档备份，存于） (website)
↑  T. Altenkirch, V. Belavkin, J. Grattage, A. Green, A. Sabry, J. K. Vizzotto, QML: A Functional Quantum Programming Language 的存檔，存档日期2006-07-10. (website)
↑  Andre van Tonder, "A Lambda Calculus for Quantum Computation", SIAM J. Comput., 33(5), 1109–1135. (27 pages), 2004. Also available from arXiv:quant-ph/0307150 （页面存档备份，存于）
↑  Peter Selinger and Benoît Valiron, "A lambda calculus for quantum computation with classical control" （页面存档备份，存于）, Mathematical Structures in Computer Science 16(3):527-552, 2006.
↑  Pablo Arrighi, Gilles Dowek, "Linear-algebraic lambda-calculus: higher-order, encodings and confluence" （页面存档备份，存于）, 2006
延伸閱讀

Mingsheng, Ying. . Cambridge, MA. 2016. ISBN 978-0128025468. OCLC 945735387.
參閱

Quil (指令集架構)（英语：）
OpenQASM（英语：）
外部連結

Bibliography on Quantum Programming Languages （页面存档备份，存于） (updated in May 2007)
5th International Workshop on Quantum Physics and Logic （页面存档备份，存于）
4th International Workshop on Quantum Programming Languages （页面存档备份，存于）
3rd International Workshop on Quantum Programming Languages （页面存档备份，存于）
2nd International Workshop on Quantum Programming Languages （页面存档备份，存于）
Quantum programming language （页面存档备份，存于） in Quantiki （页面存档备份，存于）
QMASM documentation （页面存档备份，存于）
pyQuil documentation （页面存档备份，存于） including Introduction to Quantum Computing （页面存档备份，存于）
Scaffold Source （页面存档备份，存于）
Curated list （页面存档备份，存于） of all open-source quantum software projects
|  论 编量子信息 |
| --- | --- |
基礎:  量子計算  迪文森佐準則  量子位元  量子三位元  量子四位元  量子编程  量子線路  量子   
量子通訊:  量子隱形傳態  量子密碼學  量子密鑰  密集编码 
量子演算法:  杜其–約薩算法  格羅弗算法  量子傅立葉變換  秀爾演算法 
量子复杂性理论:  QTM (量子圖靈機)  BQP  QMA（英语：）  PostBQP（英语：）  EQP（英语：） 
其他:  量子退相干  量子纠缠  環境誘導超選擇  量子糾錯  量子隨機漫步 
 量子电脑的物理實現 
核磁共振量子電腦:  液態核磁共振量子電腦  固態核磁共振量子電腦 
光子量子電腦:  線性光學量子電腦  非線性光學量子電腦  同調態量子電腦 
離子阱量子電腦:  美國國家標準局式  奧地利式 
矽基量子電腦:  肯氏量子電腦 
超導體量子電腦:  電荷量子  通量量子  混合量子 
 Category ·  Portal:物理学 ·  Commons
Template:Emerging technologies
浴室

佳山旅館（今北投文物館）浴室
辛志平校長故居浴室
浴室，又名沐浴室、沐浴間，粵語稱沖涼房，閩南語稱浴間仔（）是用於沐浴或淋浴的房間，常見設備包括花灑、浴缸及盥洗盆，有些地區中的浴室會和廁所合併，因此浴室中也會有馬桶，也有些地區因為卫生因素考量，會將浴室和廁所分離。从使用者的身份可以分为公众浴室和私人浴室。
在歷史上，沐浴常常是集體的活動，在公众浴室。在一些國家仍有公眾使用的浴室，例如日本的錢湯及伊斯蘭世界的土耳其浴。
公眾浴室

有些浴室是開放給公眾人士使用，稱為公眾浴室、公共浴室、澡堂，例如羅馬浴場。相较与私人浴室，一般规模较大，能容纳数几十人或上百人同时沐浴。在上海、香港也曾流行公眾浴室，例如已成歷史的浴德池。在日本、台灣等地常見的泡溫泉也是。
在舊香港，唐樓及木屋區等住戶私人無浴室和洗手間，所以香港政府也在街上建築有平民化的公眾浴室，沿用至今。
在現代運動場、健身室、游泳池等也通常有公眾浴室（淋浴間），通常附設於更衣室內。
在市面有些商業經營的浴室是色情場所，雖然稱為SPA、按摩、三溫暖等，因為有以陪浴為名的性服務提供。
私人浴室

私人浴室一般指家庭所拥有和使用的浴室。规模较小，一般只能容纳单人或双人淋浴。
公寓中的浴室一般与厕所合为一室，包含盥洗盆、抽水马桶等卫生设施。
參考 > 進一步閱讀

von Fürstenberg, Diane. . Random House. 1993. ISBN 9780679426790.
Hoagland, Alison K. . ABC-Clio. 2018. ISBN 9781440852664.
外部連結

维基共享资源上的相關多媒體資源：Bathroom
|  论 编房屋 |
| --- | --- |
共用房间:  Bonus room（英语：）  公共活动室  Den（英语：）  飯廳  Family room（英语：）  Garret（英语：）  Great room（英语：）  家庭劇院  廚房 dirty kitchen（英语：）  kitchenette（英语：）  起居間  Gynaeceum（英语：） 後宮  Andron（英语：） man cave（英语：）  Recreation room（英语：） billiard room（英语：）  Shrine（英语：）  書房  日光房 
私人房间:  浴室 廁所  臥房 壁柜  Bedsit（英语：）  閨房  Cabinet（英语：）  婴儿房（英语：） 
空间:  中庭  露臺  Breezeway（英语：）  Conversation pit（英语：）  Cubby-hole（英语：）  Deck（英语：）  電梯 Dumbwaiter（英语：）  玄關 日式玄关（英语：）  壁爐 hearth（英语：）  大堂  大廳  廊  Inglenook（英语：）  Lanai（英语：）  Loft  涼廊  Overhang（英语：）  Patio（英语：）  Porch（英语：） Screened porch（英语：）  Sleeping porch（英语：）  輪椅坡道  秘密通道  楼梯/Staircase（英语：）  露天平台  外廊  门厅 
技术（英语：）、杂物和储藏间:  閣樓  地下室  车棚  衣帽間 (公共設施)  壁柜  Crawl space（英语：）  配電間  Equipment room（英语：）  Furnace room（英语：） / Mechanical room（英语：）  车库  清潔工人  Larder（英语：）  洗衣房 / 杂物间 / 储藏间  Mechanical room（英语：） / Mechanical floor（英语：）  食品储藏间  Root cellar（英语：）  半地下室  防風窖 / 安全室  工作室  衣櫃  酒窖  配線間  作坊 
大宅区域:  门厅  Ballroom（英语：）  厨房相关 食品储藏间  Buttery（英语：）  saucery（英语：）  scullery（英语：）  spicery（英语：）  蒸餾室  Conservatory（英语：） / 橘园  中庭  客廳  Great chamber（英语：）  骑士厅  图书馆  長廊  Lumber room（英语：）  会客厅（英语：）  桑拿  Servants' hall（英语：）  Servants' quarters（英语：）  吸烟室  Solar（英语：）  State room（英语：）  游泳池  角樓  Undercroft（英语：） 
其他:  家具  Hidden compartment（英语：）  住宅 house plan（英语：）  风格列表（英语：）  类型列表（英语：）  集合住宅  附屬住宅單元  複式單位  排屋  独立式洋房  Semi-detached（英语：）  聯排別墅  Studio apartment（英语：） 
建筑元素:  拱  Baluster（英语：）  Belt course（英语：）  Bressummer（英语：）  天花板  烟囱  列柱 / 门廊  柱  簷口 / 屋簷  圓頂  門扉  Ell（英语：）  地板  地基  山墙  門 (建築物) Portal（英语：）  照明  Ornament（英语：）  管路系統  Quoin（英语：）  屋顶  Roof lantern（英语：）  Sill plate（英语：）  建筑风格 列表（英语：）  天窗  門檻  Transom（英语：）  拱頂  墙  窗 
相关:  後院  私家車道  前院（英语：）  家  家居装修  住所修复  棚子  樹屋 
  分類：房間 
|   |
| --- | --- |
各地:  法国  BnF data  德国  以色列  美国  日本  捷克 
学术:  AAT 
淋浴間
黃紹庭

| 黃紹庭 |
| --- | --- |


 高雄市議會第2－4屆議員
现任
就任日期 2014年12月25日
选区: 第八選舉區  （前金區、新興區、苓雅區）
 高雄市議會（合併前直轄市）第7屆議員
任期 2006年12月25日—2009年9月24日
选区: 第四選舉區  （前金區、新興區、苓雅區）
 
个人资料
出生:  (1970-01-11) 1970年1月11日（55歲）  臺灣高雄市苓雅區
公民权:  中華民國  美国（2006－2008年）
政党:  中國國民黨
父母: 黃芳仁（父）
母校:  東海大學物理學系  南加州大學電機工程碩士 

 经历  黃芳仁市議員服務處主任  高雄市議會（合併前直轄市第7屆）議員 （2006年12月25日－2009年9月24日）  高雄市議會（合併後直轄市第2屆）議員 （2014年12月25日－2018年12月24日）  高雄市議會（合併後直轄市第3屆）議員 （2018年12月25日－2022年12月24日） 
 
黃紹庭（1970年1月11日—），台灣政治人物，現任中國國民黨中常委、高雄市議員。原在美國任職於科技業，回台灣後，曾任合併改制前第七屆高雄市議員（期間因雙重國籍遭解職）。
生平

黃紹庭出生於高雄市苓雅區，父親黃芳仁於縣市合併前擔任第2至5屆高雄市議員。就學於高雄市立苓洲國民小學、高雄市立七賢國民中學、高雄市私立道明高級中學。畢業於東海大學物理學系後，在南加州大學取得電機工程碩士學位。
取得碩士學位後，他在美國任職於科技業，前後擔任台積電駐美國技術經理、昇陽電腦設計主任、國家半導體電腦工程師。
父親黃芳仁涉入2002年高雄市議長朱安雄賄選案，同年12月被起訴，被指控與妻子黃陳節透過南區郵政管理局高層，取得郵局員工親友名單以利行賄。審理期間數度以議會開會及健康因素缺席開庭，他2003年11月在法庭上認罪並宣告辭去議員職務以爭取減刑，最終被判刑6個月。
黃紹庭在父親退出政壇後獲栽培接班，2006年當選高雄市議員。
爭議事件 > 雙重國籍事件

黃紹庭於1995年間取得美國碩士學位後在當地工作，2006年1月26日歸化為美國籍，隨後返國參選高雄市議員選舉，經高雄市選委會公告當選。黃紹庭被控未在公告當選後、宣誓就職前，放棄美國國籍，至2008年間（合併改制前高雄市議會第7屆）被檢舉因具雙重國籍，被撤銷市議員資格。 於2008年6月13日喪失美國國籍。2015年3月，高雄市議會宣布，全體66席議員已在就職3個月內完成“無雙重國籍”具結，簽署國籍調查同意書。黃紹庭也簽署了國籍調查同意書。
爭議事件 > 肇事逃逸遭判刑

於2010年5月18日駕駛自小客車於前鎮區與機車騎士發生碰撞，導致兩名機車騎士受有擦傷、挫傷、骨折等傷勢，黃紹庭竟為了規避責任，未停車及下車查看騎士傷勢，更將自小客車車燈關閉後駛離現場，經警方偵辦而查獲，黃並辯解對方是飆車族當下擔心遭報復才離開現場，本案黃紹庭經高雄地方法院一審判決有期徒刑六個月。
爭議事件 > 涉嫌浮報助理費

黃紹庭涉嫌浮報助理費，高雄地檢署於2024年9月26日搜索其住處及服務處，並帶回電腦主機、相關資料及黃紹庭的父母等17人，而黃紹庭本人則在當日清晨前往中國大陸廈門。回應洩密質疑，雄檢證實已分案調查內部相關人員是否洩漏偵查訊息。
黃紹庭27日下午發布自錄影片聲明，稱出境是既定行程，並無潛逃，同時也否認犯罪。他於2024年9月29日返台，隨後遭檢方拘提到案，2024年9月30日16點37分高雄地方法院法官裁定羈押禁見送往高雄看守所。
2024年11月28日，高雄地檢署依貪污治罪條例的利用職務詐取財物罪將黃紹庭夫妻及12名助理起訴，坦承全部犯行，並繳回1455萬的犯罪所得。高雄地方法院法官，諭知150萬元交保，限制出境8個月。
選舉紀錄

| 年度 | 選舉屆數 | 選舉區 | 所屬政黨 | 得票數 | 得票率 | 當選標記 | 備註 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2006 | 第七屆高雄市議員選舉 | 高雄市第四選舉區（合併前直轄市） |  中國國民黨 | 15,457 | 10.68% |  | 解職 |
| 2010 | 第一屆高雄市議員選舉 | 高雄市第八選舉區 | 無黨籍 | 10,268 | 6.86% |  |  |
| 2014 | 第二屆高雄市議員選舉 | 高雄市第八選舉區 |  中國國民黨 | 14,995 | 11.18% |  |  |
| 2018 | 第三屆高雄市議員選舉 | 高雄市第八選舉區 |  中國國民黨 | 25,635 | 17.06% |  |  |
| 2022 | 第四屆高雄市議員選舉 | 高雄市第八選舉區 |  中國國民黨 | 15,244 | 13.10% |  |  |
參考資料

↑  當選市議員沒放棄美國籍 雙重國籍被告詐欺有前例
↑  . 中國國民黨. 2023-07-12  [2023-07-12]. （原始内容存档于2022-03-22）.
↑  . 高雄市議會.   [2024-09-28]. （原始内容存档于2024-04-23） （中文（臺灣））.
↑  . 華視新聞. 2002-11-17.
↑  . 華視新聞. 2003-01-03  [2024-09-28]. （原始内容存档于2022-05-28）.
↑  . 中新网. 2002-12-04  [2024-09-28]. （原始内容存档于2010-12-05）.
↑  . 人間福報. 2003-08-01.
↑  . 大紀元時報. 2003-08-10  [2024-09-28]. （原始内容存档于2004-12-31）.
↑  . TVBS新聞網. 2003-11-12.
↑  . TVBS新聞網. 2004-01-08.
↑  . （原始内容存档于2016-04-27）.
↑  . [永久]
↑  .   [2019-12-18]. （原始内容存档于2016-07-01）.
↑  .   [2016-04-22]. （原始内容存档于2018-12-16）.
↑  .   [2019-05-16]. （原始内容存档于2021-05-06）.
↑  . 司法院裁判書系統. 2011-05-26  [2024-09-26]. （原始内容存档于2024-09-28）.
↑  洪學廣; 蔡孟妤. . 中央社 CNA. 2024-09-26  [2024-09-26]. （原始内容存档于2024-11-22） （中文（臺灣））.
↑  洪學廣; 蔡孟妤. . 中央社 CNA. 2024-09-26  [2024-09-26]. （原始内容存档于2024-12-27） （中文（臺灣））.
↑  . 自由時報. 2024-09-27  [2024-11-06]. （原始内容存档于2024-09-28）.
↑  . 中央社. 2024-09-27  [2024-11-06]. （原始内容存档于2024-09-28）.
↑  . 公視. 2024-09-27  [2024-09-28]. （原始内容存档于2024-09-30） （中文（臺灣））.
↑  . 中央社. 2024-09-30  [2024-09-30]. （原始内容存档于2024-10-01）.
外部連結

黃紹庭的Facebook專頁
YouTube上的黃紹庭頻道
|  论 编高雄市議會第四屆議員 |
| --- | --- | --- |
議長：康裕成（） · 副議長：曾俊傑（）
|  中國國民黨（28席） |  林義迪  李亞築  方信淵  宋立彬  陸淑美  白喬茵  李眉蓁  李雅芬  陳麗珍  陳玫娟  吳利成  蔡金晏  陳美雅  黃柏霖  黃香菽  許采蓁  黃紹庭因詐領議員助理費案收押禁見  李雅靜  鍾易仲  劉德林  鄭安秝  曾麗燕  蔡武宏  陳麗娜  邱軒  黃天煌  王耀裕  王義雄  |  |
|  民主進步黨（25席） |  林富寶  陳明澤  黃明太  林志誠  黃秋瑛  李柏毅4  李雅慧  黃文志  黃飛鳳  江瑞鴻  張勝富  邱俊憲  簡煥宗  李喬如  鄭孟洳  康裕成  何權峰  郭建盟  湯詠瑜  黃文益  陳慧文  林智鴻  張漢忠  鄭光峰  陳致中5  黃彥毓  李雨庭  黃捷6  |  |
|  無黨團結聯盟（3席） |  朱信強  陳善慧  李順進  |  |
|  台灣基進（1席） |  張博洋  |  |
|  台灣團結聯盟（1席） |  吳銘賜  |  |
| 無黨籍（4席） |  高忠德  陳幸富  范織欽  曾俊傑3  |  |
 1該屆議員由2022年中華民國直轄市議員及縣市議員選舉選出。  2該屆議員任期為2022年12月25日至2026年12月25日。  3曾俊傑於2022年12月25日宣佈退出中國國民黨。  4李柏毅於第11屆立法委員選舉中當選，於2024年2月1日轉任立法委員。  5陳致中因案解職，但未褫奪公權，無須遞補。  6黃捷於2023年6月26日宣佈加入民主進步黨，於第11屆立法委員選舉中當選，於2024年2月1日轉任立法委員。 
|  论 编高雄市議會第三屆議員 |
| --- | --- | --- |
議長：許崑源（）→ 曾麗燕（） · 副議長：陸淑美（）
|  中國國民黨（31席） |  林義迪  李亞築  陸淑美  方信淵  宋立彬  陳麗珍  陳玫娟  李眉蓁  李雅芬  許慧玉  吳利成  陳美雅  蔡金晏  黃柏霖  黃香菽  曾俊傑  童燕珍  黃紹庭  許崑源4  陳若翠  鍾易仲  李雅靜  劉德林  鄭安秝  陳麗娜  曾麗燕  蔡武宏  黃天煌  邱軒  王耀裕  王義雄  賴文德  唐惠美3  |  |
|  民主進步黨（25席） |  江瑞鴻  何權峰  李柏毅  李喬如  李雅慧  林宛蓉  林富寶  林智鴻  邱俊憲  高閔琳  康裕成  張勝富  張漢忠  郭建盟  陳明澤  陳致中  陳慧文  黃文志  黃文益  黃明太  黃秋瑛  鄭光峰  鄭孟洳  韓賜村  簡煥宗  |  |
|  無黨團結聯盟（3席） |  朱信強  李順進  陳善慧  |  |
|  時代力量（1席） |  林凱  |  |
|  親民黨（1席） |  吳益政5  |  |
|  台灣團結聯盟（1席） |  吳銘賜  |  |
| 無黨籍（3席） |  陳幸富  范織欽（遞補）  黃捷6  |  |
 1該屆議員由2018年中華民國直轄市議員及縣市議員選舉選出。  2該屆議員任期為2018年12月25日至2022年12月25日。  3唐惠美於2019年7月31日遭褫奪公權，由范織欽遞補。  4許崑源於2020年6月6日跳樓自殺身亡。  5吳益政於2020年6月23日加入 臺灣民眾黨，具有雙重黨籍。  6黃捷於2020年8月26日宣佈退出 時代力量。 
|  论 编高雄市議會第二屆議員 |
| --- | --- | --- |
議長：康裕成（） · 副議長：蔡昌達（）
|  民主進步黨（34席） |  林富寶  鍾盛有  張文瑞  陳明澤  陳政聞  高閔琳  翁瑞珠  林瑩蓉  張豐藤  李柏毅  林芳如  張勝富  邱俊憲  沈英章  康裕成  鄭新助  簡煥宗  李喬如  何權峰  林武忠3  郭建盟  蕭永達  周玲妏  羅鼎城  張漢忠  陳慧文  顏曉菁  王聖仁  陳信瑜  鄭光峰  林宛蓉  蔡昌達  李雨庭  俄鄧·殷艾  蘇炎城（遞補）  |  |
|  中國國民黨（25席） |  劉馨正  李長生  陸淑美  方信淵  李眉蓁  周鍾㴴  陳麗珍  陳玫娟  許慧玉  蔡金晏  陳美雅  黃香菽  黃柏霖  曾俊傑  黃紹庭  許崑源  劉德林  李雅靜  陳麗娜  曾麗燕  黃天煌  王耀裕  唐惠美  陳粹鑾6  柯路加（遞補）  童燕珍（遞補）  |  |
|  無黨團結聯盟（3席） |  黃石龍  李順進  徐榮延（遞補）  |  |
|  台灣團結聯盟（2席） |  黃淑美  吳銘賜  |  |
|  親民黨（1席） |  吳益政  |  |
| 無黨籍（2席） |  楊見福4  林民傑5  伊斯坦大‧貝雅夫‧正福  |  |
 1該屆議員由2014年中華民國直轄市議員及縣市議員選舉選出。  2該屆議員任期為2014年12月25日至2018年12月25日。  3林武忠於2017年2月17日涉貪污圖利罪被判刑而遭解職，由童燕珍遞補。  4楊見福於2015年12月8日遭判當選無效，由蘇炎城遞補。  5林民傑於2017年1月4日遭判當選無效，由柯路加遞補。  6陳粹鑾於2018年7月26日遭褫奪公權，由徐榮延遞補。
阿耶洛的尼科洛

《荣誉之书》插画，展示了1194年的阴谋者。尼科洛是西比拉右边的主教。
阿耶洛的尼科洛（12世纪—1221年2月10日），西西里王国宰相阿耶洛的马特奥的次子，自1181年起继承史学家罗穆亚尔多二世·瓜尔纳为萨莱诺大主教。他是诺曼王朝西西里王国于1194年沦陷于亨利六世时的一位受信任的顾问。
亨利帮助其妻科斯坦察皇后要求继承已故侄子西西里先王古列尔莫二世遗赠的王位。当1191年亨利进军围攻那不勒斯时，萨莱诺写信给他表忠，尼科洛敌视日耳曼人，抛弃了这座不忠的城市前去那不勒斯，在阿切拉伯爵里卡多受伤后控制了该城的防务。他和海军上将布林迪西的马加里托成功守住了这座古城，迫使亨利解围。亨利撤军时，将皇后科斯坦察留在萨莱诺作为自己很快会回来的信号。尼科洛写信给萨莱诺的朋友讲述形势，萨莱诺人重新归顺国王坦克雷迪，并围攻科斯坦察，科斯坦察向他们喊话意图说服他们尼科洛夸大了亨利的失败，但萨莱诺人坚持要俘虏她以取悦坦克雷迪，最终将她交给了坦克雷迪。
但就长期而言，这没有什么效果。次年皇后被释放；1194年12月25日，亨利在帕勒莫加冕，尼科洛、里卡多、马加里托、西比拉王后都在场。四天后，他们都被控谋反（可能是捏造），被用船押送到德国监狱。他在那里度过多年，教皇因诺森三世的祈祷和请求也无济于事。
参考

Norwich, John Julius. The Kingdom in the Sun, 1130–1194. London: Longman, 1970.
↑  他不是阿耶洛人，而是萨莱诺人。他的兄长里卡多从国王西西里的坦克雷迪处受封阿耶洛伯国，故全家都用阿耶洛之名。
| --- | --- |
：人物 :  意大利人
天主教利蒙教區

| 天主教利蒙教區  |
| --- | --- |

教会管区
 
教區位置圖
基本
教座位置: 哥斯達黎加
管轄範圍: 利蒙省
禮儀形式: 拉丁禮
所屬教省: 聖何塞
創設時間: 1921年
主教座堂: 耶穌聖心主教座堂
首長職銜: 主教
教務首長
教區主教: 懸空+
統計資料
教友人數: 348,591
天主教利蒙教區（拉丁語：、西班牙語：）是哥斯達黎加一個羅馬天主教教區，屬聖何塞總教區。
1921年2月16日設宗座代牧區，1994年12月30日升為教區。
教區位於利蒙省。2004年有教友348,591人（佔轄區總人口78.0%）、廿一個堂區、卅六名司鐸。目前教區主教席位處於出缺狀態。
參考資料

↑   (PDF). 宗座公報 (梵蒂岡出版社). 1921年, 13: 252-225  [2013-05-21]. （原始内容存档 (PDF)于2016-03-03）.
|  论 编哥斯達黎加天主教教區 |
| --- | --- |
總教區: 聖何塞總教區
教區: 利蒙教區 | 阿拉埃胡拉教區 | 卡塔戈教區 | 克薩達城教區 | 蒂拉蘭-利韋里亞教區 | 蓬塔雷納斯教區 | 聖伊西德羅-埃爾赫內拉爾教區
參見：哥斯達黎加天主教 · 哥斯達黎加天主教教區列表 · 北美洲天主教教區列表
防御性编程

防御性编程（Defensive programming）是防御式设计的一种具体体现，它是为了保证，对程序的不可预见的使用，不会造成程序功能上的损坏。它可以被看作是为了减少或消除墨菲定律效力的想法。防御式编程主要用于可能被滥用，恶作剧或无意地造成灾难性影响的程序上。
主要概念:若常式收到錯誤的資料，即便錯誤資料是由其他常式出錯所造成，此常式也不會受到傷害。
防御性编程通常通过以下途径，从而提高软件和源码的质量：
提高工程质量——减少bug和问题
提高源码可读性—— 源码应该变得可读且可理解，并且能经受代码审计。
让软件能通过预期的行为来处理不可预期的用户操作。
值得注意的是，过度的防御性编程可能会预防不可能会发生的错误，这样将导致运行时间与维护的损耗。当源码中拥有过多异常捕捉和异常处理，这有可能导致结果不正确或者被隐藏。