zaibd/wkpdtw huggingface dataset:
程序控制是在工業系統中，為了控制過程的輸出，利用統計或工程上的方法處理過程的結構、運作方式或其演算方式。處理程序控制的系統可稱為程序控制系統。



舉例

例如利用加熱器調節房間的溫度即可視為一個過程，因為其目的是要使一輸出量（在此例中是溫度）到達一理想值內（例如 20 度），且此輸出量不隨時間變化。在此例中溫度是一個控制變數，不過若用溫度計量測溫度，決定是否加熱，溫度也同時是輸入變數，。理想的溫度（20 度）為目標值，加熱器的狀態（如加熱器控制熱水流量的閥門）會隨控制而改變，則是受控變數。程序控制的控制變數通常是溫度 T、壓力 P、流量 F、液位 L、成分 A、PH 值之等的過程變量。

常見的控制設備是可程式邏輯控制器，簡稱 PLC。PLC 讀取許多類比或數位的輸入，內部程式會根據輸入產生類比或數位的輸出。若以上一段的例子延伸，房間的溫度是 PLC 的輸入，內部程式會比較輸入變數及目標值的差異，再決定是否加熱量要增加或是減少。PLC 的輸出會用來改變加熱器閥門開啟的大小。更大（或更複雜）的系統可能會由分散式控制系統（Distributed Control System, DCS）或 SCADA 來加以控制。



實務上的分類

實務上，程序控制可以用以下的方式分類（不過，有些應用會同時用到以下幾類的程序控制）：


* 離散：在許多製造、運動或包裝應用中會用到離散的程序控制。如汽車生產中常見的機器手臂自動組裝，即為離散程序控制的例子。大部份這類的應用都是生產一個產品中個別的零件，如金屬衝壓成形。

* 批次：有些應用需要以特定的量，以特定的方式及時間混合原枓。像是製造膠水，一般需要在加熱的容器中混合原料一段時間。類似的例子包括食物、飲料或藥品。批次程序大約用在年產量從幾公斤到幾千噸的產業。

* 連續：一般一個物理系統可以由一些連續，不隨時間有劇烈變化的變數所表示。例如加熱器中的水溫控制即為一個連續程序控制的例子。像石油、化學品或塑膠的製造就屬於連續的程序控制。連續程序控制一般用在年產量從幾千噸到幾百萬噸的產業。



統計程序控制

統計程序控制（SPC）是一個可以用控制圖監控一個程序的有效方式。它特別之處是可以同時監控一個程序主要的輸出及其變動。藉著在程序中不同的點收集數據找到會影響品質的程序變異，設法加以檢測及修正，以減少不良品到客戶端的比率。統計程序控制強調早期檢測問題及問題的防範。



相關條目


* 自動控制

* 控制器

* 控制論

* 致動器

* 自動化

* PID 控制器

* 反饋

* 可編程邏輯控制器



參考資料


* The Michigan Chemical Engineering Process Dynamics and Controls Open Textbook
程序模擬（英語：process simulation）係用於技術程序（如化工廠、化學程序、環境系統、發電廠、複雜製造操作、生物程序以及類技術功能）的設計、開發、分析與優化等。



簡介

程序模擬是在軟體中基於模型來描述化學、物理、生物、其他技術程序與單元操作等。基本先決條件是針對純組分、混合物、化學反應的物理和化學性質以及可用於模擬計算的數學模型進行統整性的了解。

程序模擬軟體以程序流程圖描述化學程序，流程圖中標示各操作單元和物流流向。模擬軟體需求解質量和能量守恆以獲得穩定的操作條件。程序模擬的目標即尋找最佳的操作條件。本質上，這是一個以迭代求解的優化問題。

程序模擬依賴各類模型進行計算，模型引進近似值與假設，但允許描述大範圍溫度與壓力下的性質，而這些性質並未包含在實際數據之中。模型亦允許在一定範圍內進行內插與外插，並允許獲取已知屬性範圍之外的條件。



建模



歷史



穩態和動態程序模擬

早期程序模擬被運用於計算穩態程序。穩態模型描述一個靜態程序（處於平衡狀態）的質量和能量守衡。

動態模擬是穩態程序模擬的延伸，透過導數項將時間相關性置入模型中，如質量或能量累積等。動態模擬的出現意味著真實程序的即時時間相關描述、預測和控制已可被實現。動態模擬包含工廠啟動與停機以及反應、滯留量、熱變化等等狀態的變動。

動態模擬相較於穩態模擬，需要更長的計算時間以及更複雜的數學計算；可被視為一個重複多次且參數不斷變化的穩態模擬（基於一個固定的時間步長）。

動態模擬可以在線和離線兩種方式使用。



參見


* 高級模擬庫

* 電腦模擬

* 化學程序模擬器列表
程序民主（英語：Procedural democracy）與實質民主相對，指稱實現民主過程的先後順序及其相關制度性規定，強調民主的機制、規則和程序。它主要是從政體的意義闡釋民主，旨在保證人民當家作主的實現。簡言之，程序民主就是使民主的實現制度化、法律化、規範化。

政治經濟學者約瑟夫・熊彼特在《資本主義、社會主義和民主》（英語：_Capitalism, Socialism, and Democracy_）一書中認為，「民主方法就是那種為作出政治決定而實行的制度安排，在這一制度安排中，某些人通過著爭取人民的選票取得作出政治決定的權力」。他認為，民主並非真的是人民當家作主，而僅僅意味著「人民有機會接受或拒絕要來統治他們的人」 ，意即「民主政治就是政治家的統治」。 這一觀點又被後人稱之為「民主的程序論」，熊彼特是程序民主理論集大成者。

程序民主用於表示產生選舉合法政府的特定程序，例如基於普選的定期選舉。 程序民主以選舉過程為中心作為民主合法性的基礎，通常與實質民主或參與民主形成對比，後者以社會中所有群體平等參與政治過程為中心合法性的基礎。

該詞彙通常用於表示通過選舉等民主程序的存在而人為地出現民主，而實際上權力掌握在一小群精英手中，他們操縱民主進程使自己在民主方面顯得合法。



概念釋義

程序民主主張民主是一種過程或一種程序，公民個人的自由平等權利只有在這種過程或程序中才能實現。對於程序民主而言，最重要的是程序而不是結果。其認為，程序對於民政而言至關重要，不能用結果來衡量政治體制的民主程度。因此之故，又被稱為形式民主、經驗民主、民主的程序主義。

程序民主假定選舉過程的核心在於權威被放置於當選的官員身上並確保所有選舉程序得到適當遵守（或至少看起來是這樣）。它可以被描述為在一個共和國（即人民投票選舉代表以行使公共權力的國家），只有基本架構和機構準備就緒。通常而言，以前當選的代表利用選舉程序來維護自身權力，在不同程度上違背了人民的公共意志，從而妨害了建設一個較為成熟的民主國家。

而現今多數立憲的國家雖然名義上准循民主的方針但實質上可能僅存在全民普選而在其他機制限制了人民對於政治的參與或實行精英政治。例如俄羅斯、吉爾吉斯坦等國仍持續寡頭統治，人民意願被權威架空，或如馬來西亞、日本等長期執政黨一黨獨霸壟斷社會上的政治資源。

即使是民主程序完善的國家也會存在實質的形式民主現狀，如在法律上或者是程度上存在對於民意的阻礙和迫害，或者是使用漏洞和機制將整個國家政治權利的中心精英化妨礙人民的意願。



實質民主

從程序與過程角度而言，民主分為程序民主與實質民主，實質民主主要體現價值理性的訴求，是一種理想主義民主觀；而程序民主要體現工具理性的訴求，是一種現實主義民主觀。但二者聯繫甚密。從法理學角度而言，民主，既需要程序民主，更需要實質民主。前中華人民共和國國務院總理溫家寶認為，「沒有程序的民主，就沒有實質的民主」，在某種程度上，程序民主還可以促進實質民主。



也可以看看


* 不自由的民主



參考文獻
程序狀態字，是指在電腦中，一段包含被作業系統和潛在硬體使用的程序狀態信息的內存或硬體區域。

它經常包含一個指向下一條需要被執行指令的指針。程序狀態字還通常包含一個錯誤狀態區域和關於中斷允許或禁止，超級或普通用戶模式位的條件代碼。
程序能力（procedural capacity）的定義是指當事人能有效自行為或自受訴訟或非訟程序行為的資格，依實體法規定享有完全行為能力人，即可獨立以法律行為負擔義務，因其意思能力應該可以辨識利害得失，並行使程序上之權利，因此在家事事件上具有程序能力。



特別情況

滿 7 歲以上的未成年人，僅有限制行為能力 (limited legal capacity)，無法獨立以法律行為負義務，但仍然具有一定程度之意思能力，可以辨識利害得失時，即可以作為家事事件的當事人，關於其身分及人身自由的家事事件，法律賦予其程序能力，使其擔任程序主體的權利及聽審請求權，得以獲得法律上保障

至於未滿 7 歲之未成年人或受監護宣告人，雖然不具行為能力，不能獨立為有效之法律行為，但若能證明自己在法院審理時，有意思能力，則就自己為當事人且關於其身分及人身安全自由的家事事件，也有程序能力。



參考文獻
自修改代碼（Self-modifying code）是指程式在執行期間（Run time）修改自身指令。可能的用途有：病毒利用此方法逃避防毒軟體的查殺，反靜態分析，反盜版 ，單晶片程式升級。



電腦

在暫存記憶體中執行代碼的電腦，可修改記憶體中的代碼段，以往這種方法常被駭客用來製造病毒（參見：EICAR 測試病毒），現今許多作業系統及 CPU 提供限制程式修改代碼段的方法。還可用於程式保護，增加軟體破解人員的靜態分析難度。

Java SE 6 提供 Java Compiler API，和 Java 的反射（Reflection）機制結合在一起，即可使 Java 程式在執行時產生新類（Class），替換舊類。



單晶片

若由 ROM 執行程式，如支援 IAP 的單晶片能夠運用自修改代碼進行程式升級，也能對負責 IAP 功能的代碼進行修改或刪除從而失去 IAP 功能。



參考文獻
程序設計實踐是程序設計中的經驗總結，這裡有許多事務、概念與技巧。



程序設計事務


* 程序排錯

* 程序測試

* 程序優化

* 程序移植

* 國際化開發

* 日誌管理



程序設計概念


* 算法

* 資料結構

* 編程接口

* 中斷

* 斷言

* 異常處理



程序構造

_參見：資料結構_


* 字符串

* 文件

* 緩衝區

* 對象池、連結池、執行緒池

* 管道

* 套接字



編程接口


* POSIX

* ODBC

* JDBC



記法


* 宏

* 正則表達式



程序庫或框架

C++：


* STL

Java:


* JGL

* Struts

* Hibernate



參考書目


* 《程序設計實踐》 Brian W. Kernigham 等著 裘宗燕譯 機械工業出版社



相關條目


* 程序設計語言

* 軟體設計模式
《程序設計方法》（英語：How to Design Programs, HtDP）是一本由麻省理工學院出版社出版、關於程序設計的教材。作者為馬蒂亞斯・費萊森、Robert Bruce Findler、Matthew Flatt 和 Shriram Krishnamurthi。該書介紹了一種「設計訣竅」，從問題描述出發，通過六個步驟編寫出完整的程序。

《程序設計方法》使用 Scheme 語言，和另外一本名著《電腦程式的構造和解釋》類似。事實上，作者提供了專門為該書開發的程序設計環境，名為 DrScheme。DrScheme 提供了從初級到高級的一系列語言級別。

這本書的中文版由黃林鵬和朱崇愷翻譯，人民郵電出版社出版。



外部連結


* HTDP, 2018 [Second edition] http://htdp.org/ （頁面存檔備份，存於網際網路檔案館）

* HTDP, 2003 [First edition] http://htdp.org/2003-09-26/ （頁面存檔備份，存於網際網路檔案館）

* 程序設計方法（中文版） （頁面存檔備份，存於網際網路檔案館）
程序設計方法學是討論程序的性質以及程序設計的理論和方法的一門學科，是研究和構造程序的過程的學問，是研究關於問題的分析，環境的模擬，概念的獲取，需求定義的描述，以及把這種描述變換細化和編碼成機器可以接受的表示的一般的方法。



程序設計方法學發展歷史

產生背景


* 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 的謂詞轉換器及其演算規則集合，可以推導出正確的程序。

利用程序變化構造正確的程序。它對程序應用一連串的保護正確性的變換規則，最終得到可執行的程序。程序變換是 1970 年代以來，「程序設計方法學」研究的重要方面，是程序設計自動化很有希望的途徑之一。遞歸程序變換是這一時期的最有意義的成果。如 Burstall 和 Darlington 的遞歸程序變換系統等。

邏輯程序設計和函數程序設計代表一種新的研究方向。Prolog 是以謂詞邏輯的子集（Hoare 子句）為基礎的一種形式系統。Prolog 的執行過程就是執行邏輯上消解算法的過程。

抽象數據類型的研究

抽象數據類型是程序設計方法學中一種極為重要的方法。人們把它譽為程序設計方法學發展史上的一個重要的里程碑。



研究的內容


* 結構化程序設計

* 數據抽象與模塊化程序設計

* 程序正確性證明

* 程序變換

* 程序的形式說明與推導

* 程序綜合與分析技術

* 物件導向的程序設計方法

* 大型程序的開發



與軟體工程的關係

研究方法的不同

軟體工程主要應用工程的方法和技術研究軟體開發與維護的方法、工具和管理的一門計算機科學與工程學交叉的學科 
程序設計方法學主要運用數學方法研究程序的性質以及程序設計的理論和方法的學科；

研究的對象不同

軟體工程的研究對象是軟體系統。目標是降低軟體的開發成本，提高軟體的質量，提高軟體的可維護性，提高軟體開發的效率。著重於軟體的宏觀可用性。程序設計方法學研究對象是程序。目標是保證程序的正確性。著重於程序的微觀正確性。軟體工程與程序設計方法學的界限變得越來越模糊 
程序設計方法學是軟體工程的基礎。
程式語言時間線記錄了各個知名程式語言出現的時間線。



1950 年之前



1950



1960



1970



1980



1990



2000



2010



2020



另見


* 計算機硬體歷史

* 程式語言歷史

* 程式語言

* Timeline of computing



參考



外部鏈結


* Online Historical Encyclopaedia of Programming Languages （頁面存檔備份，存於網際網路檔案館）

* Diagram & history of programming languages （頁面存檔備份，存於網際網路檔案館）

* Eric Levenez's timeline diagram of computer languages history （頁面存檔備份，存於網際網路檔案館）
過程變量（process variable）是指受控過程的狀態變量（state variable），像是鍋爐中的溫度即為一例，鍋爐目前的溫度是過程變量，而希望鍋爐達到的溫度即為目標值 (desired value)。

過程變量中的測量是過程控制（Process Control）中重要的一環。過程變量在變化中是過程中的動態特性 (dynamic characteristics) 的重要表徵。若要維持過程的精確性，就需要精確的測量當前狀態變量，並且通過不同的系統輸入（system input）控制過程變量達到目標值。像在化學工程中，常見的過程變量有溫度、壓力、液面高度及流量。此名詞大量的應用於 process control community 例如半導體製造領域。



相關條目


* 程序控制

* PID 控制器

* 目標值
通用語言基礎架構 (CLI) 中的程序集是編譯得到的，供 CLR 進一步編譯執行的代碼庫。代碼是用通用中間語言（CIL）表示，在運行時被即時編譯為機器語言。在.NET Framework 實現中，這種即時編譯是通用語言運行時 (CLR) 的一部分。

CLI 程序集可分為兩類：進程程序集（EXE）、庫程序集（DLL）。

一個程序集可包含一個或多個文件。代碼文件成為模塊（module）。



程序集名字

程序集名字包括 4 部分：

1. 短名字。對於 Windows 系統，是指 PE 文件名字，不包括文件擴展名。
2. culture。RFC 1766 定義的 locale 的標識符。一般應是 culture 中立的。culture 只用於 satellite 程序集。
3. 版本號。點分隔的數字，由 4 部分組成：major, minor, build, revision
4. 公鑰 token。公鑰的 64 比特哈希值，用於簽名該程序集。一個簽名的程序集稱為「強名字」（strong name）。者能預防程序集重名。由於 FAT32 與 NTFS 只識別 PE 文件名，因此 CLI 引入了全局程序集緩存（GAC）處理運行時單個文件夾被映射為不同的嵌套的文件夾系統。



程序集版本

CLI 程序集可以用版本信息，以避免由於共享的程序集版本差別引起的應用程式衝突。 However, this does not eliminate all possible versioning conflicts between assemblies.



引用程序集

通過 C# 編譯器的 /reference 標記，可以引用一個可執行代碼庫。



程序集延遲簽名

一個共享程序集是強名字的，但在開發時不產生私鑰，僅當部署時才產生私鑰。



程序集的語言

程序集編譯為 CIL 代碼，這是一種中間語言。框架內部把 CIL 字節碼轉換為本地的彙編代碼。對於列印 "Hello World" 的程序，其等效的 CIL 代碼是：

CIL 代碼裝入 String 到運行棧，然後調用 WriteLine 函數再返回。



參見


* Manifest (CLI)



參考文獻
程式集清單（英語：assembly manifest）是.Net Framework 中的文字檔案，包含了 CLI 程式集的元資料，包括程式集的組建間的依賴關係、解決資源與類的參照、版本資訊、作用域資訊、安全許可等。儲存在 PE 檔案 (.exe 或.dll) 用通用中間語言 (MSIL) 代碼表示。

嵌入到程式集中的程式集清單可用 Windows SDK 中的 IL 反組譯程式 (ILDASM.exe) 檢視。



程式集清單的內容

下表的前四行：程式集名字、版本號、culture、強名字資訊，組成了程式集的 identity。



.NET 實現

Manifest 是一個以.manifest 為字尾的 XML 檔案。其內部的資訊：


* <assemblyIdentity> 元素則標識著一個唯一的程式集

* 指定了組成程式集的檔案及 Windows 類。

作業系統首先讀取 Manifest，獲得 exe 檔案需要呼叫的 DLL 的 manifest。再根據據此資訊去尋找對應的 DLL。這樣就可能區別不同版本的同一個 DLL 檔案。

共享程式集的 Manifests 儲存在 WINDOWS/WinSxS/Manifests 目錄中。這是 Windows XP 以上版本作業系統提供的非代管（多版本）並列快取（side-by-side cache）中安裝了強名字的系統庫的程式集清單。在 WinSxS 目錄下，每個程式集都會有一個目錄，另外，還有兩個目錄分別是 Manifests 和 Policies，其中包含了版本的相關資訊。例如：

使用者：

在 WINDOWS/WinSxS/Policies 目錄下的 Policy 檔案，來指出老版本到新版本的確認對映關係。解決庫升級帶來的版本相容問題。例如：

其中 <bindingRedirect> 標籤便指定了所有 8.0.41204.256-8.0.50608.0 版本的需求，對映到 8.0.50727.42 這個系統中安裝的比較新的版本的庫。



參考文獻
代碼風格（英語：Programming style）即程式開發人員所編寫原始碼的書寫風格。良好的代碼風格會幫助程式設計師閱讀和理解符合該風格的原始碼，並且避免錯誤。

關於該主題的經典著作是 1970 年代編寫的《編程風格的要素》，並以當時流行的 Fortran 和 PL/I 語言的範例進行了說明。

特定程式中使用的編程風格可能源自公司或其他計算組織的代碼約定，以及代碼作者的偏好。編程風格通常是為特定的程式語言（或語言家族）設計的：在 C 原始碼中被認為是良好的風格可能不適合 BASIC 原始碼等等。但是，一些規則通常適用於許多語言。



良好風格的要素

總結程式設計實踐中的經驗，代碼風格的要素包括（但不限於）以下幾點：


* 名字的使用（參見：駝峰式大小寫、識別碼命名約定、匈牙利命名法）

* 表達式與語句

* 常數的使用

* 注釋的使用

* 縮排（參見：縮排風格）

* 代碼的布局



代碼外觀

代碼風格通常處理原始碼的可視外觀，帶有可讀性的目標。軟體很長時間都可以格式化原始碼，讓寫代碼的人將注意力集中在命名，邏輯和更進階的技術。作為一個實際的點，用電腦來格式化原始碼節省了時間，且使不帶網路論戰地實施全公司的標準成為可能。

縮排

縮排風格協助確認控制流和代碼塊。在一些程式語言中，縮排被用來限定代碼的邏輯塊；在這些情況下正確的縮排不僅僅是風格的事。在其他語言中，縮排和空白字元不影響功能，雖然有邏輯和一貫的縮排是代碼更易於閱讀。比較：

或

和像是這樣

前兩個範例很可能更容易閱讀，因為它們以既定的方式縮排（"hanging paragraph" 樣式）。這種縮排風格在處理多個巢狀結構時特別有用。

ModuLiq

ModuLiq Zero 縮排風格用 Enter 分組而不是縮排。和所有以上的比較：

Lua

Lua 不用傳統的花括號和括號。if/else 語句只需要表達式後面有 `then`，以 `end` 結束 if/else 語句。

縮排是可選的。`and`,`or`,`not` 在 true/false 語句間被使用。

它們是真 / 假陳述，如

會代表假。

Python

Python 用縮排來表明控制結構，所以_正確的縮排_是需要的。通過這麼做，用花括號（亦即 `{` 和 `}`）包括的需要就被清除。另一方面，複製和貼上 Python 代碼可能導致問題，因為被貼上的代碼的縮排級別可能和當前行的縮排級別不同。這樣的重格式化用手做可能十分乏味，但一些文字編輯器和整合式開發環境有自動做的功能。也有當 Python 代碼被發表在去除空白字元的論壇或網頁上，使它變得無法使用的問題，雖然這個問題可以在能用保留空白字元的標籤，像 "<pre> ... </pre>"（HTML 中），"[code]"..."[/code]"（bbcode 中）等等時避免。

注意 Python 不適用花括號，而是一個普通的英文冒號（例子 `else:`）。

許多 Python 程式設計師傾向於遵循一種公認的風格指南，稱為 PEP8。有一些工具旨在自動化 PEP8 合規性。

Haskell

Haskell 類似地有越位規則，也就是它有一種二維語法，在其中縮排對定義塊有意義（雖然另一種語法用花括號和分號）。Haskell 是一種聲明式語言，在 Haskell 指令碼中有語句，但是有聲明。範例:

可以被寫成一行，如：

Haskell 鼓勵 文學編程 的使用，擴充的文字解釋代碼的緣由。在文學式 Haskell 指令碼（帶有副檔名 `lhs`）中，所有東西都是注釋，除了標記為代碼的塊。程式可以用 LaTeX 編寫，這種情況下 `code` 環境標記哪裡是代碼。並且每個活動的代碼段落可以被在前面和後面帶上空行的方式標記，以一個大於號和一個空格開始每一行代碼。這裡有一個使用 LaTeX 標記的：

一個使用純文字的例子：

垂直對齊

將相似的元素垂直對齊經常是有幫助的，使錯字導致的錯誤更加明顯。比較：

和

空格

在一些需要空白字元的情況下，絕大部分自由形式語言的語法不關心出現了多少空白字元。與空白字元相關的風格被普遍用來加強可讀性。目前沒有已知的確鑿事實（研究得出的結論）關於哪種空白字元風格有最好的可讀性。

例如，比較下列語法上等價的 C 語言代碼例子：

v.s.

制表符

使用製表鍵來建立空白字元，在不施加足夠關注時會造成特定的問題，因為依據使用的工具，甚至是使用者的偏好，制表點的位置可能不同。
如一個例子，一個程式設計師偏好 4 個制表位，將工具集設定成如此，然後用這些去格式化代碼。

另一個程式設計師偏好 8 個制表位，並將工具集設定成如此。當其他人檢查原來那個人的代碼時，他們可能會發現很難讀。

一種對這個問題廣泛使用的解決方法可能包含不為對齊使用製表鍵，或制定必須設定成幾個制表位的規則。注意制表符在一貫的情況下工作良好，限制在局部縮排上，並且不用來對齊：



參見


* C and C++ Style Guides（頁面存檔備份，存於網際網路檔案館）

* Programming in C++, Rules and Recommendations（頁面存檔備份，存於網際網路檔案館）

* Aladdin's C coding guidelines（頁面存檔備份，存於網際網路檔案館）

* USER NOTES ON FORTRAN PROGRAMMING (UNFP)（頁面存檔備份，存於網際網路檔案館）

* PROGRAM LAYOUT - THE ART OF MAKING PROGRAMS READABLE（頁面存檔備份，存於網際網路檔案館）
程應銓（1919 年 —1968 年 12 月 13 日），江西人，中國建築師，畢業於國立中央大學。



生平

畢業於國立中央大學建築系，與吳良鏞同屆同班。第二次世界大戰時在緬甸為盟軍作翻譯。1948 年左右加入清華建築工程系教師隊伍。曾任清華大學建築系規劃教研組組長，是系主任梁思成在都市計畫最重要助理。甚得梁思成器重。

二戰結束後程應銓從緬甸經昆明回國去上海，其兄程應鏐當時在昆明中學教書，曾經的學生林洙一家也要去上海，程應鏐安排程應銓與林洙一家同行互相照應。林洙之父看中程應銓，一路上極力撮合程應銓與林洙交往。1948 年程應銓前往清華大學建築系（當時稱營建系）任教，林洙同行。解放後不久，林洙父親的來信催促，兩人完婚。

1951 年，程應銓帶領翻譯 1933 年國際現代建築協會第四次會議（CIAM4）的 Town-Planning Chart，即大會討論的一份有關功能城市的計劃方針的綱領（即後來誤稱的《雅典憲章》）；11 月《城市計劃大綱》單行本發行。

1956 年作為中國建築家代表團的成員出訪波蘭等東歐國家。

1957 年後因支持梁陳方案被劃為右派，妻子林洙與其離婚帶走孩子，並對其落井下石，持續造謠污衊他。1968 年 12 月 13 日在清華大學游泳池自殺身亡。



參見

陳愉慶 2010 《多少往事煙雨中 —— 我的父親陳占祥》第十七章



家庭


* 太高祖：程矞采

* 父親：程懋琨

* 母親：況葆琴

* 兄：程應鏐

* 前妻：林洙（1958 年離婚，1962 年改嫁梁思成）

* 子：林哲

* 女：林彤



參考
程應鏐（1916 年 11 月 4 日 —1994 年 7 月 25 日），男，江西新建人，中華人民共和國宋史學家，上海師範大學教授，曾就讀於燕京大學、西南聯合大學。



生平

程應鏐出生於江西省新建縣大塘鄉的一個望族。早年入學位於廬樓的家族私塾。1928 年，他去南昌補習中學課程。次年考入江西省立二中。1932 年，他以成績優良，免試直升本校高中，就讀理科，當時南昌提倡新生活運動，他與幾個同學組織成立「風島社」並開始向刊物投稿。1933 年，他撰寫《我們的西北》投寄給在南昌出版的《汗血周刊》，次年正式發表，時僅十九歲。但因新任教務主任有意為難，指責他與其他幾位同學不服管教，1934 年，他被迫轉學到南昌私立心遠中學，因深受其歷史教師影響，決定棄理學文，主攻歷史。

1935 年夏，程應鏐考入燕京大學歷史系，深受北平民運影響，參加一二・九運動，並成為 12 月 16 日示威遊行的前鋒隊員。1936 年初，程應鏐參加了北方左翼作家聯盟。這年，燕京大學成立了「一二・九文藝社」，他擔任負責人之一，主持刊物《青年作家》，並得到沈從文的支持。同年他與同學王名衡、劉春發起組織「大學藝文社」，出版《大學藝文》雜誌。他還代表燕京大學「一二・九文藝社」和「大學藝文社」，參加由清華大學發起的北方文學社成立大會。同年加入了中華民族解放先鋒隊。年底，他與柯華、週遊、李植人、李植青等同學參加上海婦孺慰勞團，奔赴綏遠。



家族

太高祖是清朝重臣程矞采。父親程懋琨（覺吾）曾在河北、江西等地擔任縣長，母親況葆琴。弟程應銓。



參考
程庭桂，字楞香，江蘇吳縣人，清朝政治人物、進士出身。

道光六年（1826 年），登進士，授刑部主事，後官至都察院左副都御史。咸豐八年，擔任順天府鄉試副考官，因子受賄，捲入戊午科場案，被發配軍臺。



參考
程庭芳（1911 年 —1968 年），男，山東高青（一作蒲台）人，中國天文學家、天文教育家，南京大學天文系創建人之一，曾任副教授、天體測量研究室主任。
程朝京（？—？），字康侯，直隸徽州府休寧縣人，浙江衢州府西安縣軍籍，明朝政治人物。



生平

順天府鄉試第二十九名，萬曆十一年（1583 年）癸未科會試第一百七十八名，登三甲第二百零五名進士。



家族

曾祖程永昌；祖父程希寧；父程璉。嫡母余氏；生母閔氏。



參考文獻
程延可以是下列人物：


* 程延 (晉朝)，字孝長，程伯符第四十三世孫。

* 程延 (前秦)，前秦太醫令，後為苻生所殺。
程延（?—356 年），十六國前秦醫家。前秦壽光年間任太醫。

程延擔任太醫令，356 年，苻生晚上吃棗過多，第二天早晨不舒服，就召程延號脈診斷。程延說：「陛下沒有別的病，就是棗吃多了。」苻生大怒，說：「你不是聖人，怎麼知道我吃棗了！」隨後就把程延殺了。



參考文獻


* 《資治通鑑・第一百卷・晉紀二十二》
苟晞（3 世紀 —311 年），字道將，河內山陽人。西晉中期至末年重要將領，曾多次與外族作戰。官至大將軍，後被石勒擊敗被俘，不久被殺。



生平

早年事跡

苟晞起初是司隸部從事，司隸校尉石鑒極為器重他。後又獲東海王司馬越引薦，任通事令史，後調任陽平太守。永寧元年（301 年），齊王司馬冏擊敗篡位的趙王司馬倫，以大司馬身份輔政，苟晞則參大司馬軍事、尚書右丞；後調任尚書左丞，並考察屬下諸曹辦公，下級官員都對他十分忌憚。太安元年十二月（303 年），長沙王司馬乂擊敗司馬冏，苟晞亦因司馬冏倒台而被免官，但不久即被隨後上台的司馬乂任命為從事中郎。永安元年（304 年），司馬越帶晉惠帝北征鄴城，討伐皇太弟司馬穎，苟晞任北軍中候。晉惠帝兵敗被司馬穎俘獲後不久，司馬穎即被王浚和東嬴公司馬騰打敗而被逼帶同惠帝回洛陽，苟晞此時則投奔范陽王司馬虓，司馬虓承制任用苟晞行兗州刺史。

比擬韓白

永興二年（305 年），司馬穎舊將公師藩因見司馬穎被廢，於是在河北地區起兵，牧帥汲桑亦加入，並且進攻多個郡縣，逼近鄴城，司馬虓派苟晞和廣平太守丁紹一同擊退公師藩。次年苟晞更在白馬縣攻擊準備渡過黃河的公師藩，並將他斬殺。

永嘉元年（307 年），汲桑作亂，自稱大將軍並稱要為上一年被殺的司馬穎報仇，並進攻鄴城。新蔡王司馬騰兵敗被殺，鄴城陷落，汲桑於是打算南攻兗州。太傅司馬越知道後大驚，先命苟晞為前鋒進討汲桑。後見苟晞與汲桑部將石勒在陽平、平原相持並互有勝負，又領兵出鎮官渡，聲援苟晞。汲桑素來畏懼苟晞，於是在苟晞攻來時在城外設欄柵加強防衛，苟晞先讓士兵休息，只派單騎向汲桑部眾陳述禍福，汲桑部眾大驚而退入城，後苟晞又領兵在東武陽擊敗汲桑，汲桑退走；及後苟晞追擊汲桑和石勒，連破九壘。冀州刺史丁紹隨後又擊敗剛重整的汲桑軍，令事件得以平息。苟晞亦因而獲升撫軍將軍，都督青、兗諸軍事，封東平郡侯。因苟晞屢破強敵，建立起威名，當時的人更將他與韓信和白起比擬。

內外爭鬥

司馬越最初與苟晞交好，更結拜為兄弟。但司馬越司馬潘滔此時則建議司馬越自領當時由苟晞所統的兗州，說兗州是軍事要衝；又稱苟晞有大志，不會甘願只作臣下，長期統領兗州這個重要地區，一旦生變後果就會很嚴重。司馬越亦同意，於是接納潘滔的建議，自任丞相並領兗州牧，改苟晞領青州刺史、假節都督青州諸軍事，並且升苟晞為征東大將軍、開府儀同三司、加侍中，進封東平郡公，增加他的名號去討好苟晞，但二人關係自此卻出現裂痕。

永嘉四年（310 年），潘滔及尚書劉望等誣陷苟晞，令苟晞極為憤怒，上表請求斬殺潘滔等人，亦請司馬越的從事中郎劉洽為他的軍司，但司馬越都一概拒絕。苟晞於是與司馬越正式決裂，自各州郡宣告自己的戰功而陳述司馬越的罪狀。當時晉懷帝亦厭惡專權的司馬越，於是下詔支持苟晞，又命苟晞進攻在境內叛亂的王彌和石勒。此時王彌將領曹嶷正攻打青州，負責留守的苟純閉門固守，而曹嶷則集結兵力，連營數十里，苟晞回來後與曹嶷作戰，成功擊破。

次年正月苟晞再選精銳與曹嶷作戰，但因大風揚起風沙令苟晞戰敗，只好棄城夜逃，並遭曹嶷追擊，部眾都向曹嶷投降。苟晞逃到高平，在當地募兵數千人。此時，晉懷帝密詔苟晞討伐司馬越，司馬越亦截獲詔命，於是宣布苟晞的罪狀，並命楊瑁和裴盾討伐苟晞。苟晞派兵收捕河南尹潘滔，但被潘滔成功逃脫，另苟晞亦斬殺尚書劉曾和侍中程延。

司馬越見此而憂憤成疾，當年三月就在項縣去世，裴盾等人亦被叛亂的王桑殺死，晉懷帝於是命苟晞為大將軍、大都督、督青、徐、兗、豫、荊、揚六州諸軍事。

驕縱自害

苟晞見當時洛陽正有饑荒，四周亦有亂事，於是上表請求遷都倉垣，並派從事中郎劉會率船數十艘，宿衛五百人和一千斛穀糧護送懷帝遷都，晉懷帝答應但朝中官員卻因害怕潘滔而不肯遷都，宮中人員亦貪戀宮中財寶而不願離開。晉懷帝最終還是決定到倉垣，但因沒有足夠士兵守衛，出宮不久就被盜賊掠奪，被逼折返。不久漢國將領劉曜就率軍攻破洛陽，俘擄晉懷帝，豫章王司馬端和和郁等逃出洛陽投奔苟晞，苟晞置行臺，立司馬端為皇太子；而司馬端又承制命苟晞為太子太傅、都督中外諸軍、錄尚書。

苟晞原本出身寒微，今天身居重臣，因而十分自滿，蓄養婢女千人、侍妾數十，縱情享樂而且刑罰和施政的很苛刻。閻纘之子閻亨上書諫止更遭苟晞殺害。苟晞從事中郎明預知道後，即使抱病仍去見苟晞，以堯舜和紂王的對比勸諫他，終令苟晞面有愧色。但當時人心已離，無人再為苟晞效命，部將溫畿和傅宣都已叛離，同時石勒亦攻滅苟晞的盟友王讚，並且襲擊苟晞所駐的蒙城，苟晞被石勒所捕並署為左司馬。一個多月後，苟晞和王讚圖謀反叛石勒，石勒於是將他們殺死。



性格特徵


* 苟晞作風果斷而且嚴厲苛刻。苟晞的姨母前來投靠，苟晞亦供養甚厚，但一次姨母之子請求苟晞讓他為將，苟晞拒絕，說：「我不會寬恕干犯王法的人，你日後不會後悔嗎？」但他堅持，苟晞於是將他任命為督護。後來他犯法，苟晞依例處斬他，姨母叩頭懇求但苟晞不聽。及後則更換素服哭悼死者說：「殺你的是兗州刺史（苟晞當時的官職），為你哭喪的是苟道將（苟晞字道將）。」可見其執法的嚴苛。

* 苟晞任青州刺史時施政十分嚴苛，每日都會殺人，以至當時血流成河，人們於是叫他做「屠伯」。



家庭


* 苟純，苟晞弟弟，在苟晞麾下，曾代兄長領青州刺史。後和苟晞一同被石勒所殺。



延伸閱讀

[編]

　
: 《晉書 / 卷 061》，出自房玄齡《晉書》

　
:



參考資料


* 《晉書》（苟晞傳、東海王越傳、惠帝紀、懷帝紀、石勒傳上）

* 《資治通鑑》（卷八十四至八十七）
程廷珙（1443 年 —？），字獻之，江西饒州府浮梁縣人，民籍，明朝政治人物。進士出身。

早年出身縣學增廣生，後中舉江西鄉試第七十一名。成化十一年（1475 年），參加乙未科會試，得貢士第一百七十六名。殿試登進士第二甲第十六名。歷官福建布政司左參議，升廣西左參政。

曾祖父程子政。祖父程存禮。父親程仕傑。



參考
程廷祚（1691 年 —1767 年），初名默，字啟生，號綿莊。原籍安徽新安（今歙縣）。

祖父程紹伊自新安遷居金陵。程廷祚生於康熙三十年（1691 年），十四歲寫《古松賦》，受到洪嘉植的賞識，並說：「是子必為儒宗。」程晉芳稱其「志清而行醇，動止必蹈規矩」，康熙五十九年（1720 年）與李塨見面論學。程廷祚多批判八股科舉和程朱理學，「不依傍門戶，而能通漢宋之症」，姚鼐責難其「好議論程朱」，乃至「流於蔽陷之過而不自知」。乾隆三十二年（1767 年）卒。著有《大易擇言》、《易通》、《彖爻求是說》、《尚書通議》等。



評價

胡適很早就注意到程廷祚與顏李學派的關連，胡適還寫有《顏李學派的程廷祚》，推斷小說《儒林外史》中莊紹光的原型就是程廷祚。抗戰期間，北大印行《青溪全集》，1936 年 6 月胡適為之序。



注釋



參考書目


* 《金陵通傳》卷二十九《程延祚》
程廷策（？—？），字汝揚，號石峯，直隸徽州府休寧縣人，民籍，明朝政治人物。



生平

應天府鄉試第七十八名舉人。嘉靖三十二年（1553 年）中式癸丑科二甲第九十一名進士。工部觀政，授戶部山西司主事，丁父母憂歸。服闋補陝西司主事，署廣東司員外郎，歷陝西司郎中，先後監諸馬房、牛房、象房，主都門告緡，監十庫、監兌江西、監運大通橋、監太倉庫。既入署，兼攝廣東司、廣西司、山東司。出為辰州府知府，卒官。平生多著書，有《讀易瑣言》、《中星圖》、《忠孝經訂註》等。



家族

曾祖程永禎；祖父程天然；父程蓋興，母孫氏。兄汝台（監生）、汝廉（監生）、汝誠（生員）、弟廷訓、廷龍、廷佐。



參考文獻


* 汪道昆《辰州守程廷策傳》
程頊（？—？），字廷臣，江西廣信府上饒縣人，民籍，明朝政治人物。



生平

江西鄉試第九十一名舉人。成化二十三年（1487 年）中式丁未科三甲第二百二十五名進士。



家族

曾祖程原哲；祖父程禮能；父程純，母鄭氏。



參考文獻
程廷華（1848 年 —1900 年），字應芳，河北省深縣程家村人，董海川之徒，為程派八卦掌的創始者。



生平

程廷華自幼愛好武術，精通摔跤，因生計入京為學徒，後在北京崇文門外花市四條開設眼鏡舖，綽號「眼鏡程」。當時董海川在肅王府當差，以武藝聞名北京，在尹福的引薦下，程廷華上門挑戰，大敗，心悅誠服求其收為弟子。他在董海川門下學習八卦掌數年，得到董海川的認同，經常負責指導其他的師兄弟。在師兄弟中，他排行第三，又被稱為「程三」、「程三麻子」。

當時尹福在皇宮內傳授，稱為宮內派；而程廷華指導北京城中的弟子，被稱為宮外派或南城派。在董海川過世後，八卦掌因而分成尹派與程派二者，而又以程派較為盛行。

他與北京城內外的江湖人士來往密切，天津形意拳名家李存義與他交情甚好，甚至要門下弟子向他習藝，也因此讓八卦掌，與形意拳、太極拳門下有著良好的交流。張占魁向他學習八卦掌之後，以形意八卦掌之名開始授徒，因此有著「形意八卦不分家」的說法。

在八國聯軍攻進北京城時，因見到聯軍洋人欺壓平民，氣忿之下出手，最後在崇文門外磁器口河泊廣胡同東巷南口四十六號遭洋槍打中腹部而過世。遺體由其弟程殿華、其子程有龍運回北京東郊樓梓莊安葬。慈禧曾賜匾「技藝超群」，並讓程家後代入籍漢八旗，享受皇糧。



程派八卦掌

程派八卦掌又稱遊身八卦連環掌，掌勢較多，強調淌泥步、龍爪掌。

在程廷華死後，其弟程殿華回到故里，繼續傳授八卦掌。



弟子

程廷華的弟子極多，著名的弟子有程有龍、程有信、程有功、程有生、李文彪、馮俊義、高義盛等人。有許多人不曾掛名為弟子的武林人士，例如李存義、張占魁、尚雲祥、孫祿堂等人，皆曾得到他的指導。他無私的氣度，對於中國武術的發展有極大的貢獻。
程萬鍾（1420 年 —1479 年），字廷錫，四川省敘州府富順縣人，竈籍，治《易經》。



生平

十二月十七日生，行一，由國子生中式四川鄉試第十七名舉人，會試中式第二百七十名。年三十五歲中式景泰五年甲戌科第三甲第一百九十八名進士。



家族

曾祖程興祖；祖程文龍；父程瑋；母夏氏。慈侍下，妻葉氏。
程建人（1939 年 8 月 11 日 —），出生於上海，中華民國著名外交政治人物，天主教輔仁大學名譽法學博士，中國國民黨籍，現在已經退休。



經歷

程建人同胡志強和李大維等人一樣，是國民黨重點栽培的外交人才，並先後出任過立法委員、行政院新聞局長、外交部長、駐美代表、駐歐代表等職務。現在已經退休。

駐美代表

由於身為中國國民黨黨員，在 2000 年政黨輪替後，繼續為外交意識型態迥異的民進黨政府效力，並擔任駐美、駐歐代表等要職，又多涉及敏感的統獨、兩岸、對美關係等外交議題，其個人的政治態度立場一直是眾人的焦點。時任國民黨主席的連戰曾在一次公開場合對程建人說出「疾風知勁草」一語來評論他，由於此文下一句話是「板盪識忠臣」，因此外界揣測此語是在批評程建人在某些地方對民進黨政府的態度不夠強硬。但程建人本人表示身為外交人員，不能有藍綠的偏見，只有為國盡忠。

終其駐美代表任內，程建人處境相當尷尬，一方面他是國民黨黨員，自然難以取信於綠營人士，任內更曾發生吳淑珍在美國機場遭搜身事件，而且美國政府在統獨及兩岸問題上也不是全力支持台北，故經常遭綠營人士指責辦事不力。

而對於藍營，他由於希望取信於綠營，選擇與藍營減少接觸，例如他並無重新辦理黨員登記。在兩岸問題上，他因有公職在身而與藍營意見時有相左，而當連戰（連戰以往經常提拔他）在美國訪問時他不但未有陪同，而當時陳水扁正過境美國，他無可選擇之下只好以公職為重而陪伴在側。連戰更被代去的駐美副代表當眾羞辱，事後連戰夫人連方瑀因此當眾拒收程建人夫人所送的花。而被藍營人士指為賣友求榮。

當時總統陳水扁每當在統獨、對美關係及兩岸問題上出現新政策時，很少會在事前知會駐美代表處，此舉令美國政府對程建人感到不滿，認為他欠缺代表性。

不過在退休卸下職務後，適逢倒扁運動興起，程建人對媒體表示不排除參與支持百萬人民倒扁運動，顯露壓抑多年的國內政治立場傾向。

中國時報報導一年約四十歲女子報案供稱程建人性侵。全案由士林地檢署偵辦。程建人反駁對方是胡亂指控，全是惡意謊言。而在士林地檢署偵查之後，認為沒有具體事證，決定不起訴處分。



軼事


* 1999 年李登輝總統接受德國之聲採訪提出特殊兩國論時，即由程建人陪同。

* 2004 年民進黨政府連任成功而繼續執政，時任駐美代表的程建人表示不想續任，最後由時任駐歐代表的李大維接任該職，而程建人接任李的空缺，形成兩人職務互調的人事異動。

* 業餘時是古典音樂的愛好者，任職新聞局局長期間，曾以男中音獨唱的身分與台北世紀交響樂團公開演出（1998 年 6 月 3 日）



榮譽

中華民國勳章獎章


* 二等卿雲勳章（2004 年 8 月 5 日於台北總統府頒授）



參考文獻
程建軍（1956 年 8 月 —），男，漢族，河南襄城人，中國民間文藝家，現任中國民間文藝家協會副主席，河南省文學藝術界聯合會副主席，河南省民間文藝家協會主席。
程建國（1964 年 1 月 —），陝西涇陽人，農業推廣碩士，教授，民盟盟員，1985 年 7 月參加工作。中華人民共和國政治人物。



生平

程建國早年在陝西師範大學生物系生物專業學習，獲理學學士學位。畢業後擔任教職，先後任教於陝西省林業學校、楊凌職業技術學院。2001 年步入政壇，先後出任楊陵區副區長、楊凌示範區科教發展局副局長、農業林業局局長。2013 年 2 月出任陝西省政協提案委員會副主任、咸陽市副市長。因在脫貧攻堅戰中作出貢獻，在 2021 年 2 月 25 日全國脫貧攻堅總結表彰大會上，程建國被授予「全國脫貧攻堅先進個人」榮譽稱號。



參考
程建寧（1932 年 —），湖北廣水人，中國人民解放軍將領、中國人民解放軍中將。

1995 年，授予中國人民解放軍中將，曾任中央軍委辦公廳主任。



參考
程建平(1964 年 8 月 —)，男，安徽休寧人，中國核技術與防護專家。主要從事核技術應用、輻射防護與環境保護等領域的研究。



生平

1986 年 8 月參加工作，1984 年 12 月加入中國共產黨。2013 年 5 月，任清華大學常務副校長。2016 年 12 月，任北京師範大學黨委書記。2018 年 1 月，當選第十三屆全國政協委員。



參考文獻
程建評（1991 年 12 月 11 日 —），藝名 JIM，是出身臺灣臺南市的站立喜劇演員、喜劇寫手。表演型式以地獄哏、黑色幽默知名，自述曾經從事包含餐飲、服飾、有機農業。2018 年受曾博恩邀請加入薩泰爾娛樂，成為《博恩夜夜秀》節目寫手及街訪單元《JIM 派特報員》（至第二季）主持。即使退出該節目製作後，依然與薩泰爾娛樂合作演出喜劇表演。2020 年 1 月 17 日創立頻道，頻道影片內容為站立喜劇。原計劃於 2021 年舉辦個人脫口秀專場，因受疫情影響推遲該演出。2022 年與藝人陳大天、上班不要看成員曹小歐一同舉辦校園巡迴脫口秀。

目前擔任 23 喜劇俱樂部每周二的 Open Mic《吉姆來敲門》主持，以及 Comedy Plus 卡米地 + 每周日《Sunday Night with Jim》主持



喜劇作品

卡米地喜劇俱樂部

薩泰爾娛樂

博恩夜夜秀

「博恩夜夜秀」是薩泰爾娛樂製作的脫口秀，製作人謝政豪、主持人曾博恩和所屬團隊製作的節目，並予以現場觀眾親臨棚內錄影及網路分段觀看。節目以美式脫口秀的形式呈現，亦為臺灣第一個開放網路募資的脫口秀節目。JIM 在 2018-2020 年間擔任該節目喜劇演員及寫手。

瓏瓏吉姆大冒險

JIM 派特報員

其他

火烤大賽 Roast Battle

由薩泰爾娛樂在 23 喜劇俱樂部舉辦的現場喜劇表演，模仿美式喜劇中的 Roast（吐槽）形式，以單敗淘汰制進行比賽，JIM 經四場比賽後得到冠軍。

炎上 BURN

同樣為薩泰爾娛樂舉辦的 Roast 表演，但並非比賽，而是由主持人（炎上大將軍）與來賓（火伴）共同吐糟主秀的表演，JIM 於此系列前三場表演中分別擔任炎上大將軍、火伴等角色，但並未參與加演場《炎上　澎恰恰》。



爭議


* 2019 年 4 月 1 日，在臉書上發文以愛滋病感染開玩笑。

* 2021 年 4 月 8 日 (隔日上傳演出錄影)，臺鐵 408 次太魯閣號事故六天後，在 23 喜劇俱樂部的站立喜劇表演中以霧社事件與翻車魚隱喻該交通事故。後於隔周的表演中回應網友對其表演的批評。

* 2022 年 4 月 26 日，在臉書上發文以 Youtuber 阿翰的網路梗九天玄女比喻航空器失事的錄音檔。



注釋



參考資料



相關條目


* 薩泰爾娛樂

* 站立喜劇

* 博恩夜夜秀

* 卡米地喜劇俱樂部

* 台灣 YouTube 頻道訂閱人數排行榜

* 在 YouTube 上訂閱人數最多的用戶列表



外部連結


* YouTube 上的 JIM 程建評頻道

* 程建評的 Instagram 帳戶

* 程建評的 Facebook 專頁
程開甲（1918 年 8 月 3 日 —2018 年 11 月 17 日），男，江蘇吳江人，中華人民共和國核武器技術專家，中國科學院院士，「兩彈一星功勳獎章」獲得者。



生平

程開甲是江蘇省吳江市（今江蘇省蘇州市吳江區）人。1931 年，13 歲的程開甲離開家鄉江蘇吳江，考入距家 20 公里的嘉興秀州中學。1937 年，程開甲獲浙江省教會中學英文演講比賽第一名。

1941 年畢業於浙江大學物理系，後留校任教至 1946 年，留校期間完成了多項重要的相對論和基本粒子的研究。1946 年 8 月赴英國愛丁堡大學留學，為物理學家馬克斯・玻恩的研究生，期間主要從事超導電性雙帶理論的研究。1948 年獲博士學位。之後任英國皇家化學工業研究所研究員。之後程開甲受到紫石英號事件的鼓舞，於 1950 年回到浙江大學物理系任教。1952 年調到南京大學物理系。1956 年 2 月，加入中國共產黨。1960 年起參與中國第一顆原子彈研究，1962 年調任國防科委核試驗基地研究所副所長、所長。他是中國第一顆原子彈研製的開拓者之一、核武器試驗事業的創始人之一，核試驗總體技術的設計者。後任國防科工委科學技術委員會正軍職常任委員。1984 年，調任北京，任國防科工委（總裝備部）科技委常任委員、顧問，國家超導專家委員會顧問。1999 年 9 月 18 日，程開甲在北京人民大會堂被授予兩彈一星功勳獎章。

2017 年 7 月，中央軍委主席習近平簽署命令，授予程開甲等 10 位同志「八一勳章」。2017 年 7 月 28 日，中央軍委頒授「八一勳章」和授予榮譽稱號儀式在北京八一大樓舉行。中共中央總書記、國家主席、中央軍委主席習近平向程開甲等 10 位「八一勳章」獲得者頒授勳章和證書，這也是「八一勳章」的首次頒授。程開甲同時還獲稱「忠誠奉獻、科技報國的『兩彈一星』元勛」這一榮譽稱號。

2018 年 11 月 17 日，程開甲在北京逝世，享嵩壽 100 歲。



獎項與榮譽


* 1999 年 9 月，榮獲中共中央、國務院、中央軍委所授予的「兩彈一星功勳獎章」。

* 2014 年 1 月，和化學物理學家張存浩同獲中國國家最高科學技術獎。

* 2018 年 3 月，獲頒「影響世界華人大獎」終身成就獎。

* 2019 年 2 月，當選 2018 年感動中國年度人物。

* 2019 年 9 月，被授予「全國敬業奉獻模範」榮譽稱號。

* 2019 年 9 月，被授予「人民科學家」國家榮譽稱號。



著作


* 《固體物理學》

* 《超導機理：雙帶理論還是成對理論》



參見


* 596 工程、中國核試驗基地

* 兩彈一星、兩彈一星功勳獎章



外部連結


* 程開甲 - 中國科學院 （頁面存檔備份，存於網際網路檔案館）

* 超導機理：雙帶理論還是成對理論 - 程開甲 - Google Books



參考文獻
程异（8 世紀？—819 年），字師舉，京兆府長安縣（在今陝西省西安市境）人。唐代政治人物，唐順宗時，參與王叔文領導的永貞改革，失敗後，成為被流放的八司馬之一。唐憲宗時，短暫的擔任同中書門下平章事（實質宰相）。子程巽。



簡介

出身世族，明經及第，補鄭縣縣尉。受王叔文的提拔，進入永貞改革的團隊，廢除宮市、五坊小兒等弊政，整肅宦官兵權，順宗被宦官俱文珍發動的政變逼退，號稱太上皇；唐憲宗李純即位，史稱永貞內禪，貶郴州司馬，為「八司馬」之一。

後因吏部尚書李巽推薦，授侍御史，任鹽鐵揚子院留後，又遷任淮南等道兩稅司。

元和十三年（818 年）九月，以工部侍郎同中書門下平章事，猶領鹽鐵。

次年四月去世，程異逝世於官邸，無遺產，世重其廉。追贈尚書左僕射，諡曰恭。

裴度說他：「程异雖人品庸下，然心事和平，可處煩劇，不宜為相。」



注釋



延伸閱讀

[編]

　
: 在維基文庫閱讀此作者作品

　
: 《舊唐書 / 卷 135》，出自劉昫《舊唐書》

　
: 《新唐書 / 卷 168》，出自《新唐書》



參考書目
程式可以指：


* 程序

* 程式 (醫學家)，字心源，號建武居士、道承、若水，明朝醫學家

* 程式 (宣德進士)，明朝政治人物

* 程式 (天順進士)，明朝政治人物

* 程式 (1900 年)，軍人，黃埔軍校第一期畢業

* 程式 (1911 年)，中國電機工程學家
程式（1400 年 —1449 年），直隸蘇州府常熟縣人，民籍。明朝政治人物。進士出身。



生平

應天府鄉試第二十九名。宣德八年（1433 年），參加癸丑科會試，得貢士第十三名。殿試登進士第二甲第二十七名。正統元年，授南京兵部職方司主事，後改刑部員外郎。正統十三年，跟從明英宗北征，土木之變中殉難。



家族

曾祖父程元卿。祖父程伯里。父親程士通。



參考文獻
編程領域的可讀性指的是：人類讀者對於原始碼的功能意圖、流程控制和操作運行是否容易把握。

可讀性之所以重要，乃是由於：程式設計師會把大部分時間，花費在閱讀並試圖理解和修改現存原始碼上面，而不是編寫新的原始碼。沒法讀的代碼往往導致缺陷、低效與代碼重複。有研究發現，一點點簡單的可讀性改造，也能讓代碼變得簡短，並且大大縮短看懂所需的時間（就像一段沒有善加利用標點符號，部分帶有冗贅詞語的文句。稍微修改該文句，改以適當的方式使用標點符號，將冗贅詞語修正。就能提高讀者讀取文句訊息的流暢度）。

遵循固定的代碼風格往往會改善可讀性。然而，可讀性並不只是跟編程的風格有關。還有諸多因素會對可讀性有所改善，而幾乎甚至完全不會影響到計算機編譯並執行原始碼的效能。這些因素包括：


* 不同的縮進風格（空白字元）

* 注釋

* 任務分解

* 命名規則 —— 用於各種對象，諸如變量、類、子程序，等等。
程式理解（Program comprehension）是計算機科學的領域之一，著重軟體工程師維護已有程式碼的方式。程式理解中有包括認知，也有其他流程，已識別出這些流程，這些也是研究的主題。其研究結果會用來開發工具以及進行訓練。

軟體維護工作包括以下五種：適應性維護、修正性維護、完善性維護、代碼復用及代碼槓桿（code leverage）。

程式理解領域的計算機科學家有 Ruven Brooks、Ted J. Biggerstaff 及 Anneliese von Mayrhauser。



相關條目


* 程序分析

* 程序切片



參考資料



外部連結


* Using a behavioral theory of program comprehension in software engineering （頁面存檔備份，存於網際網路檔案館）

* The concept assignment problem in program understanding （頁面存檔備份，存於網際網路檔案館）

* Program Comprehension During Software Maintenance and Evolution （頁面存檔備份，存於網際網路檔案館）
在採用段式記憶體管理的架構中，代碼段（code segment /text segment）通常是指用來存放程式執行代碼的一塊記憶體區域。這部分割區域的大小在程式執行前就已經確定，並且記憶體區域通常屬於唯讀，某些架構也允許代碼段為可寫，即允許程式自修改（self-modifying code）。
在代碼段中，也有可能包含一些唯讀的常數變數，例如字串常數等。

作業系統在裝載一個程式時會進行行程位址空間的分段，而代碼段通常處於最底部，即最低位址部分，而堆和棧在高處，所以在允許代碼段可寫的架構上，當堆或棧記憶體溢位時，代碼段中的資料就會開始被覆蓋。



參見


* BSS 段

* 資料段

* 記憶體管理

* 動態記憶體分配

* 段式管理
代碼混淆（Obfuscation）是將電腦程式的原始碼或機器碼，轉換成功能上等價，但是難於閱讀和理解的形式的行為。

代碼混淆可以用於程式原始碼，也可以用於程式編譯而成的中間代碼。執行代碼混淆的程式被稱作代碼混淆器。目前已經存在許多種功能各異的代碼混淆器。

其主要工作有：


* 將代碼中的各種元素，如變數、函式、類的名字覆寫成無意義的名字。比如覆寫成單個字母，或是簡短的無意義字母組合，甚至覆寫成「\_\_」這樣的符號，使得閱讀的人無法根據名字猜測其用途。

* 重寫代碼中的部分邏輯，將其變成功能上等價、但是更難理解的形式。比如將 for 迴圈覆寫成 while 迴圈、將迴圈覆寫成遞迴、精簡中間變數，等等。

* 打亂代碼的格式。比如刪除空格、將多行代碼擠到一行中、或者將一行代碼斷成多行等等。

* 添加花指令，通過特殊構造的指令來使得反組譯器出錯，進而干擾反編譯工作的進行。

代碼混淆器也會帶來一些問題。主要的問題包括：


* 被混淆的代碼難於理解，因此除錯也變得困難起來。開發人員通常需要保留原始的未混淆的代碼用於除錯。

* 對於支援反射的語言，代碼混淆有可能與反射發生衝突。

* 代碼混淆並不能真正阻止反向工程，只能增大其難度。因此，對於對安全性要求很高的場合，僅僅使用代碼混淆並不能保證原始碼的安全。



白盒密碼

白盒密碼（ White-box cryptography）是指夠抵抗白盒攻擊的密碼演算法，以及對應實現。常見的實現方式是藉助高強度的代碼及演算法混淆。



參考文獻



外部連結


* Javascript 代碼混淆器 on GitHub （頁面存檔備份，存於網際網路檔案館）

* JavaScript Obfuscator Tool
程式開發領域，代碼中的任何可能導致深層次問題的症狀都可以叫做代碼異味（Code smell）。

通常，在對代碼做簡短的回饋迭代時，代碼異味會暴露出一些深層次的問題，這裡的回饋迭代，是指以一種小範圍的、可控的方式重構代碼。基於這些暴露的問題，人們會進一步的檢查設計和代碼中是否還存在別的代碼異味，然後再做進一步的重構。從負責重構的開發者的角度來看，代碼異味可以啟發何時重構，如何重構。因此，可以說代碼異味推動著重構的進行。

該術語似乎由肯特・貝克於 90 年代後期，在 WardsWiki 上首次使用。且自從在 _Refactoring. Improving the Design of Existing Code_. 被提到過，使用率就大大的提高。代碼異味同時也是敏捷開發者常用的術語。

什麼是，或者不是代碼異味，是一個主觀的判斷，通常因語言、開發者、開發方法的不同而不同。對於 Java 開發語言，有些工具，比如 Checkstyle、PMD 和 FindBugs 可以自動檢測一些代碼異味。



常見的代碼異味


* 代碼重複：相同或者相似的代碼存在於一個以上的地方。

* 長方法：一個非常長的方法、函式或者過程。

* 巨類：一個非常龐大的類。

* 太多的參數：函式或者過程的冗長的參數列使得代碼可讀性和品質非常差。

* 特性依戀：一個類過度的使用另一個類的方法。

* 親密關係：一個類依賴另一個類的實現細節。

* 拒絕繼承：子類以一種『拒絕』的態度，覆蓋基礎類別中的方法，換句話說，子類不想繼承父類別中的方法，參考里氏替換原則。

* 冗餘類 / 寄生蟲：一個功能太少的類。

* 人為的複雜：在簡單設計已經滿足需求的時候，強迫使用極度複雜的設計模式。

* 超長識別碼：尤其，在軟體工程中，應該毫無保留的使用命名規則來消除歧義。

* 超短識別碼：除非很明顯，一個變數名應該反映它的功用。

* 過度使用字面值：為提高可讀性和避免編碼錯誤，應該使用命名常數。此外，字面值可以且應該在可能的情況下，獨立存放於資原始檔或者指令碼中，在軟體部署到不同區域時，可以很方便地在地化。



參見


* 反模式

* 編程原則

* 靜態程式分析工具列表

* 軟體腐敗

* 設計異味

* 軟體缺陷指標



參照



外部連結


* CodeSmell at c2.com（頁面存檔備份，存於網際網路檔案館）

* Taxonomy of code smells
代碼稽核（Code audit）是一種以發現程式錯誤，安全漏洞和違反程式規範為目標的原始碼分析。它是防禦性編程範式的一部分。該範式的目標是在程式發布前減少錯誤。C 和 C++ 原始碼是最常見的分析物件，因為其他更高層的語言如 Python 擁有更少可能存在漏洞的函式（比如不檢查邊界條件）。



參考文獻
代碼膨脹（英語：Code bloat）是指程式碼（可以是原始碼，也可以是機器碼）生成的程式檔案過大、執行緩慢或者有其他浪費資源的情況。代碼膨脹可能由編寫代碼的語言、編譯時所用的編譯器，或者編寫的程式設計師導致。代碼膨脹通常指原始碼過於冗長，由程式設計師的編碼習慣和程式語言的設計導致，代碼膨脹也可以指編譯後的代碼或者二進位檔案占用空間過大（膨脹）。



常見原因

通常來說，膨脹的代碼是由於程式設計師使用了較多的代碼行，而非使用了解決問題的最佳方案。

程式設計師寫出膨脹代碼的部分原因有：


* 過度設計：
  
* 過度使用物件導向（OOP）結構，如類和繼承。這可能導致麻煩且混亂的設計，使代碼量多於必要。
  
* 不正確的使用設計模式 —— 物件導向的開發人員可能在不需要使用設計模式的地方強行使用，從而導致問題。

* 沒有用適當的封裝方案使代碼可重複利用，導致代碼重複

* 宣告式編程 —— 在命令式或物件導向語言中實現宣告式編程風格通常會導致代碼膨脹。

* 過度的迴圈展開 —— 不理智的過度最佳化效能。

* 過度使用多重 `If` 條件語句 —— 而沒有使用如尋找表。

一些原生編譯器推導膨脹的例子包括：


* 死代碼 —— 代碼被編譯，但從未被使用。

* 冗餘計算 —— 重新計算已經計算過的表達式。這種冗餘計算經常在實現防止緩衝區溢位的「邊界檢查」代碼時產生。 尖端的編譯器只將其計算一次，使用常用子表達式消除和迴圈不變代碼外提技術消除冗餘計算。

* C++ 中採用的模板系統的一些原生實現是編譯該語言的編譯器之不足之處的例子。實現此特性的原生編譯器可以為使用的每個資料類型引入一個模板類版本的方法。但是，這也導致被編譯的方法可能永遠不會被用到，導致代碼膨脹。更尖端的編譯器和連結器能檢測多餘的副本並將其丟棄，或者避免產生，從而減少膨脹。因而，使用能放棄死代碼的編譯器可以使模板代碼產生更小的二進位檔案。



例子

下列 JavaScript 程式碼演算法有著大量的冗餘變數、不必要的邏輯，以及低效的字串連接。

而相同的邏輯可以用下列方式更有效地表達：



不同語言的代碼密度

各種電腦語言的代碼密度有著很大差別，以「緊湊」語言（例如領域特定語言、微軟 P 代碼 、執行緒代碼）編寫的程式以及緊湊語言（以機器碼編寫）的直譯器通常比直接用機器語言編寫程式消耗更少的代碼量。



減少膨脹

減少代碼膨脹的一些技術包括：


* 重構經常使用的代碼序列為子程式，並從多個位置呼叫該子程式，而不是在各個位置上複製並貼上這段代碼。

* 重新使用已經被編寫的子程式（可能利用附加參數），而不是從頭編寫它們的新代碼。



參見


* 軟體膨脹

* 極簡主義
代碼複用，也被稱作軟體複用。就是再利用已有的代碼，或者相關的知識去編寫新的代碼來構造軟體。



概要

可複用的代碼以及相關的知識與需求文件，設計，測試用例一樣都是軟體開發的組織內部所不可或缺的資產。事實上，最早為人所知的複用正是從代碼複用開始的。所謂的代碼複用，本質上就是對曾經編寫過的代碼的一部分甚至全部重新加以利用，從而構建新的程式。使用這種方法就可以將程式設計師從費時費力的重複勞動中解放出來。

程式庫是一種代碼複用的很好的形式。程式設計師可以建立內部抽象以便程式的部分代碼可被複用，或者直接建立一個自訂庫給自己使用。用于衡量代碼可複用程度的特性通常包括：模組化，低耦合，高內聚，資料封裝以及 SOC。

如果編寫代碼時要利用已有的代碼，則必須定義某種介面或者通信的方法。這通常包含了對子程式，物件，類或原型的參照或呼叫。

對於以某個已有程式的舊版本作為出發點來進行新版本的開發的做法也可被視為一種代碼複用。

還有一種做法也可被視為代碼複用。即直接從已有程式中將一段代碼拷貝出來並貼上到另一個地方作為新程式的一部分。但是這種做法往往會使得程式設計師最終陷入重複代碼過多的問題。

為了使代碼複用更加方便，更加迅速並且更加體系化，相關的研究者也進行了大量的研究。物件導向程式設計就是以此為目的而衍生出來的方法。更加新一點的方法就是代碼自動生成，它會基於使用者設定的一系列參數來自動生成程式的代碼。與此類似的概念被稱之為元程式設計。



軟體複用

軟體複用是一種電腦軟體工程方法和理論。60 年代的「軟體危機」使程式設計人員明白難於維護的軟體成本是極其高昂的，當軟體的規模不斷擴大時，這種軟體的綜合成本可以說是沒有人能負擔的，並且即使投入了高昂的資金也難以得到可靠的產品，而軟體重用的思想是解決這一問題的根本方法。

軟體複用的主要思想是，將軟體看成是由不同功能部分的「組件」所組成的有機體，每一個組件在設計編寫時可以被設計成完成同類工作的通用工具，這樣，如果完成各種工作的組件被建立起來以後，編寫一特定軟體的工作就變成了將各種不同組件組織連接體來的簡單問題，這對於軟體產品的最終品質和維護工作都有本質性的改變。



複用的類型


* 機會性的代碼複用

　
: 開發團隊在專案開始時便已知可複用的代碼或組件的存在，因而決定進行代碼複用。


* 有計劃的代碼複用

　
: 開發團隊從戰略角度為了日後的開發能夠複用代碼而進行設計。



複用的形式

程式庫

編寫程式庫是進行代碼複用最常見的方法。很多共通的操作，比如檔案的讀 / 寫，作業系統資訊的取得的動作都會被封裝在程式庫中，然後由軟體開發人員來呼叫。使用程式庫的一大優點就是它所提供的操作都是經過充分測試的，但是缺點則是無法對程式庫提供的操作的具體實現進行調整，同時程式庫也要求軟體開發人員花大量時間去學習它的用法。

設計模式

設計模式對於同類的相似問題提供了通用的解決方法。它所提供的是概念上的解決方法，對於具體問題往往還需要具體實現一份代碼。利用抽象類或介面往往可以在特定的設計模式中達到代碼的複用。

應用框架

軟體開發人員往往可以通過第三方的應用程式或者框架來實現對一個程式的大範圍複用，這可以有效地提高生產效率。但缺點在於第三方的應用程式或者框架往往只在某個特定的應用範圍內才可以適用。



參見


* 一次且僅一次

* 繼承

* 設計模式

* 程式設計方法學



外部連結


* Software Reuse NASA

* RiSE - Reuse in Software Engineering

* ReNews - SoftwareReuse and Domain Engineering

* Koders Open Source Search Engine

* merobase - a Search Engine for Software Components（頁面存檔備份，存於網際網路檔案館）
代碼重複（英文：duplicate code，也叫代碼複製）在程式設計中表示一段原始碼在一個程式，或者一個團體所維護的不同程式中重複出現，是不希望出現的現象。為避免巧合，只有一定數量的代碼完全相同才能判定為代碼重複。重複代碼的段落有時被稱為代碼複製，自動檢測代碼重複的過程叫做複製檢測。



產生

產生代碼重複可能有以下幾個原因：


* 因為某段代碼能用就複製貼上過來。多數情況下代碼會有少許不同，如變數名稱改變或代碼增刪。

* 因為要實現與已有功能類似的功能，開發者獨立寫出與別處相似的代碼。研究表明獨立撰寫的代碼在語法上不一定相似。

* 抄襲，即不經允許複製代碼，且未列出著作權歸屬。

* 代碼系自動生成。這時可能需要重複代碼以提高效能或方便開發。註：這裡代碼重複是指碼產生器自動生成的代碼，而非生成器本身的代碼。



成本與效益

不恰當的代碼重複表明程式設計不良，例如缺少抽象。這會導致程式過長，錯誤更多，進而難以維護，因為需要人工尋找並修改重複的部分。然而由於種種原因，適當的代碼重複難以避免，例如給與已有裝置相似的新裝置寫驅動程式時，複製代碼能使開發更便捷。

當複製具有軟體漏洞的代碼時，如果開發人員不知道這樣的副本，則複製的代碼中可能會繼續存在漏洞。代碼重構可以改善許多軟體的度量衡標準，例如原始碼行數，循環複雜度和耦合度。這可能會縮短編譯時間，降低認知負載，減少人為錯誤，減少被遺忘或被忽視的代碼。

但並不是所有的代碼重複都可以被重構。如果程式語言提供不充分或過於複雜的抽象，複製或許是具有速度效益上的解決方式，特別是修改代碼使用的編輯器如有支援區塊 (行) 編輯的功能。而且，重構時破壞代碼的風險可能會超過維護的效益。重複的代碼似乎不會比不重複的代碼更容易出錯。使用開源方式共享代碼組件，而不是在軟體組態管理的倉儲庫之間複製它們，也可以減少複製。



檢測

檢測代碼重複的手段有：


* Baker 演算法

* Rabin–Karp 字串搜尋演算法

* 利用抽象語法樹

* 視覺化檢測器

* 矩陣計數檢測



例子

以計算整數陣列的平均值的代碼片段為例

這兩個迴圈可以覆寫為一個函式：

利用以上函式可以寫出無重複的原始碼



參見


* 代碼異味

* 一次且僅一次

* 抽象化 (電腦科學)
程式穀（?—?），江西省南昌府新建縣人，清朝政治人物、進士出身。
光緒二十四年（1898 年），參加光緒戊戌科殿試，登進士二甲 120 名。同年五月，以主事分部學習。康有為門生。曾因參加維新變法被捕，後幸獲釋放。民初被選為國會議員，並任北京孔教大學教授。
。



參考文獻

梁啓超《戊戌政變記・康廣仁傳》
軟體設計師的工作，受到系統架構師的影響。當系統架構師決定了整個系統架構後，軟體設計師會試著實作一個系統原型。

系統原型的目的，在驗證系統架構師提出的架構。當架構過於複雜，或開發成本過高時，軟體設計師必須要求系統架構師，修改提出的架構，因為在實務上，因為成本、技術等關係，是無法在經濟的狀況下達成。

軟體設計師，必須對軟體技術十分專長，也必須對客戶的需求有一定程度的了解。在系統原型中，軟體設計師會實作多個程式範型 (Program Pattern)，每個程式範型，對應到一種客戶需求的程式類型。

系統原型開發成功後，後續的團隊，就可以使用完成的程式範型，快速地將客戶的需求，轉化為系統程式。



參見


* 軟體開發

* 軟體工程

* 軟體開發流程
程式語言（Programming Language）大致可以分為五個世代。


* 第一代語言：機器語言

* 第二代語言：組合語言

* 第三代語言：高階語言，例如 C

* 第四代語言：極高階語言，例如 SQL

* 第五代語言：邏輯導向語言，又稱自然語言



世代

第一代

第一代語言是機器語言，由０和１組成，可以由處理器直接執行。執行速度最快，編輯難度高，可讀性低。

第二代

第二代語言是組合語言，屬於低階語言，但可讀性較高。要使用組譯器（Assembler）譯成機械碼，才可由處理器執行。

第三代

第三代語言是高階語言，較易被人類理解，包括常用的 C／C++、C#、Objective- C、Java、Pascal 和 Visual Basic 等等……

高階語言要使用預處理器、編譯器和連結器翻譯，才可產生執行檔。

第四代

第四代語言又稱為查詢語言、非程式導向語言或極高階語言，語法較接近人類語言，例如 SQL。

SQL 可以使用 select, from, order by 等等的指令查詢和排序資料庫內容。如果使用高階語言排序資料，我們須使用兩個 for 迴圈。

第五代

第五代語言又稱為自然語言或邏輯導向語言，目前主要用於人工智慧（AI）研究領域。它沒有特別語法，能夠讓電腦直接處理人類語言所寫的問題。
程式語言理論（英語：Programming language theory）是電腦科學的一個分支，研究程式語言的設計、實現、分析、描述和分類及其各自的特點。它屬於電腦科學，既依賴又影響著數學、軟體工程、語言學，甚至認知科學。



歷史

從某種角度來看，程式語言理論的歷史，甚至比程式語言本身的發展更久遠。儘管阿隆佐・邱奇與史蒂芬・科爾・克萊尼在 1930 年代發明的 Lambda 演算被一些人認為是世界上第一門程式語言，但其初衷是用於對計算進行建模，而不是作為一種程式設計師向電腦系統描述演算法的手段。許多現代的函式語言程式設計語言都聲稱自己是為 Lambda 演算提供了「一點包裝」，並能輕鬆地以其解釋。

世界上第一門程式語言是由康拉德・楚澤於 1940 年代設計的 Plankalkül，但其直到 1972 年才廣為人知，更是到 1998 年才被實現。Fortran 則是第一門大獲成功的高階程式語言，由約翰・巴科斯領導的 IBM 研究者們在 1954-1957 年間實現。Fortran 的成功使一些科學家聯合起來研究一種「通用的」電腦語言，並最終帶來了 ALGOL 58；麻省理工學院的約翰・麥卡錫則開發了 Lisp，其為第一門源自學術界而取得成功的程式語言。隨著 1960 年代這些起初的嘗試獲得成功，程式語言逐漸成為熱門的研究物件，並延續至今。



子學科及相關領域

程式語言理論中存在著幾個研究領域，或者對程式語言理論產生了深遠的影響，其中許多有相當大的重疊。此外，PLT 還利用了數學的許多其他分支，包括可計算性理論、類型論和集合論。

形式語意學

在計算理論中，形式語意學是關注計算的模式和程式設計語言的含義的嚴格的數學研究的領域。

語言的形式語意是用數學模型去表達該語言描述的可能的計算來給出的。

形式語意學（formal semantics），是程式設計理論的組成部分，以數學為工具，利用符號和公式，精確地定義和解釋電腦程式設計語言的語意，使語意形式化的學科。

提供程式設計語言的形式語意的方法很多，其中主要類別有：


* 指稱語意學，著重於語言的執行結果而非過程，包括域理論；

* 操作語意學，例如抽象機（象 SECD 抽象機），著重於描述語言的過程；

* 公理語意學，如 謂詞變換語意學和代數語意學。

類型論

類型論提供了設計分析和研究型別系統的形式基礎。實際上，很多電腦科學家使用術語「類型論」來稱呼對程式語言的類型語言的形式研究，儘管有些人把它限制於對更加抽象的形式化如有類型 lambda 演算的研究。

程式分析

程式分析是指自動分析一個程式的包括正確性、健壯性、安全性和活躍性等特徵的過程。 程式分析主要研究兩大領域：程式的最佳化和程式的正確性。前者研究如何提升程式效能並且降低程式的資源占用，後者研究如何確保程式完成預期的任務。

比較程式語言分析

比較程式語言分析旨在根據程式語言的特點將其分類為不同類型，程式語言的大類通常被稱為程式設計範式。

泛型和元程式設計

是指某類電腦程式的編寫，這類電腦程式編寫或者操縱其它程式（或者自身）作為它們的資料，或者在執行時完成部分本應在編譯時完成的工作。

領域特定語言

指專注於某個應用程式領域的電腦語言。

編譯原理

編譯原理是編寫編譯器的理論。編譯器的操作傳統上分為語法分析 (掃描和解析)、語意分析 (確定程式應該做什麼)、最佳化 (根據某些指標改行程序的效能，通常是執行速度) 和代碼生成 (用某種目標語言生成和輸出等價的程式 (通常是 CPU 的指令集)。

執行時系統

指一種把半編譯的執行碼在目標機器上執行的環境，介乎編譯器及直譯器的執行方式。包括虛擬機器、垃圾回收和外部函式介面。
程毅中（1930 年 3 月 —），筆名程弘，男，江蘇蘇州人，中國古代文學學者，中央文史研究館館員，全國古籍保護專家委員會成員。



生平

1950 年考入燕京大學國文系，1955 年畢業於北京大學中文系，1956 年考入北京大學中文係為副博士研究生。

1958 年 12 月分配到中華書局文學組，1981 年被任命為中華書局副總編輯，1983 年評定編審職稱，1993 年獲政府特殊津貼。

1995 年 12 月被聘任為中央文史研究館館員。2007 年受聘為全國古籍保護專家委員會成員。



主要著作


* 《古小說簡目》

* 《唐代小說史話》

* 《宋元小說研究》

* 《古代小說史料漫話》

* 《古體小說論要》

* 《近體小說論要》

* 《中國詩體流變》

* 《古籍整理淺談》

* 《月無忘齋文選》

* 《王船山詩文集》（點校）

* 《海瑞集》（點校）

* 《徐渭集》（點校）

* 《隋唐嘉話》（點校）

* 《玄怪錄・續玄怪錄》（點校）

* 《燕丹子》（點校）

* 《花影集 》（點校）

* 《雲齋廣錄》（點校）

* 《輪迴醒世》（點校）

* 《古體小說鈔》（編纂）

* 逯欽立《先秦漢魏晉南北朝詩》（編審）

* 高亨《文史述林》（編審）

* 葉德均《戲曲小說論叢》（編審）

* 孫楷第《滄州集》（編審）

* 夏承燾《月輪山詞論集》（編審）



參考資料



外部連結
程懷亮（也作程知亮、程處亮、程弘亮）（?—?），唐朝凌煙閣二十四功臣之一程知節次子，濟州東阿（今山東東阿）人。貞觀七年（633 年），尚唐太宗第十一女清河公主李德賢，當時清河公主時年十歲。授程懷亮駙馬都尉、左衛中郎將、終寧遠將軍，封東阿縣公（盧國公由大哥程處默襲爵），食邑一千戶，死後陪葬昭陵。



傳記資料


* 《舊唐書》列傳第十八・程知節傳
程張迎，MH（英語：Ching Cheung-ying，1958 年 5 月 31 日 —），香港民主派人士，前香港沙田區議會主席兼新田圍選區議員。



背景

程張迎祖籍安徽省黃山市歙縣，同宗的程氏祖先計有清代詩人程夢星。他在 1970 年至 1977 年就讀喇沙書院。及後於 1977 年至 1981 年間修畢香港中文大學文學士課程，主修中國語言及文學（新亞書院），1986 年完成香港中文大學教育學院中國語言及文學學位，2006 年取得香港中文大學研究院教育碩士資格。他曾於拔萃男書院任教中國語文及中國歷史科。任職教師時，於 2002 年反對拔萃男書院轉為直資中學，2018 年退休。同時，程亦是西九文化區管理局、香港教育專業人員協會（教協）及香港民主黨成員。

程張迎於 1980 年代開始從政，在 1985 年香港區議會選舉中當選為車公廟區議員。1988 年香港區議會選舉中連任。1991 年香港區議會選舉時自動當選。1994 年選區劃界後，改在新田圍當選，以後連任新田圍區議員至今。在 1995 年香港市政局及區域市政局選舉中，他當選為區域市政局（沙田西）議員，1997 年，過渡為臨時區域市政局議員。及至 2020 年 1 月 3 日起擔任沙田區議會主席，但於 2021 年 7 月 8 日基於身體健康出現問題而辭去所有區議會職務。



個人生活

程張迎已婚，婚後與妻子陳氏育有一名女兒。



榮譽

2007 年獲香港特區政府頒發榮譽勳章。



注釋



參考文獻



外部連結


* 程張迎的 Facebook 專頁
程強可以指：


* 程強 (政治人物)，福建省民政廳廳長

* 程強 (扶貧工作者)，全國脫貧攻堅先進個人
程強，中華人民共和國政治人物、全國脫貧攻堅先進個人。



生平

程強任涇川縣旭康食品有限責任公司董事長。因在脫貧攻堅戰中作出突出貢獻，2021 年 2 月 25 日全國脫貧攻堅總結表彰大會上，程強被授予「全國脫貧攻堅先進個人」。



參考
程徐（？—1370 年），字仲能，鄞（今浙江寧波）人。元朝大臣，入明後成明朝官員。



生平

程徐是元朝碩儒程端學之子。至正年間，以通曉《春秋》而聞名。在元朝時，官至兵部尚書。明兵攻入元大都（今北京），程徐的妻子抱著二歲的兒子和女兒投井而死。洪武二年，從北京到南京，被授予刑部侍郎，進刑部尚書。程為學勤奮，為政精幹刻苦，工於詩文，有結集傳於世。



參考文獻
程復（1330 年 —？）是活躍於琉球察度王朝和第一尚氏王朝期間的一位華僑。

程復是江西饒州府人，祖籍河南洛陽，是河南伯程顥的後裔。程復何時來到琉球，至今仍是個謎；他可能是一位商人，精通琉球語；他可能於 1372 年（洪武五年）隨詔諭使楊載來到琉球，並被中山王察度委以重任。

在察度王朝時期，程復、葉希尹二人以寨官（按司）兼任通事，負責對中國的朝貢事務。1392 年，與葉希尹一起，獲明廷賜予官職冠服。1394 年，與葉希尹一起被明廷封為千戶。

第一尚氏王朝建立之後，程復被尚思紹王封為國相兼左長史。1411 年（永樂九年），八十一歲的程復向明廷請求退隱，獲得明成祖的准許。於是程復辭職回到中國的故鄉，其國相之位由右長史王茂接替。

程復的子孫都在琉球擔任外交官員，例如程安、程均、程鵬、程璉、程璋、程禧、程祿、程儀等人，擔任通事或夥長之職。後來程復的子孫凋零，虞秉憲（外間筑登之實房）奉命改姓程，入嗣為程復之後。琉球儒學學者程順則便是程秉憲之孫。



參考文獻
程德全（1860 年 —1930 年 5 月 29 日），字純如，號雪樓、本良，法名寂照。四川省夔州府雲陽縣人，清末民國政治人物。清朝末年曾任黑龍江將軍，中華民國初期任江蘇都督、南京臨時政府內務總長。後出家為佛教僧人。



生平

程德全是廩貢生出身。光緒十六年（1890 年），入國子監學習。1891 年，他到黑龍江璦琿入黑龍江副都統文全幕。後又入黑龍江將軍依克唐阿幕。1894 年，被保奏以知縣發派安徽。光緒二十四年（1898 年），經黑龍江將軍壽山奏調重回黑龍江省，後任黑龍江將軍衙門營務處總辦。庚子事變，俄軍入侵齊齊哈爾，壽山自殺，程德全曾單騎入俄營同額林干夫議和，被俄軍扣押，後獲釋。光緒二十九年（1903 年），署齊齊哈爾副都統，光緒三十一年（1905 年）署理黑龍江將軍，開東三省漢人任將軍之首例。1907 年，署理黑龍江巡撫。在黑龍江期間，他與達桂奏准將黑龍江省土地全部開禁。光緒三十四年（1908 年），因病開缺。

宣統元年（1909 年）復被起用，任奉天巡撫。1910 年，改任江蘇巡撫。

1911 年 10 月，武昌起義爆發後，程德全在江蘇省城蘇州，經過張一麐勸說。張通典率部於 11 月 5 日江蘇巡撫衙門。當日，程德全宣布江蘇獨立，自任江蘇都督，成為第一名參加革命的清朝疆吏。民國元年（1912 年）1 月 3 日，南京臨時政府成立，他被任命為南京臨時政府內務總長。同日，他和脫離了中國同盟會的章炳麟（章太炎）、張謇共同組織了中華民國聯合會（後來改為統一黨）。1912 年 4 月，袁世凱任中華民國臨時大總統後，他被任命為江蘇都督。同年 5 月，統一黨和民社等合組共和黨，程德全因與章太炎不和而離黨。

1913 年 3 月，他曾親赴上海處理「宋教仁被刺案」，主張按法律程序解決。1913 年 7 月 15 日，黃興脅迫程宣布江蘇獨立，強推為南軍司令，翌日，他逃往上海，25 日，在上海發電：「南京獨立，由於黃興及第八師師長陳之驥之要求，現已另刻關防，召集蘇屬水陸軍警，議圖恢復。」9 月 1 日，張勳兵入南京後，他辭去江蘇都督。此後他住在上海，以禮佛為事。1917 年退出政界。1926 年，受戒於常州天寧寺，法名寂照。1930 年 5 月 29 日於上海圓寂。享壽 70 歲。



家庭

兒子程世撫。



遺蹟

今蘇州城外寒山寺，有「古寒山寺」四個大字為其墨跡。齊齊哈爾市龍沙公園內建有《清雲陽程公以身御難碑》。



著作

著有《程中丞奏稿》、《撫江文牘》等。



軼聞

1945 年 1 月，銀幣收藏家吳詩錦發表文章認為袁世凱像開國紀念幣上面的頭像實為程德全，引起半個多世紀爭論。



參考文獻


* 徐友春主編。民国人物大辞典 増訂版。河北人民出版社. 2007. ISBN 978-7-202-03014-1.

* 劉壽林 編。民国職官年表。中華書局. 1995. ISBN 7-101-01320-1.
程琯（？—？），字德和，直隸徽州府歙縣人，明朝政治人物。



生平

弘治九年（1496 年）丙辰科會試第五，殿試中式二甲第四十六名進士，初授南京戶部郎中。正德四年，出任泉州府知府。升兩浙鹽運使。



家族

曾祖程仲信，贈按察使僉事；祖父程學初；父程宏，嫡母詹氏；生母洪氏。



參考文獻
程德宏（1961 年 —），湖北麻城人，漢族，中華人民共和國政治人物、第十二屆全國人民代表大會重慶地區代表。

畢業於重慶市委黨校憲法學與行政法學專業。加入中國共產黨。2013 年，擔任全國人大代表。



參考文獻
程德玄（?—?），字禹錫，鄭州滎澤（今滎陽市東）人。

精通醫術。趙光義還是晉王時，為其押衙，程德玄是趙光義的心腹。太祖去世當晚，宋皇后立即命宦官王繼恩去召皇子趙德芳入宮。王繼恩徑行跑去召晉王，見程德玄正坐在開封府內。程德玄後與趙光義、王繼恩三人冒著風雪趕往宮中，不久王繼恩稱遺詔迎太宗即位。宋太宗即位，拜翰林使，不久擔任刺史，深得寵信。淳化三年（992）改懷州團練使，知邯州。

景德初卒。有子程繼宗。



延伸閱讀

[編]

　
: 《宋史・卷 309》，出自脫脫《宋史》



參考書目


* 《宋史・程德玄傳》
《程心程意》（泰語：My Engineer มีช็อปมีเกียร์มีเมียรึยังวะ，英語：_My Engineer_），為泰國 WeTV 於 2020 年 3 月 14 日起播出的愛情電視劇，改編 Mommae 的原作小說，由 Cooper 及 Poy 主演。



劇情簡介

Bohn 是學校的校之月，他和 Frong 是競爭者，在共同拍攝行程時，他因不想和 Frong 同在咖啡店休息，獨自走到公園而撞到了熟睡的 Duen 的腳，Bohn 看到旁邊有蜥蜴而想叫醒 Duen，誰知卻被 Duen 打了一拳，Bohn 想作弄 Duen 而叫他負責，卻因此而喜歡上 Duen。Ram 是個沉默寡言的人，引起了 King 的注意，King 怕狗也讓 Ram 覺得有趣。Mek 和 Boss 在新生時就被湊對，雙方當時就互相喜歡，但因誤會和害怕失去對方而隱藏心意。Thara 在醫院實習，病人是 Frong 的母親，因想起了父親當初生病離世，讓他對 Frong 產生一些關心的感覺。



演員陣容

註：括號內的演員姓名為小名。

主要人物


* 帕塔拉帕辛・諾林・頌卡（Cooper）飾演 Bohn

　
: 大二工程系，校之月。


* 克里查納鵬・宋同查查維（Poy）飾演 Duen

　
: 大一醫學系，性格憨厚。


* 納坤・斯克瑞艾（Perth）飾演 Ram

　
: 大一工程系，Duen 好友。


* 塔雷・薩古安迪坤飾演 King

　
: 大二工程系，學霸。


* 彭佳博 飾演 Mek

　
: 大二工程系，啞巴老公。


* Napat Chalermpornphakdi（Intouch）飾演 Boss

　
: 大二工程系，話嘮老婆。


* Natthaphong Phibunthanakiat（MD）飾演 Thara

　
: 大五醫學系，Duen 的表哥。


* Natchaphon Cheewapanyarot（Chen）飾演 Frong/Yim

　
: 大二企管學系，院之月。

其他人物


* 甘葵恩娜・盼帕吉緹南（Nam）飾演 TingTing

　
: 大一醫學系。


* Anna Glücks 飾演 Nang

　
: 要求 Bohn 幫她慶生，在酒吧找 Duen 搭訕。


* Atchari Siribunpipat 飾演 Tee

　
: 大二工程系。


* Suphathat Phongchaiyaphum 飾演 Phu

　
: 大一工程系。


* Nathit Kaweekornwong 飾演 Tang

　
: 大一醫學系。


* Eden Serrello 飾演 Ben

　
: Bohn 的表弟，Daonua 的同學。


* Machida Suthikulpanichong 飾演 Daonua

　
: Duen 的妹妹。


* Chonwaree Chutiwatkajonchai 飾演 Duen 的媽媽

* Jiraphat Phanngern 飾演 Duen 的爸爸

* Kanchanok Suktuangwong 飾演 Fon

　
: Boss 的小學同學，喜歡 Boss。


* Sakda Juthathep 飾演 Ta

　
: 餐廳老闆。


* Niramon Boonsachai 飾演 Kumfah

　
: King 的姐姐。


* Soontree Chotiphan 飾演 King 的媽媽

* Kylan Alexander Bryant 飾演 Rund

　
: Ram 的弟弟。


* Maneeyanan Limsawad 飾演 Ram 的媽媽

* Supitcha Phak Akarawatin 飾演 Ging

　
: Nang 的朋友。


* Thanawat Hatchalilaha（Tiger） 飾演 Mike

　
: 喜歡 Bohn。


* Rapeewit Sangamwong 飾演 Win

　
: 剛從新加坡回來的學長。


* Thanadit Thanetanat 飾演 First

　
: 花店老闆，Frong 的哥哥。


* Ratchamet Chaipichayarat 飾演 Ram 的爸爸

* Kate Bass 飾演 Ram 的媽媽

* Anawin Nuntiyakul 飾演 Kew

　
: Kumfah 的兒子，Ram 的外甥。


* Archawin Nuntiyakul 飾演 Kram

　
: Kumfah 的兒子，Ram 的外甥。


* Phakphiraporn Raktin Thai 飾演 腐女三人組之一

* Ilda Hoyos 飾演 腐女三人組之一

* Natcha Anuwan 飾演 腐女三人組之一

* 吉拉皮西特・加納維奇（Boom） 客串 Boom

　
: 醫學系學生，與 Thara 一同為實習生。



劇集原聲帶



參考資料



外部連結


* 劇集介紹及劇評 （頁面存檔備份，存於網際網路檔案館）（英文）
程志（Cheng Zhi）是美國電視連續劇《24》的一個角色。在劇中，他是中華人民共和國駐洛杉磯總領事館保安主管以及一名特工。

程志於第四季擔任中華人民共和國駐洛杉磯領事館保安主管。當時館內有一名名為李忠的中國核武專家躲避。由於李中涉嫌協助恐怖份子進行襲擊，美國政府要求中國外交部交出該人協助調查。由於美方不滿中方未能盡快交出疑犯，所以美國政府秘密批准反恐局（CTU）闖入領事館作出拘捕。於行動中，中國駐洛衫磯總領事被館內保安的流彈擊斃。程志其後對事件展開調查，並在聖地牙哥拘捕其中一名參與行動的探員，並知悉帶領闖入中國領事館的探員是傑克・鮑爾。

第五季，上午 6 時 49 分，程志的手下秘密地拘捕了傑克・鮑爾，並送上中國貨船光彩號。程志向鮑志傑說「我們不會殺你，因為你太過有價值。」

第六季，程志代表中國政府將獲釋放的傑克・鮑爾押回美國。其後，程志以傑克・鮑爾的女友奧黛麗・瑞恩斯，來要脅傑克・鮑爾交出俄羅斯手提箱式核武器內的電路板。之後程志組織了對洛杉磯反恐中心 CTU 的襲擊，以獲得傑克的侄子約瑟華，和傑克的父親菲利普・鮑爾交換，來讓後者幫助他們修理電路板。但這個交易因為 CTU 的干涉而沒有成功。最後，程志被 CTU 逮捕，不過還大聲喊道「我們的人民不會像你們拋棄傑克・鮑爾一樣不管我。」

第九季，程志從中國監獄逃走後，認為中國已把他拋棄於是與俄羅斯合作並給予資金倫敦黑客組織首腦阿德里安開發能入侵任何國家國防系統的超馳裝置 程志發現阿德里安企圖將裝置分享全世界 於是把阿德里安槍殺 並脅持克洛依・歐布萊恩 程志利用超馳裝置向美國核潛艇發出偽造開火指令，導致中國航母沈陽號被擊沉 從而挑起中國和美國的戰爭 在程志準備逃離英國過程中，指示狙擊手脅持奧黛麗・瑞恩斯 雖然 CIA 成功解決狙擊手 但程志早已埋伏另一個槍手，奧黛麗・瑞恩斯被槍殺，傑克・鮑爾得知奧黛麗・瑞恩斯身亡消息後，像第八季中喪失理智，傑克・鮑爾用武士刀逼程志說出自己身分向中國表明程志仍在生 阻止美國和中國的戰爭 最後傑克・鮑爾因奧黛麗・瑞恩斯的死向程志報復 以武士刀把程志的頭斬下
程志明（1964 年 2 月 —），男，漢族，河南虞城人，中華人民共和國政治人物。鄭州糧食學院糧食加工工程專業畢業，大學本科學歷，工學學士學位。



生平

1980 年 9 月，在鄭州糧食學院糧油工業系加工工程專業學習。1984 年 7 月參加工作，任職於河南省經委、河南省計經委，歷任食品辦科員（1984 年 7 月）、投資處科員（1988 年 10 月）、投資處副主任科員（1989 年 1 月）、投資處主任科員（1991 年 8 月）。1987 年 3 月加入中國共產黨。1995 年 1 月，在河南省經濟貿易委員會工作，歷任技改處主任科員（1995 年 1 月）、技改處副處長（1996 年 5 月）、技改處處長（1997 年 12 月）、投資與規劃處處長（2000 年 8 月）、副主任（2001 年 4 月）。2002 年 7 月，任中共新鄉市委常委、新鄉市副市長。2004 年 2 月，任中共開封市委常委、副市長（2008 年 3 月至 2009 年 1 月，在中央黨校第八期中青年幹部培訓二班學習）。2009 年 2 月，任河南省水利廳副廳長。2011 年 9 月，任河南省人民政府副秘書長。2013 年 4 月，任中共南陽市委副書記、副市長、代市長（2013 年 5 月當選市長）。2016 年 5 月，任中共鄭州市委副書記，鄭州市副市長、代理市長。2018 年 1 月，調任黑龍江省人民政府副省長。2021 年 8 月，免去黑龍江副省長職位。
程志遠（1878 年 —20 世紀？），字銘閣，山東省登州府萊陽縣人，中華民國、滿洲國軍事將領、政治人物。



生平

1921 年（民國 10 年），他入東三省陸軍講武堂。畢業後，他成為奉軍的一員，不斷升職。1926 年（民國 15 年），他任騎兵第 8 團團長。翌年，他任東北第 17 師第 5 旅旅長。1928 年（民國 17 年），他改任騎兵第 2 旅旅長。1930 年（民國 19 年），他任中東鐵路護路軍哈滿副司令。九一八事件前夕，程志遠的職務為獨立騎兵第 8 旅少將旅長。

九一八事件後，程志遠所屬騎兵第 8 旅並未對日軍進行抵抗。在 1931 年 10 月，程志遠擔任公主嶺臨時保安會委員長，投降日軍。

滿洲國建國後，關東軍利用程志遠的人脈與職級，策反東北軍，有效削弱東北軍的抗日意識。

1932 年 4 月 5 日，在馬占山脫離滿洲國後，程志遠繼任黑龍江省省長，授階中將。他在此時成功策反了接受馬占山號召的暫編第 1 旅旅長樸炳珊、第 6 旅旅長王克鎮、第 7 旅旅長石蘭斌、第 8 旅旅長劉鴻宣，導致馬占山反日作戰的戰力大減。1932 年 9 月程志遠，辭去省長職務，改任參議府參議。但同年 12 月 9 日，程志遠突然辭去參議職務。

日本決定撤職其原因與程志遠的精神狀況有關，1932 年 12 月 7 日，對訪問程志遠邸宅的滿洲國協和會理事趙仲仁，程突然開槍。對想逃走的趙仲仁，程志遠向恰好回來的部下（這部下沒了解到詳細事情）命令開槍，趙仲仁當場死亡。程志遠以殺人罪被起訴，但當局通過精神檢查判斷程患著精神失常，結局是不起訴。1933 年 5 月，滿洲國政府解除限制關於事件的詳細內容的報導。據際此司法大臣馮涵清發表的聲明，為了從社會隔離，程志遠已經在瘋人院被監視。

此後，程志遠的生平便無明文記載，隔離之設施亦無資料。



注釋



參考文獻


* 徐友春主編。民国人物大辞典 増訂版。河北人民出版社. 2007. ISBN 978-7-202-03014-1.

* 劉壽林等編。民国職官年表。中華書局. 1995. ISBN 7-101-01320-1.
程忠顯（？—？），字良輔，直隸徽州府歙縣人，民籍，明朝政治人物。



生平

應天府鄉試第五十八名舉人。弘治六年（1493 年）中式癸丑科三甲第四十六名進士。



家族

曾祖程子銘；祖父程文斌，義官；父程仕寬，義官。母方氏。



參考文獻
程懷信（8 世紀？—805 年），唐朝定州安喜人。橫海節度使程日華的侄子，程懷直的從兄。

貞元十一年（795 年）程懷直不肯體恤士兵，軍士不勝寒餒，在野外打獵，數日不返。程懷信擔任兵馬使，趁著大家不滿，便關閉城門，不讓程懷直進城，程懷直只好逃到京城長安。十月十四日，唐德宗任命虔王李諒為節度使，程懷信為橫海留後。貞元十二年（795 年），程懷信為節度使。貞元二十一年（805 年）七月二十六日，橫海軍節度使程懷信去世，唐順宗任命他的兒子節度副使程執恭為留後。



參考文獻


* 《舊唐書》卷 143 列傳第九十三

* 《新唐書》卷 213 列傳第一百三十八
程懷暻（?—?），清朝人，清朝政治人物。進士出身。

程懷暻曾接替趙炳言任蘇松道道員一職，1832 年由吳其泰接任。



參考資料


* 編纂委員會. 《上海旧政权建置志》. 上海：上海社會科學院出版社. 2001 年. ISBN 7-80618-881-9.
程懷直（752 年 —800 年），唐朝定州安喜人。橫海節度使程日華的兒子。

貞元四年（788 年），程日華去世，程懷直以河朔舊例，自行執掌留後事務。貞元五年（789 年）二月二十五日，唐德宗任命橫海留後程懷直為權知滄州刺史、滄州觀察使。程懷直請求在轄區內將分弓高、東光、景城三縣設置景州，求朝廷任命刺史。河朔刺史不被朝廷任命三十年，唐德宗高興地說：「三十年來，沒有過這種事了！」於是，任命員外郎徐申為景州刺史。升橫海軍為節度，擢程懷直為檢校工部尚書、兼御史大夫、節度留後。後來，正授節度觀察使。貞元十年（794 年）程懷直入京朝見，德宗給與優厚的賞賜，包括大第、宮女，晉升為檢校尚書右僕射，然後打發他回到滄州。貞元十一年（795 年）程懷直不肯體恤士兵，軍士不勝寒餒，在野外打獵，數日不返。程懷直的堂兄程懷信擔任兵馬使，趁著大家不滿，便關閉城門，不讓程懷直進城，程懷直只好逃回京城。十月十四日，德宗任命虔王李諒為節度使，程懷信為橫海留後。德宗以程懷直依前檢校右僕射，兼右龍武軍統軍，賜安業里甲第，妓女一人。次年，程懷信為節度使。貞元十六年（800 年），程懷直去世，年四十歲，廢朝一日，贈揚州大都督。



參考文獻


* 《舊唐書》卷 143 列傳第九十三

* 《新唐書》卷 213 列傳第一百三十八
程思俊（英語：James Ching Sze Chun，1955 年 4 月 16 日 —），原名朱達生，前香港男演員。



簡歷

程思俊在 1974 年畢業於天主教培聖中學中五年級，曾是無綫電視第四期藝員訓練班學員，跟黃杏秀、梁碧玲是同學，另於 1975 年投考佳藝電視第一期藝員訓練班，同學有鄭裕玲、魏秋華、李通明、李岡等，修畢半年課程正式入行，參與過古裝劇《神鵰俠侶》《鹿鼎記》等演出，至 1978 年佳視倒閉後轉行在車行任推銷員半年時間，後得到無綫電視力邀加盟得以重返電視圈，在無綫的首個工作為《BANG BANG 咁嘅聲》節目主持，後來擔任《體育世界》外景記者，1982 年 4 月被調入長壽節目《歡樂今宵》，但星運一直平平。1988 年 6 月《歡樂今宵》外景隊到澳洲達爾文拍攝旅遊特輯，程思俊是以自費旅遊性質跟隊隨行不料發生翻車意外，女藝人余綺霞及一名收音師傷勢嚴重，程則受輕傷。1990 年代初他退出演藝圈，《血璽金刀》是最後作品。退出娛樂圈後在葵涌商場開設兒童時裝店，現已結業。



電視劇作品

佳藝電視

無綫電視

香港電台

其他



電影作品



電視主持

佳藝電視


* 1976 年《這一代》

無綫電視


* 1979 年《BANG BANG 咁嘅聲》

* 1982 年至 1990 年《歡樂今宵》

* 《體育世界》



參考資料



外部連結


* 程思俊在香港影庫上的簡介
程思遠（1908 年 9 月 17 日 —2005 年 7 月 28 日），本名程思安，男，廣西賓陽人，中國政治人物，曾任中華人民共和國第七屆全國政協副主席、第八屆至第九屆全國人大常委會副委員長。



早年

程思遠本名程思安，光緒三十四年（1908 年）農曆八月二十二日生於廣西省賓陽縣大橋程村。早年就讀於賓陽黃安學堂，改名程思遠。1926 年考取國民革命軍第七軍應試文書第一名，隨軍北伐。1930 年任國民革命軍第四集團軍總司令李宗仁秘書。1933 年與蔣秀華結婚，次年誕下長女程月如（藝名林黛），同年赴義大利羅馬大學留學，獲政治學博士學位。1938 年任國民政府軍事委員會副參謀總長白崇禧辦公室秘書。



中年經歷

1939 年任廣西綏靖公署政治部主任兼樂群社理事長、桂林歐美同學會會長。1942 年赴重慶工作，歷任三民主義青年團中央組織處副處長、三民主義青年團督導室主任、三民主義青年團社會服務處處長、三民主義青年團中央常務幹事、廣西省政府駐渝代表、國民參政會第四屆參政員，並在中國國民黨第六屆全國代表大會上當選為中央執行委員，在中國國民黨第六屆二中全會上當選為國大代表。

1947 年在國民黨第六屆四中全會上當選為中央常務委員。7 月中，程思遠應北平行轅主任李宗仁電邀從上海乘「空中霸王」號到北平，李派行轅參議劉仲華安頓程思遠於北京飯店。當晚程同李一起晚餐，後長談 2 小時，李準備競選副總統，要程作必要之準備。

1948 年 3 月，白崇禧對程説︰「我們只好盡人事罷了。」程當選為立法院立法委員。12 月下旬，蔣與李經過兩次協商，就蔣下野讓位問題達成協議；一、蔣主動下野，以便南京政府開始和談；二、由副總統李代行總統職務，宣佈和平主張；三、與中共和談事由行政院主持。並非正式協議準備和談：甲、運用舉國一致的內閣，其人選另行研究；乙、運用外交，特別加強對美、英、蘇的關係，以期有利於和平的實現；丙、主動爭取不滿政府與主張和平的政治團體及民主人士，共同為致力和平而努力。協議由吳忠信帶回給蔣，同時由程用長途電話通知白崇禧，白用粵語對程説：「蔣下野必須辭職，由李德公正式就任總統，不能用代理名義。如果名不正，那就什麼事都辦不了。」。12 月 24 日，立法院改選院長、副院長，童冠賢、劉健群當選；童後來推動李發起和談活動。

1949 年 1 月 21 日，程建議李約張治中、吳忠信商談，張認為蔣引退文告是由吳送請蔣、李簽字，原有「身先引退」，下午潘公展、田崑山在茶會稱：總統一職係由國民大會選舉，現在未經「國大」批准，不能自行「引退」，故建議刪去。7 月，擔任中國國民黨中央非常委員會副秘書長。11 月 19 日，程先到香港，通知外交部駐港特派員郭德華：李代總統將經港赴美就醫，請其轉告港英當局。12 月 2 日，黃旭初從海口托人帶信，要程向廣西財政廳長韋贄唐取出外滙，作李赴美治病費。12 月 3 日，程在香港滙豐銀行三樓外交特派員辦事處約晤外交部長葉公超，葉稱已同美國代辦史特朗談過，「元首」入境由外交部出一證明書，説明李因病赴美療治；其他隨員一律由駐港特派員郭德華填發護照。不久後辭職移居香港荔枝角九華新村，擔任《正午報》專欄作家。

從 1956 年 4 月至 1965 年 6 月，程五上北京，謁見周恩來，準備李歸來。

1957 年秋，長女林黛（原名程如月）在取得兩屆亞洲影展最佳女主角後，學習於美國哥倫比亞大學，每周末都到李家作客。

1965 年 7 月，他陪同李宗仁伉儷從海外扺達廣州白雲機場。



晚年生活

回國後任中國和平統一促進會會長、全國政協祖國統一聯誼委員會副主任、中華海外聯誼會第一屆名譽會長、中國國際科技促進會會長、全國台灣研究會第四屆理事會會長等職務，第五、六屆全國政協常委、副秘書長，第六屆全國人大常委會委員、全國人大外事委員會副主任委員，第七屆全國政協副主席兼提案委員會主任，1993 年，當選為第八屆全國人大常委會副委員長。1998 年 3 月，第九屆全國人大第一次會議上，他連任全國人民代表大會常務委員會副委員長。

2005 年 7 月 28 日因病於北京逝世，享年 96 歲。



家族

1933 年程思遠與第一任夫人蔣秀華結婚，1934 年女兒程月如出生，即影星林黛，1940 年 9 月 9 日感情破裂與蔣秀華離婚。

1948 年 12 月 5 日，在程月如的促成下，程思遠與小 19 歲的石泓結婚，育有 2 女 1 子，次女程珊娜，三女程華為北京大學歷史系畢業，先在世界歷史研究所工作了三年，後在美國留學結婚生子，後改學法律，成為了一名律師，在加州工作，兒子為程治平，香港鳳凰衛視的主持人。



軼事

1948 年 9 月 8、9 日中央日報第一版連登了兩天 7 欄高 12 行寬的大廣告：「為立法委員程思遠誘姦鄭捷未婚妻石泓向本黨同志暨社會人士呼籲啟事：鄭捷與石泓是川大同學，自 1944 年以來患難相熱戀情深，遂於 1947 年 7 月在漢口伊家訂婚，以海枯石爛為盟。不意本屆立法委員程思遠竟利用其政治地位及優越之經濟條件對石泓百般誘惑並騙至家中施行姦污竟達數次之多（有證可稽）。如此人面獸行社會敗類何以代表人民立法何以主持黨政。敬請本黨同志暨社會人士予以明察」。

1948 年 9 月 10 日，中央日報又刊出七欄高八行寬的「國立四川大學第十六屆畢業留京同學聯誼會敬向同學石泓小姐一言」內容云：「今天社會上不知有多少像妳所遇到的那位亦官亦商的漁色之徒利用財勢摧毀女子貞操尋歡取樂毫無真誠愛情，我們深惡痛絕這種人面獸行的愛情販子的醜行。我們痛心受過高等教育的妳在魔掌下所受的摧殘。我們更同情妳和鄭捷遭遇的不幸，希望妳不再向玩弄女性的惡勢力投降，我們以除惡務盡的決心誓與無恥的敗類程思遠搏鬥到底。」



參考文獻



外部連結


* 人民網 — 程思遠生平 （頁面存檔備份，存於網際網路檔案館）

* 近之思遠

* 程思遠圖片 （頁面存檔備份，存於網際網路檔案館）

#invoke:navbox
程思溫（？—1449 年），婺源人。明朝官員、進士出身。

正統元年（1436 年），登進士。正統三年（1438 年），授中書舍人。正統十二年（1447 年），改禮部儀制員外郎。正統十四年（1449 年），跟從明英宗北征，在土木之變中殉難。



參考文獻
程有守（？—？），字思約，直隸徽州府歙縣人，民籍，明朝政治人物、進士出身。



生平

應天府鄉試第一百二十三名，會試第二百十五名。萬曆二年，登進士第三甲第一百二十三名。萬曆九年，擔任泉州府同知，有政績，深得民心。萬曆二十三年（1595 年）擔任廣東惠州府知府。

曾祖父程蘭孫；祖父程琦；父程鐸。母汪氏。



參考文獻
程怡（1985 年 7 月 29 日 —），四川成都人，畢業於北京舞蹈學院音樂劇班，中國女演員、歌手。2006 年參加搜狗女聲全國總決賽獲得冠軍，後簽約搜狐娛樂出道。2016 年憑藉電視劇《於無聲處》獲得第三屆「亞洲彩虹獎」電視頒獎禮「最佳女配角獎」提名。



作品

音樂


* 2007 年 單曲《一年以後》

電視劇


* 2010 年 古裝劇《劉三姐》

* 2013 年 情感劇《愛的契約》

* 2013 年 愛情劇《失戀 33 天》

* 2014 年 情感劇《天國淚》

* 2015 年 諜戰劇《於無聲處》 飾演 汪都楠

* 2016 年 情感劇《守婚如玉》

電影


* 2007 年 《我不是李白》

* 2011 年 《幸運兔精靈》 飾演 杜老師

* 2015 年 《好大一個家》

* 2018 年 《無名之輩》

* 2019 年 《人潮洶湧》



參考資料



外部連結


* 程怡的新浪微博

* 程怡在豆瓣電影上的簡介（簡體中文）

* 程怡在網際網路電影資料庫（IMDb）上的資料（英文）
程恂，字慄也，號燕侯，江南休寧人，清朝官員。

雍正二年，登甲辰科進士，官直隸定州知州。乾隆元年，召試丙辰博學鴻詞科，名列二甲，授翰林院檢討，任三禮館纂修官。乾隆十三年，任會試同考官。



注釋
程恩富（1950 年 7 月 —），男，滿族，祖籍安徽合肥，生於上海，中華人民共和國馬克思主義理論家、經濟學家，中國社會科學院馬克思主義研究院院長。全國人民代表大會安徽地區代表。



生平

畢業於復旦大學。2008 年，當選為第十一屆全國人大代表。2013 年，當選為第十二屆全國人大代表。2018 年 2 月 24 日，當選為第十三屆全國人大代表。



參考文獻
程恩溥（？—？），浙江嘉興人，清朝政治人物。舉人出身。

程恩溥曾於 1844 年接替熊象鼎任婁縣知縣一職，由楊題柱接任。



參考資料


* 編纂委員會. 《上海旧政权建置志》. 上海：上海社會科學院出版社. 2001 年. ISBN 7-80618-881-9.
程悅長（1901 年 —1961 年 5 月 1 日），中國人民解放軍將領、中國人民解放軍開國少將。

曾任中國人民解放軍新疆軍區副參謀長，後升任新疆生產建設兵團副司令員。1955 年，授予中國人民解放軍少將。1961 年 5 月 1 日，在北京逝世，終年 60 歲。



參考
程烈（？—？），字惟光，直隸徽州府歙縣人，民籍，明朝政治人物。



生平

應天府鄉試第三名舉人。嘉靖八年（1529 年）中式己丑科會試第二百十八名，登第二甲第四十六名進士。



家族

曾祖程瑞；祖父程祚，封監察御史；父程楷，母宋氏。



參考文獻
程穆衡（1702 年 —1794 年），字惟淳，江蘇鎮江人。



生平

乾隆元年（1736 年）舉人，乾隆二年中進士，授榆社知縣。任上以逮捕盜賊有功，還親自捉拿盜魁。個性耿介，因忤逆上官，罷歸。工詩文，著述甚富。曾修《太倉州志》。輯有《吳梅村詩箋》十二卷，著有《復社年表》、《婁東耆舊傳》、《據梧齋塵談》、《投紱堂集》等。享年九十三歲。



家族

祖籍安徽休寧。其父程繼墨徙居太倉。
程遜（1539 年 —？），又作成遜，字惟謙，直隸大名府長垣縣人，民籍，明朝政治人物。



生平

順天府鄉試第一百十三名舉人。隆慶五年（1571 年）中式辛未科三甲第二百五十六名進士。初授南陽縣知縣，擢吏部主事，萬曆九年（1581 年）二月升山東左參議，十一年三月升本省永平道副使，十五年十月補任山東副使、管理開原兵備事務，晉右參政，十七年十二月升山西按察使、整飭薊州兵備，十九年十月升任順天巡撫，十一月以薊鎮告急，令速赴遼東任總督事。



家族

曾祖程磊；祖父程岱；父程宦，母朱氏；繼母王氏。嚴侍下。兄遷、弟文、選、通、述、蓮、蘧、蓬、薖、邁。從父成宰，嘉靖三十四年乙卯舉人，官睢州知州。從子成伯龍、成仲龍，皆為進士。



延伸閱讀

[編]

　
: 《舊五代史 / 卷 96》，出自薛居正《舊五代史》

　
:



參考文獻
程惠芳（1953 年 —），浙江東陽人，漢族，中華人民共和國政治人物、第十一屆全國人民代表大會浙江地區代表。

畢業於復旦大學國際金融專業，是中共黨員。擔任浙江工業大學教授。2008 年起擔任全國人大代表。



參考文獻
程愈（1438 年 —？年），字節之，浙江嚴州府淳安縣人，醫籍，明朝政治人物。



生平

浙江鄉試第三名舉人。成化十七年（1481 年）中式辛丑科三甲第一百三十一名進士。



家族

曾祖程以中；祖父程懋正，訓科；父程敏恭，承事郎。母方氏。



參考文獻
程愛玲（英語：Jacqueline Tiang Ai Ling，1992 年 6 月 16 日 —），生於馬來西亞彭亨州，於 Astro 國際華裔小姐競選 2016 奪得亞軍、完美體態小姐



曾參選選美活動


* 2016 年 Astro 國際華裔小姐競選（亞軍）

 



演出作品


* 《本來只想暗戀你》飾演 林美怡



外部連結


* 程愛玲的 Instagram 帳戶
程愫（1976 年 7 月 27 日 -），中國大陸女演員，前中國人民解放軍南京軍區政治部前線文工團話劇隊成員，文職幹部。於 2016 年 11 月轉業。



戲劇演出


* 話劇《馬蹄聲碎》，第十二屆文華獎表演獎，第六屆中國話劇金獅獎

* 話劇《虎踞鐘山》

* 廣播劇《白衣聖人》



影視作品

電視劇


* DA 師

* 狼煙 (DA 師 2)

* 虎踞鐘山

* 湖上人家

* 血色誓言

* 追日

* 大宋提刑官

* 敵後便衣隊傳奇

* 中年計劃

* 美麗的中國結

* 狙擊生死線

* 老三屆

* 霓虹燈下的哨兵

* 我是業主

* 井岡山

* 與狼共舞

* 與狼共舞 2

* 特種兵之利刃出鞘

* 特種兵之火鳳凰 (我是特種兵 3)

* 特種兵之霹靂火 (我是特種兵 4)

* 當媽不容易

* 2015 年，鐵核桃

* 2015 年，孤雁

* 2015 年，歷史的使命

* 2015 年，雲水怒

* 2016 年，特種兵之霹靂火 (我是特種兵 4)

* 2016 年，我的辣妹保鏢 (網絡劇)

* 2016 年，我的壓寨男人 (客串)

* 2017 年《熱血軍旗》 (客串)

* 2019 年《啟航》飾 莊琳

* 2020 年《藍軍出擊》飾 謝冰

* 2020 年《大江大河 2》飾 隋春鳳

* 待播《衝鋒車之戀》

電影


* 2017 年《黨員登記表》

* 2021 年《瑞喜愛小白》飾 何瑞喜



外部連結


* 前線網 —— 程愫簡介
程慕軒（1993 年 12 月 14 日 —），出生於北京。中國內地女主持人、演員，畢業於中國傳媒大學。



主要作品

電視劇

電影



綜藝節目



雜誌寫真



參考