zetavg/zh-tw-wikipedia huggingface dataset:
符号和大小

**原碼**（True form）是電腦運算的名詞，是指「未經更改」的碼。為了便於 ALU 的設計，又發展出一補數、二補數等轉換過的碼。

原碼是指一個二進位數左邊加上符號位後所得到的碼，且當二進位數大於 0 時，符號位為 0；二進位數小於 0 時，符號位為 1；二進位數等於 0 時，符號位可以為 0 或 1 (+0/-0)。

## 原碼的具體定義

電腦中所有的數均用 0、1 編碼表示，數字的正負號也不例外，如果一個機器數字長是 n 位的話，約定最左邊一位用作符號位，其餘 n-1 位用於表示數值。

### 小數原碼的定義

[X]原 = $\left\{{\begin{array}{lcl}X&\quad &(0\leqslant X<1)\\\\1-X&&(-1<X\leqslant 0)\end{array}}\right.$

例如：[+0.1011]原 =0.1011000

[-0.1011]原 =1.1011000

（代碼中的小數點「.」是在書寫時為了清晰起見加上去的，在機器中並不出現。）

### 整數原碼的定義

[X]原 = $\left\{{\begin{array}{lcl}X&\quad &(0\leqslant X<2^{n-1})\\\\2^{n-1}-X&&(-2^{n-1}<X\leqslant 0)\end{array}}\right.$

例如：[+1011]原 =00001011

[-1011]原 =10001011

## 編碼方式

原碼是最簡單的編碼方式，便於輸入輸出，但作為代碼加減運算時較為複雜。一個字長為 n 的機器數能表示不同的數字的個數是固定的 $2^{n}$ 個。當 $n=8$ 時，能表示 256 個數字。

### 有符號數

用來表示有符號數，數的範圍就是 $-(2^{n-1}-1)\sim +(2^{n-1}-1)$ 。當 $n=8$ 時，這個範圍就是 $-127\sim +127$ 。

### 無符號數

在不需要考慮數的正負時，就不需要用一位來表示符號位，n 位機器數全部用來表示是數值，這時表示數的範圍就是 $0\sim 2^{n}-1$ 。當 $n=8$ 時，這個範圍就是 $0\sim 255$ 。

## 原碼的優點

簡單直觀；例如，我們用 8 位元二進位表示一個數，則 + 11 的原碼為 00001011，-11 的原碼就是 10001011。

## 原碼的缺點

原碼不能直接參加運算，可能會出錯。例如數學上，1+(-1)=0，而在二進位中 00000001+10000001=10000010，換算成十進位為 - 2。顯然出錯了。

所以原碼的符號位不能直接參與運算，必須和其他位分開，這就增加了硬體的開銷和複雜性。

## 參見

* 有符號數處理
* 一補數
* 二補數
符号式编程

在電腦編程中，**符號式**（symbolic）編程，是在其中程式可以操縱它自己的公式和程式構件如同它們是普通資料一樣的編程範式。

通過符號式編程，複雜（complex）的過程（process）可以被開發出來，用以通過組合（combine）更小的邏輯或功能單元來建造其他更錯綜複雜的（intricate）的過程。因此，這種程式可以有效的修改自身並表現出「學習」能力，這使得它們更加適合於人工智慧、專家系統、自然語言處理和電腦遊戲這樣的應用。

支援符號式編程的語言套件括同像性語言比如 LISP、Prolog 和 Wolfram 語言等。

## 參見

* 符號式語言 (編程)
* 同像性

## 參照
符号性

電腦科學中，表示數的資料類型擁有**符號性**（英語：Signedness），這一屬性可以用來大致劃定可表示數的範圍：如果變數既可以表示正數又可以表示負數，則該類型是「有符號」的；而如果僅可表示非負數，則為「無符號」類型。

有符號數可以表示負數，但為了表示這些負數，必須放棄一部分相同大小（位元位）的無符號數可以表示的正數。例如必須放棄八位無符號數的 128 到 255 才能表示八位有符號數中的 -128 到 127。

## 另見

* 符號位
* 有符號數處理
* 性質符號

## 參考資料
符号执行

**符號執行**（英語：symbolic execution）是一種計算機科學領域的程序分析技術，通過採用抽象的符號代替精確值作為程序輸入變量，得出每個路徑抽象的輸出結果。這一技術在硬體、底層程序測試中有一定的應用，能夠有效的發現程序中的漏洞。

這一思想最初由 IBM 托馬斯・J・華森研究中心的詹姆斯・C. 金（James C. King） 於 1976 年 6 月在論文 _Symbolic Execution and Program Testing_ 中提出，文中「解析程序的路徑後，用符號模擬通過路徑並獲得輸出」的方法如今被稱為「經典符號執行」。由於 20 世紀 80 年代的研究追求分析的完備性，而大型程序的路徑複雜，不可能完全遍歷，符號執行這一研究領域遇冷。21 世紀後，該領域研究有了新的進展：2006 年，克里斯蒂安・卡達爾（Cristian Cadar）在論文中設計了一種「先進行符號執行，後根據符號執行結果生成測試用例」的「執行生成測試」技術，並隨後將其發展為應用在 GNU/Linux 內核錯誤檢查中的 KLEE；2007 年，庫希克・森（Koushik Sen）在當年的軟體工程自動化（Automated Software Engineering）會議提出將符號執行和實際執行結合的「混合執行（Concolic testing）」方法；2009 年，維塔利・奇波諾夫（Vitaly Chipounov）提出「選擇性符號執行」方法，通過選擇「對程序設計者有意義」的執行分支進行符號執行測試來提高對大型程序應用符號執行測試的可行性。

符號模擬技術（symbolic simulation）則把類似的思想用於電路分析；符號計算（Symbolic computation）則用於數學表達式分析。

## 符號執行引擎

符號執行引擎是符號執行技術的實現產物，可以用於對程序進行符號執行。一個基本的符號執行引擎由下列部分組成：

1. 狀態信息存儲器：存儲下列符號執行所需狀態信息。
   1. $pc$ ：指向需要處理的下一條程序語句，其可以是賦值語句、條件分支語句或者是跳轉語句；
  2. $\pi $ ：指代路徑約束信息，表示為執行到程序特定語句需要經過的條件分支，以及各分支處關於符號值 $a_{i}$ 的表達式；
  3. $\sigma $ ：表示與程序變量相關的符號值集.
2. 語句執行器：執行每一條語句來獲取該程序的控制流程。
3. 約束解算器（英語：constraint solver）：用於在一條路徑的符號執行結束後解算路徑約束與符號執行結果，為開發者提供一個可供實際執行（英語：concret executino）的值

## 實例

請看下列代碼：

實際執行時，該方法讀入一個值存儲於變量 **`y`**，當 **`y`** 的值為 6 時，該方法調用 `fail()`，反之列印 `OK`。

在符號執行時，程序讀入一個符號值 `λ`，並將 `λ * 2` 賦值給 `z`。當運行到 `if` 條件判斷語句，由於無法判斷 `λ * 2 == 12` 是否為真，符號執行引擎將執行「為真」與「為假」兩種分支。執行時，引擎將判斷語句處的程序環境與路徑約束複製一份並應用於兩條分支。本例中， `fail()` 分支的路徑約束指的是判斷條件 `λ * 2 == 12` ，而 `print("OK")` 分支的路徑約束為 `λ * 2 != 12`。路徑結束時，約束解算器計算並得出一個對此路徑有意義（即能夠完成該分支的）輸入變量實際值。該值可供幫助開發者復現錯誤時進行實際執行使用。本例中，`fail()` 分支的一個約束結算結果是 `6`。

## 局限性

### 路徑爆炸

大多數符號執行方法不適用於大型程序：隨著程序規模的擴大，程序中有意義的路徑成指數級擴大。有些程序中存在無盡循環或遞歸調用，這更大大增加了有意義路徑，提高了符號執行難度。 為解決此問題，馬健強（音譯，Kin-Keung Ma）等人提出使用啟發式路徑搜索算法提高代碼覆蓋率；馬特・斯塔特斯（Matt Staats）等人提出並行執行獨立路徑的方法來降低符號執行耗時； 庫茲涅佐夫等人則提出了合併相似分支的方法緩解路徑爆炸問題。

### 待測程序輸入變量的特點

由於利用路徑分析進行程序分析，對於輸入變量範圍大，但程序分支較少的程序，符號執行方法比對輸入變量進行分析的方法（如動態程序分析）具有較強優勢。但是對於輸入變量變化範圍小，程序分支多的程序，符號執行的效率較低。

### 內存地址存在別名

由於符號執行根據內存地址分析變量及其變化，對於有內存地址別名的程序，符號執行引擎將難以區分不同別名，因此執行結果可能有偏差。

### 數組的處理

由於數組是大量不同值（如內存地址）的集合，符號執行引擎需要選擇將數組作為一個單獨的完整變量處理還是將每一個數組元素作為單獨的變量處理。由於引擎無法得知程序中每個數組的意義，動態確定每個數組的類型十分具有挑戰性。

### 存在運行環境交互

當某一程序（如下代碼所示）與超出符號執行引擎控制的運行環境有交互（如進行系統調用並獲取系統調用返回信息等）時，符號執行將難以完成：

該程序將打開一個文件，並根據條件將不同類型的數據寫入該文件，然後回讀已寫入的數據。 從理論上講，符號執行引擎將在第 5 行產生兩個路徑並在第 11 行返回與在 `condition` 變量中的值一致的數據。然而文件操作被實現為內核中的系統調用，符號執行工具無法控制其行為。 解決這一挑戰的主要方法是：

**在符號執行過程中直接執行系統調用：**這種方法的優點是實現起來很簡單；缺點是這種調用「並不是符號執行」，其返回內容是實際運行的真實值。

**對運行環境建模：** 引擎使用模型模擬系統調用，其優點是，能夠得到正確的符號執行結果；缺點是需要實現和維護許多可能用到的系統調用模型。 KLEE、Cloud9 和 Otter 等工具通過實現文件系統操作、套接字、IPC 等模型採用了這種方法。

**創建整個運行環境的狀態分支：**基於虛擬機技術的符號執行工具通過創建整個 VM 狀態的分支來解決環境問題。比如 S2E 中，每個符號執行狀態都是一個獨立的虛擬機快照。這種方法的空間複雜度較高，對內存的消耗很大。

## 注釋

## 參考文獻
符号扩充

**符號擴充**（又名**符號擴展**）是計算機算術中，在保留數字的符號（正負性）及數值的情況下，增加二進位數字位數的操作。此操作根據使用的特定有符號數處理方式，通過在數字的最高有效位端添加位數的方式完成。

舉個例子，若計算機使用六位二進位數表示數字「`00 1010`」（十進位的正 10），且此數字需要將字長符號擴充至十六位，則擴充後的值為「`0000 0000 0000 1010`」。此時，數值與符號均保留了下來。

若計算機使用十位數及二補數表示數字「`11 1111 0001`」（十進位的負 15），且此值需要擴充至十六位，則擴充後的值為「`1111 1111 1111 0001`」。 此時，負號及原數字數值通過將左側填充為 1 的方式保留了下來。

在英特爾的 x86 指令集中，符號擴充有兩種方式：

* 使用指令 cbw、cwd、cwde 及 cdq：分別將字節轉化為字、字轉化為雙字、字轉化為擴充雙字、雙字轉化為四倍長字（x86 環境中，一個字節為 8 位、一個字 16 位、雙字與擴充雙字均為 32 位、四倍長字 64 位）；
* 使用符號擴展移動指令，可通過 movsx（「帶符號移動」）指令族完成。

## 零擴展

零擴展是與符號擴展類似的概念。在移動操作或轉換操作中，零擴展指的是將目標的高位數設置為零，而不是將高位數設置成原數字的最高有效位。零擴展通常用於將無符號數字移動至較大的欄位中，同時保留其數值；而符號擴展通常用於有符號的數字。

在 x86 及 x64 指令集中，`movzx` 指令（「使用零擴展移動」）將執行零擴展移動。舉個例子，`movzx ebx, al` 會複製 `al` 中的一個字節至 `ebx` 的低位字節，隨後使用 0 填充 `ebx` 的剩餘字節。

在 x64 平台上，大多數寫入通用暫存器的低 32 位的指令將使用 0 填充目標暫存器的上半部分。舉個例子，指令 `mov eax, 1234` 將清除 `rax` 暫存器的上 32 位。

## 參考文獻

* Mano, Morris M.; Kime, Charles R. (2004). _Logic and Computer Design Fundamentals_ (3rd ed.), pp 453. Pearson Prentice Hall. ISBN 0-13-140539-X.
符号表

在電腦科學中，**符號表**是一種用於語言翻譯器（例如編譯器和直譯器）中的資料結構。在符號表中，程式原始碼中的每個識別碼都和它的聲明或使用資訊繫結在一起，比如其資料類型、作用域以及記憶體位址。

## 實現

雜湊表是用來實現符號表的一種常用技術。編譯器可能會使用一個很大的符號表來包含所有的符號，或是針對不同的作用域使用階層的多個獨立的符號表。

## 使用

目的檔中通常會有一個包含了所有外部可見識別碼的符號表。在連結不同的目的檔時，連結器會使用這些檔案中的符號表來解析所有未解析的符號參照。

符號表可能只存在於翻譯階段，也可能被嵌入到該階段的輸出檔案中，以供後續階段使用。比如，它可用於互動式的除錯器中，也可以在程式執行過程中或結束後提供格式化的診斷報告。

在逆向工程中，許多工具會通過符號表來檢查全域變數和已知函式的位址。如果可執行檔的符號表被 strip 這樣的工具去除掉了，則逆向工程會更加困難。

在進行動態記憶體分配和變數存取時，編譯器需要完成許多工作，其中擴充的棧模型就需要用到符號表。

## 範例

下圖是一個小程式的符號表。該表是用 GNU Binutils 中的 nm 工具生成的。其中有一個資料類型符號（由類型 "D" 表明）和許多函式（自己定義的以及標準庫中的）。第一列是每個符號在記憶體中的位置，第二列是 "符號類型 （頁面存檔備份，存於網際網路檔案館）"，而第三列則是符號名稱。通過傳遞適當的參數，可以按照位址順序生成該符號表。

## 參見

* Debug symbol
符号论美学

**符號論美學**的基本特徵是把審美和藝術現象歸結為文化符號，對人文主義和科學主義的美學都有較大的包容性。

## 代表思想家

### 恩斯特・卡西勒

恩斯特・卡西勒是新康德主義者，他認為康德還沒有擺脫傳統的認識論。他把康德的理性批判發展為文化批判。他指出關於人的定義不能是一種實質性的定義，只能是功能性的定義，人與動物都有感受器系統和反應系統，但人還有第三種即符號系統，人的思維和行為都是符號化的，人通過符號創造了語言、神話、藝術、宗教等文化，構成人類經驗的交織之網。因此，符號活動才是人與動物相區別的本質特徵。

所有在某些形式上能為知覺揭示出意義的一切現象都是符號，符號的背後總隱藏著意義。符號的功能就在於揭示意義，符號不同於信號，信號屬於物理世界，符號屬於精神世界，世人的意識的創造。

卡西勒的哲學體系就是這樣一個以 人、符號 、文化為基本公式的哲學體系，他認為，這些符號形式從不同層次 上歷史地展開了人的生命，實現了人的本質，是人的本質的客觀化。

卡西勒的符號美學是從康德的先驗唯心主義出發的，他把藝術和全部人類文化活動聯繫起來加以考察，充分肯定了藝術的社會性，藝術與人生的密切聯繫，也開闢了美學研究的新方向。
符号货币

**符號貨幣**(Token Money) 是自身價值與其代表的價值差距甚大，乃至自身價值為零的貨幣。

自從布雷頓森林協定解體，世界各國各地區使用的貨幣都是**符號貨幣**。符號貨幣的發行無須黃金保證。
符号连接

**符號連結**（**軟連結、Symbolic link**）是一類特殊的檔案， 其包含有一條以絕對路徑或者相對路徑的形式指向其它檔案或者目錄的參照。 符號連結最早在 4.2BSD 版本中出現（1983 年）。今天 POSIX 作業系統標準、大多數類 Unix 系統、Windows Vista、Windows 7 都支援符號連結。Windows 2000 與 Windows XP 在某種程度上也支援符號連結。

符號連結的操作是透明的：對符號連結檔案進行讀寫的程式會表現得像直接對目的檔進行操作。某些需要特別處理符號連結的程式（如備份程式）可能會辨識並直接對其進行操作。

一個符號連結檔案僅包含有一個文字字串，其被作業系統解釋為一條指向另一個檔案或者目錄的路徑。它是一個獨立檔案，其存在並不依賴於目的檔。如果刪除一個符號連結，它指向的目的檔不受影響。如果目的檔被移動、重新命名或者刪除，任何指向它的符號連結仍然存在，但是它們將會指向一個不復存在的檔案。這種情況被有時被稱為「被遺棄」。

## Unix 作業系統

在 Unix 下建立一個符號連結，可以在命令列提示符下輸入以下命令：

```
ln -s 目標 連結名稱
```

將上述命令中的「目標」用符號連結將要指向的相對路徑或者絕對路徑進行替換。在通常的情況下，目的檔應該存在。但是也可以建立一個指向不存在目標的符號連結。將「連結名稱」用希望的符號連結名替換。這條 ln 命令將會建立一條符號連結。當建立完符號連結之後，可以將「連結名稱」當作「目標」的別名看待。普通的檔案操作命令（如 cp、rm 等）都能直接作用於符號連結。用於讀寫檔案內容的命令將會直接存取目的檔。

在 Unix 中，符號連結的建立使用與建立硬連結同樣的命令，但是它們之間的實際行為差別很大。硬連結僅僅是一個與檔案關聯的名字，它不能離開關聯檔案而獨立存在。當一個硬連結被移動、重新命名或者刪除時，其餘關聯到同一檔案的硬連結不受影響。只有當最後一條指向該檔案的硬連結被刪除時，該檔案內容將會消失。與硬連結不同，符號連結能夠指向目錄。

### 符號連結的儲存

早期符號連結的實現，採用直接分配磁碟空間來儲存符號連結的資訊，這種機制與普通檔案一致。這種符號連結檔案里包含有一個指向目的檔的文字形式的參照，以及一個指示自己為符號連結的標誌。

這樣的儲存方式被證明有些緩慢，並且早一些小型系統上會浪費磁碟空間。一種名為**快速符號連結**的新型儲存方式能夠將文字形式的連結儲存在用於存放檔案資訊的磁碟上的標準資料結構之中（inode）。為了表示區別，原先的符號連結儲存方式也被稱作**慢速符號連結**。

## Mac OS 作業系統

### 別名（Aliases）

除開 Unix 系統下的普通符號連結之外，Mac OS 還能使用別名（aliases）。當目的檔移動到同一磁碟上的其它地方時，別名仍然夠繼續有效。某些版本的 Linux 系統也有與別名類似的功能。

## Windows 作業系統

### Windows Vista 的符號連結

Windows Vista 的符號連接基於 NTFS 檔案系統的重解析點功能，具體請參考 NTFS 的相關介紹。

Windows Vista 使用 mklink 命令（注意這是內部命令，而非可執行程式）建立符號連接，命令列如下：

```
mklink [/D | /H | /J] LinkName Target
/D          建立目錄符號連結（預設為檔案符號連結）
/H          建立硬連結
/J          建立目錄連接
LinkName    連結名稱
Target      連結的目標（根據命令列參數不同，可能為檔案、目錄或者載入點）
```

Windows 2000 和 Windows XP 上可以使用 junction 工具建立類似的符號連結。

### 捷徑

捷徑（shortcut）是一種功能上類似符號連結的檔案物件，但與符號連結有本質的不同。捷徑是普通的檔案（擁有副檔名 .lnk），而非符號，因此，捷徑可以被複製、移動、更改（某些特殊的捷徑無法更改所有資訊）或刪除。捷徑可以指向檔案、資料夾或其他任何系統中合法的位置（包括控制面板、桌面等）。

如果捷徑指向可執行程式，則可以同時指定啟動的命令列參數以及啟動位置（對於非可執行程式的捷徑也能指定這些資訊，但無意義）。同時，可以為捷徑單獨選擇圖示（如果沒有選擇圖示，則使用目標的圖示），以方便使用者個性化。

刪除捷徑完全不會影響被連結到的目標。如果刪除了目標，則會使捷徑失效。由於捷徑可以使用相對路徑或絕對路徑，因此移動捷徑或目標可能導致捷徑失效，也可能不會有影響。在某些 Windows 作業系統（包括但不限於 Windows XP、Windows Vista）中，作業系統會對檔案路徑的改變作一定程度的自動處理，使得捷徑將在大多數情況下能保持有效：當捷徑指向的目標失效而目標被移動過時，系統將自動修改捷徑的目標到新的位置。

### 資料夾捷徑

類似普通捷徑，但只能指向資料夾並且對使用者更為透明。資料夾捷徑（Folder Shortcut）的實質為一個帶有唯讀屬性的普通資料夾，裡面含有 desktop.ini 和 target.lnk 兩個隱藏檔案：target.lnk 為指向目的檔夾的普通捷徑；由 desktop.ini 定義該資料夾為「資料夾捷徑」，其內容為：

```
[.ShellClassInfo]
CLSID2={0AFACED1-E828-11D1-9187-B532F1E9575D}
```

資料夾捷徑可以在 Windows 外殼中被建立和使用。
同樣，刪除資料夾捷徑不會影響被連結到的目標；刪除目標則會使資料夾捷徑失效。

## 參見

* ln (Unix)

## 參考文獻
符号逻辑

**數理邏輯**（英語：Mathematical logic）是數學的一個分支，其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是數學基礎的一個不可缺少的組成部分。主要的子研究領域有模型論，證明論，集合論和可計算性理論。

數理邏輯的研究範圍是邏輯中可被數學模式化的部分。以前稱為符號邏輯（相對於哲學邏輯），又稱元數學。數理邏輯一般著重於研究公理系統的推斷能力和表達能力。它也包括分析正確的數學推斷來構築數學基礎。

## 研究內容

數理邏輯的主要分支包括：

1. 公理化集合論
2. 模型論
3. 證明論和數學構成主義
4. 遞歸論

有時候計算複雜性理論也會被認為是數理邏輯的一部分。

每個分支都有著重研究的方向，但是很多結論是共享的，分支和分支之間的界限不是非常嚴格。 

比如哥德爾不完備定理不僅僅是證明論和遞歸論的重大成果，它還直接影響了模型論中的勒布定理 (Löb's theorem). 因為都基於公理化集合論，數理邏輯的不同分支的證明方法也有相通之處，比如力迫可以用來研究模型論，遞歸論和證明論。 

範疇論也是和數理邏輯有關的數學分支，範疇論的證明方法使用許多公理化的證明方式，但因為其在數學中的廣闊應用範圍，往往被認為是一個獨立的分支。這兩個學科的直接聯繫是範疇邏輯。但也有範疇論方面的數學家，桑德斯・麥克萊恩認為
範疇論獨立於集合論也構成了數學基礎。這個觀點基於拓撲斯理論。

## 與計算機科學的關係

數理邏輯和計算機科學尤其是理論計算機科學有許多重合之處，許多計算機科學的先驅者既是數學家、又是邏輯學家，如哥德爾、艾倫・圖靈、邱奇、克勞德・香農、史蒂芬・科爾・克萊尼等。

計算機科學中的程序語言學、語義學的研究從模型論衍生而來，而程序驗證中的模型檢測則從模型論衍生而來。

柯里－霍華德同構給出了「證明」和「程序」的等價性，這一結果與證明論有關，直覺主義邏輯和線性邏輯在此起了很大作用。λ 演算和組合子邏輯的演算屬於理想的程序語言。

與之相應的，計算機科學在自動驗證和自動尋找證明等技巧方面的成果對邏輯研究做出了反哺，比如說自動定理證明、計算機輔助證明、計算群論和邏輯編程的應用。

## 歷史

### 早期歷史

邏輯史

### 十八世紀

某些哲學傾向濃厚的數學家對用符號或代數方法來處理形式邏輯作過一些嘗試，比如說萊布尼茲和朗伯（Johann Heinrich Lambert）；但他們的工作鮮為人知，後繼無人。

### 十九世紀

數理邏輯的概念在十九世紀中期出現了，它是兩個古老的學科：數學和哲學邏輯的交匯。 數理邏輯被稱之為符號邏輯或形式邏輯或者邏輯代數。「數理邏輯」的名稱是由皮亞諾首先給出，數理邏輯在本質上依然是亞里斯多德的邏輯學，但相比於古典哲學中只運用修辭學，直言三段論和哲學的方法，數理邏輯使用更為嚴格的推斷和借用了很多抽象代數的符號來記述。

十九世紀初，喬治・布爾和其後的奧古斯都・德・摩根提出了一種處理邏輯問題的系統性的數學方法，但沒有使用量化 (數理邏輯)。

在邏輯中，算術一詞指的是關於自然數的理論。朱塞佩・皮亞諾提出了一套以他的名字命名的算術公理皮亞諾公理。這套公理系統使用布爾和薛丁格邏輯系統的變體，並且添加了量化 (數理邏輯) 的概念。皮亞諾當時不知道戈特洛布・弗雷格所做的相似工作。大約在同一時間，理察・戴德金證明了，自然數有歸納性質的獨特特徵。戴德金提出了一種不同的證明，這種證明缺乏皮亞諾公理的形式邏輯特徵。 然而，戴德金的工作證明了皮亞諾系統中無法證明的定理，包括自然數集合的唯一性（考慮同構的情況下）以及函數和數學歸納的加法和乘法的遞歸定義。
亞里斯多德以來的傳統邏輯得到改革和完成，由此也得到了研究數學基本概念的合適工具。雖然這並不意味著 1900 年至 1925 年間的有關數學基礎的爭論已有了定論，但這「新」邏輯在很大程度上澄清了有關數學的哲學問題。

### 二十世紀

二十世紀前葉，因為關於數學基礎的幾次大辯論，數理邏輯迎來了基礎理論學術產出的大爆炸。

### 二十一世紀

傳統的邏輯研究（參見邏輯論題列表）較偏重於「論證的形式」，而當代數理邏輯的態度也許可以被總結為對於內容的組合研究。它同時包括「語法」（例如，從一形式語言把一個文字串傳送給一編譯器程序，從而轉寫為機器指令）和「語義」（在模型論中構造特定模型或全部模型的集合）。

## 一些基本結果

一些重要結果是：

* 一階公式的普遍有效性的推定證明可用算法來檢查有效性。用技術語言來說，證明集合是原始遞歸的。實質上，這就是哥德爾完全性定理，雖然那個定理的通常陳述使它與算法之間的關係不明顯。
* 有效的一階公式的集合是不可計算的，也就是說，不存在算法用作檢測一條公式是否普遍成立。不過，儘管一階邏輯不可判定，仍是「半可判定」的，即存在某個算法，滿足：對此算法輸入一個一階公式，如果這個一階公式是普遍有效的，那麼算法將在某一時刻停機；如果不是普遍有效的，那麼算法將會永遠不停地計算下去。然而，即使算法已經運行了億萬年，仍無法分辨公式是否有效。換句話說，有效公式的集合是「遞歸可枚舉集合」。
* 普遍有效的二階公式的集合甚至不是遞歸可枚舉的。這是哥德爾不完全性定理的一個結果。
* 勒文海姆 - 斯科倫定理。
* 相繼式演算中的切消定理。
* 保羅・約瑟夫・科恩（Paul Cohen）在 1963 年證明的連續統假設的獨立性。

## 相關書籍

數理邏輯的重要著作有戈特洛布・弗雷格（Gottlob Frege）的《概念文字》（Begriffsschrift）、伯特蘭・羅素的《數學原理》（Principia Mathematica）等。

## 參見

* 邏輯
* 邏輯的語義
* 模型論
* 證明論
* 遞歸論
* 一階邏輯
* 相繼式演算
* 直覺主義邏輯
* 完備性

## 參考資料

* A. S. Troelstra & H. Schwichtenberg (2000). _Basic Proof Theory_ (Cambridge Tracts in Theoretical Computer Science) (2nd ed.). Cambridge University Press. ISBN 0-521-77911-1.
* George Boolos & Richard Jeffrey (1989). _Computability and Logic_ (3rd ed.). Cambridge University Press. ISBN 0-521-00758-5.
* Elliott Mendelson (1997). _Introduction to Mathematical Logic_ (4th ed.) Chapman & Hall.
* A. G. Hamilton (1988). _Logic for Mathematicians_ Cambridge University Press.

## 外部連結

* Mathematical Logic around the world
* Polyvalued logic （頁面存檔備份，存於網際網路檔案館）
* Computability logic 數理邏輯的新方向 - 從真理的理論到可計算性的理論。
符合伊斯蘭教教規的食物

**清真**（阿拉伯語：**حلال‎**；拉丁字母轉寫：ḥalāl 或 halal 或 halaal），阿拉伯語原意為「合法的」。在非穆斯林國家，「清真」指的是符合伊斯蘭教規條可食用的食物，與符合猶太教教規的食物有一些相似的地方（所以**清真食品**就是指符合伊斯蘭教教規的食物）；而在穆斯林（回教徒）佔多數的國家，حلال‎（清真）不僅指可食之物，而是一套生活方式，言語、行為、衣著皆受約束。

## 詞源

「清真」在漢語中有儉樸純真、真實自然以及純潔天真之意。例如唐代詩人李白有詩云：「右軍本清真，瀟灑出風塵。」；南朝宋人劉義慶所著《世說新語・賞譽》中載:「山公舉阮咸為吏部郎，目曰:『清真寡慾，萬物不能移也。』」；清代李漁在《窺詞管見》中有言：「文貴高潔，詩尚清真，況於詞乎。」

從元明時期開始，「清真」被用於描述清真寺和清真飲食。明清時期的中國伊斯蘭教學者在介紹教義時，曾用「清淨無染」、「真主原有獨真，謂之清真」等語，稱頌該教崇奉的真主。故稱伊斯蘭教為清真教，寺曰清真寺。清代以來，這一用法和概念已經得到系統闡述和普遍接受。

漢語中的「清真」對應的阿拉伯語為**حلال‎**，原意為「合法的」，與哈拉姆（禁忌）相對。但漢語清真與阿拉伯語的حلال‎詞義的範圍存在較大差別。在中國，清真多針對符合伊斯蘭教教法的飲食而言的，較少用於其他符合教規的衣著、住所、行為以及思想。

## 使用

### 清真食品

類似猶太教的規定，伊斯蘭教的經典古蘭經明確規定「禁止吃自死物、血液、豬肉以及誦非真主之名而宰殺的動物」，但是食用海裡的動物是合法的。而猛禽，猛獸，或雜食家畜及部分兩棲類（如青蛙）或爬蟲類（如龜、鱉）也是不可食用的。此外，酒也是被嚴格禁止的。

### 清真菜

清真菜肉食以牛、羊肉為主，有的也食用駱駝肉，名菜如烤全羊、涮羊肉、它似蜜等。

### 清真寺

清真寺是穆斯林群眾進行宗教活動的宗教場所。對於什麼宗教場所可視作清真寺，遜尼派的伊斯蘭教法學里有嚴格以及具體的要求，不符合規定的場所則稱作 musallah。伊斯蘭教法規定，一旦某個場地被正式劃定為清真寺，該場所將直到末日都作為清真寺用途，被非穆斯林摧毀或占用的情形是絕對不容許的。許多清真寺都有精緻的圓頂、宣禮塔和禮拜殿，各有獨特的建築風格。

### 清真網際網路

伊朗的國家區域網被稱為「清真網際網路」，不與外界連通。伊朗政府稱，「清真網際網路」不僅可以為用戶節省成本，而且還有助於維護伊斯蘭倫理和道德標準。其實質依舊與中國的「防火長城」無異，皆為方便威權統治而設。

## 清真認證

清真食品的標示與管理早在中國元明時期就已經存在。一般而言，清真標示或招牌都要經過當地的清真寺或伊斯蘭協會等組織的認可才能使用。

有些國家或地區由於存在一定數目的穆斯林，因此推行食品、藥品及餐飲業認證制度供其辨認之。

## 爭議

穆斯林在非穆斯林世界生活面對幾大難題：伊斯蘭教教規處理食物的餐廳及商店極其稀少；豬肉的食用及酒的飲用。事實上在飢饉危及生命的情形下，為了能活下來保住性命是可以吃不潔的非法食物的，穆斯林所說的「不潔之物」不僅指不合乎教規而訂定的食物，而還是指基於科學不衛生、不健康的食物。

《古蘭經》第五章第五節宣布有經者的食物合法。由此引申，如果沒有清真食物供應，符合猶太教教規的食物亦可食用。但實際上此種行為不被鼓勵。

## 參見

* 哈拉姆

## 參考文獻

## 外部連結

* 中國伊斯蘭教協會 （頁面存檔備份，存於網際網路檔案館）
* 國際清真認證中國聯絡處 （頁面存檔備份，存於網際網路檔案館）深圳雅各之星實業有限公司
符合教規的食物

**符合教規的食物**可以指：

* 符合教規的食物 (伊斯蘭教)
* 符合教規的食物 (猶太教)
符合教規的食物_(伊斯蘭教)

**伊斯蘭教**的**符合教規的食物**（阿拉伯語：**حلال**‎，Halaal，halāl，halal），有時也稱為**清真食品**，在非穆斯林國家清真一般指的是符合伊斯蘭教規條可食用的食物；在穆斯林佔多數的國家，對「清真」的理解不僅指可食之物，而是一套生活方式，言語、行為、衣著皆受約束。與符合猶太教教規的食物有一些相似的地方。

## 不可食之物

與清真（阿拉伯語：**حلال‎**）相對的稱為「不潔的」（阿拉伯語：**حرام‎**，英語：Haraam，harām）。與符合猶太教教規的食物不同，不僅豬肉（所有肉類都必須是由穆斯林或有經者以阿拉之名屠宰的**草食性動物**，除了是親自獵殺、以鷹犬等獵殺或捕殺享用）、血、未經合法屠宰的牲畜、腐屍、食肉鳥獸外，酒以及一切毒品亦屬禁止之列。魚不可以擊打或橫斷的方式處理，否則亦屬不潔。各派亦在界定某些物種為合法食物存有爭議，例如蝦、蟹及貝類海產、馬肉，但多數視之為清真。

## 宰殺與烹調

### 宰殺

* 穆斯林宰殺牲畜須奉安拉之名宰殺，以割斷喉管方式為之，然後放血。
* 具體而言，首先檢查動物的眼睛確保其適合食用，供水飲用以解其渴，然後使之面向麥加。
* 牲畜應以溫和方式帶至宰殺處，確認下刀位置之後才可拿出屠刀，屠刀必須為非鋸齒、銳利快刀。
* 穆斯林屠宰師面向麥加，下刀前念誦清真言，盡量一刀切斷三管：
1. 牲畜喉頭至頸部的食道、氣管及兩條動、靜脈血管，減少牲畜驚嚇和痛苦。
2. 下刀不可破壞動物的脊椎神經系統，以免肉品在放血完成前死亡。
3. 下刀後，肉品必須維持心跳等待放血，血液禁止食用，放血需盡可能的排放直到無血可放。
* 阿訇需為每一隻放血中的肉品誦經。
* 未放血即死亡的肉品非清真食品。
* 卡菲勒宰殺的肉品非清真食品。
* 毒死、老死、砸打死、勒死、摔死、爭鬥死、撞死的牲畜為禁食品。
* 聖地麥加捕獲之獵物為禁食品（聖地不可捕獵、屠宰，類似印度人不撈恆河魚的概念）。

### 烹調

猶太教禁止肉乳相混的規定在伊斯蘭教未見採用。

## 與非穆斯林的關係

穆斯林在非穆斯林世界生活面對三大難題：出售以伊斯蘭教教規處理食物的餐廳及商店極其稀少；豬肉的食用及酒的使用。事實上在飢饉（但許多虔誠穆斯林寧願餓死也不願吃到不潔之物）或在需要假裝為非穆斯林的情形下，戒律可以放寬甚至忽略。

古蘭經第五章第五節宣布，如果沒有清真食物在先，有經者的食物也合法。由此引申，如果沒有清真食物供應，符合猶太教教規的食物亦可食用，除非對方故意提供酒等非法物，但實際上此種行為不被鼓勵（例如不吃基督徒的食物，因為基督徒的食物一沒經頌經、放血，二與不潔食物如豬肉、肉食動物之肉類混雜，所以不能吃），接受非有經者提供非法物外的合法食物，如五穀蔬果等亦應避免。

## 認證制度

有些國家由於存在一定數目的穆斯林，因此推行食品、藥品及餐飲業認證制度供其辨認之，例如台灣仿照馬來西亞，推行「清真食品認證」、「清真餐廳認證」，除了可滿足穆斯林的飲食需求，亦為相關的廠商拓展市場。

## 爭議

中國西北民族大學有學者要求政府立法規管清真食品，建議冒充清真食物者，如案情嚴重可處死刑 (假），反對者認為這是要求世俗政府維護教法。中國網民以「這很清真」、「這不清真」等流行語作諷刺。寧夏曾計劃向人大提出「清真食品管理法」議案，後來為嚴防「境外勢力」使寧夏、新疆等地「阿拉伯化」而擱置。

歐盟法律規定動物被屠宰前需要被擊昏，不過以宗教需要為理由可獲豁免，丹麥於 2014 年取消以宗教為理由的豁免，認為動物權益高於宗教，瑞士、瑞典、挪威和冰島也相繼取消豁免。

## 參看

* 符合教規的屠宰 (伊斯蘭教)（Qurbanī，阿拉伯語： قربانى‎）
* 清真菜
* 符合猶太教教規的食物
* 素食
* 飛機餐

## 參考文獻

## 外部連結

* 台灣清真食品 （頁面存檔備份，存於網際網路檔案館）
符合计数_(物理学)

在量子物理中，**符合計數**被應用於測量粒子超距作用和量子糾纏實驗。在這些實驗中，相同的初始能量源產生出兩個或多個具有關聯或糾纏物理性質的粒子。獨立的粒子探測器測量出每個粒子的量子態，並將測量信號送入符合計數器。通常在對糾纏進行研究的實驗中，測量到的非糾纏粒子數量大大超過糾纏粒子，糾纏信號被無規則噪聲淹沒。而在具有兩個探測器的系統中，符合計數器只記錄同時到達兩個探測器的粒子信號 (或更準確地說，只記錄相同時間發出的、並且同時抵達這兩個探測器的信號)，從而避免噪聲問題。這將確保只有糾纏粒子被記錄。

然而，由於不確定原理本身以及電子器件的限制，具有無限小時間解析度的探測器和計數器並不存在，測量必然存在一段時間分辨長度 (測量窗口與系統的時間解析度相等)。由於測量時間無法更加精確，在同一個時間分辨長度內被探測到的粒子將被認為同時到達探測器。因此在雙探測器系統中，兩個不相關的、非糾纏的粒子可能會在同一個時間分辨長度內分別進入兩個探測器，成為虛假的符合計數，從而增加噪聲。這對符合計數器信噪比的提升造成了限制，進而影響對量子行為的研究。

## 參閱

* 非線性光學
符吉機場

**符吉機場**，是一個位於越南中南部平定省的國內機場，距離省會歸仁市 26 公里，距首都河內 1000 公里，胡志明市 687 公里。有一條跑道，表面是瀝青。長 3000 米，每日固定航線是越南國家航空公司前往河內、胡志明市，湄公航空公司前往榮市。主要起降客機是空中巴士 A321、A320 龐巴迪 CRJ-900 運輸機是 -- 安 - 2、安 - 225、安 - 24 以及直升機、私人飛機。

## 航空公司與目的地

## 參考資料
符吉縣

**符吉縣**（越南語：**Huyện Phù Cát**／縣符吉）是越南平定省下轄的一個縣。面積 679 平方千米，總人口 205200 人。

## 地理

符吉縣北接懷恩縣和符美縣，西接永盛縣和西山縣，南接安仁市社、綏福縣和歸仁市，東臨南海。

## 歷史

1989 年 6 月 30 日，義平省恢復分設為平定省和廣義省；符吉縣劃歸平定省管轄。

2021 年 1 月 12 日，吉進社改制為吉進市鎮。

## 行政區劃

符吉縣下轄 2 市鎮 16 社，縣蒞吳梅市鎮。

* 吳梅市鎮（Thị trấn Ngô Mây）
* 吉進市鎮（Thị trấn Cát Tiến）
* 吉政社（Xã Cát Chánh）
* 吉海社（Xã Cát Hải）
* 吉行社（Xã Cát Hanh）
* 吉協社（Xã Cát Hiệp）
* 吉興社（Xã Cát Hưng）
* 吉慶社（Xã Cát Khánh）
* 吉林社（Xã Cát Lâm）
* 吉明社（Xã Cát Minh）
* 吉仁社（Xã Cát Nhơn）
* 吉山社（Xã Cát Sơn）
* 吉才社（Xã Cát Tài）
* 吉新社（Xã Cát Tân）
* 吉勝社（Xã Cát Thắng）
* 吉城社（Xã Cát Thành）
* 吉貞社（Xã Cát Trinh）
* 吉祥社（Xã Cát Tường）

## 交通

* 符吉機場

## 注釋
符同和

**符樂**（？—？），字**同和**，江西臨江府新喻縣人，民籍，明朝政治人物。

## 生平

江西鄉試第二十四名舉人。弘治十五年（1502 年）中式壬戌科三甲第一百八十九名進士。

## 家族

曾祖符幼懋；祖父符唐；父符信，訓導，母鄒氏。

## 參考文獻
符咒

**符籙**是**符篆**和**法籙**的合稱，道士以符籙召神劾鬼，趨吉避凶，降妖鎮魔，治病除災。按《說文解字》：符者信也。符是書寫於紙、帛上，筆劃屈曲、似字非字、似圖非圖的符號、圖形。以符上所書之字古奧似篆，稱為符篆，也稱符咒、符令、符文、符書、符術、符圖、靈符。按《雲笈七籤》：籙者，戒録情性。籙是紀錄天神名諱和職能的秘文名冊，法籙為道士作法行符之憑信，也是所在道階之標誌，道士與天神之盟誓為受籙之憑證。

印有佛像、神像的神符稱為甲馬，《通俗編．神鬼》：「甲馬：俗于紙上畫神佛像而祭賽之，謂之甲馬。」《水滸傳》第三八回：「把兩個甲馬拴在兩隻腿上，作起神行法來，一日能行五百里。」

## 法派源流

符篆導源於巫覡。 《後漢書》載：麴聖卿「善為丹書符。」《後漢書・方術傳》記費長房向賣藥翁壺公學道，壺公「為作一符，…… 遂能醫療眾病。」《雲笈七籤》卷七《符字》說：「以道之精氣，布之簡墨，會物之精氣。」某些道士、煉氣士書符時運氣於符上，以之治病，可能產生一定療效。道書謂：「符無正形，以氣而靈。」

宋元時符籙三宗為茅山上清派、閣皂山靈寶派、龍虎山天師道，稱為「三山符籙」。元成宗大德八年（1304）授三十八代張天師張與材「正一教主，主領三山符籙」。

## 施法運作

符，也稱為符咒。是在道教法術的一種，用黃紙、或其他色紙，並通過一定的方法，書寫一些字畫，常被認為具有驅邪的效果。此外，古中醫的第十三科祝由科也是畫符治療疾病。

## 參見

* 炁
* 天罡
* 內丹術
* 雷法
* 淨符
* 符水
* 道教秘諱字

## 外部連結

* 維基共享資源上的相關多媒體資源：符籙
* 李豐楙、張智雄：〈書符與符號：正一符法的圖像及其象徵 （頁面存檔備份，存於網際網路檔案館）〉。
* 呂師：道教神諱秘字探析
* 萬景元：道教法籙概論 （頁面存檔備份，存於網際網路檔案館）
* 蕭登褔：道教符籙咒印對佛教密宗之影響
* 李承道：道教為什麼要傳度授籙
* 法術與道教的宗教體驗 （頁面存檔備份，存於網際網路檔案館）
* 中華民國傳統符咒法術研究學會
符堅角殼灰介

**符堅角殼灰介**（學名：_**Cornucoquimba fuchieni**_）為半花介科角殼灰介屬下的一個種。

## 參考文獻
符大克

**符驗**（？—？），字**大克**，浙江台州府黃巖縣人，軍籍，明朝政治人物。

## 生平

浙江鄉試第七名舉人。嘉靖十七年（1538 年）中式戊戌科會試第八十八名，登第三甲第一百六十六名進士。十八年十一月選授南京福建道試監察御史，二十年二月實授，後貶為建安縣知縣。累升常州府知府。

## 家族

曾祖符永廉；祖父符孚；父符匡，教諭。母金氏。

## 參考文獻
符天建道恭仁康定隆文布武顯德崇孝景皇帝

**明景帝朱祁鈺**（1428 年 9 月 21 日 —1457 年 3 月 14 日），年號**景泰**，明朝第 7 位皇帝（1449 年 9 月 22 日－1457 年 2 月 24 日在位）。明宣宗皇次子，明英宗異母弟，母親是賢妃吳氏。明憲宗追諡其為「恭仁康定**景皇帝**」，南明弘光帝上廟號「**代宗**」，諡號「符天建道恭仁康定隆文布武顯德崇孝**景皇帝**」，故後世又稱**明代宗**。

## 人物生平

生於宣德三年（1428 年），他是明宣宗次子，母吳賢妃。據《明史》稱吳賢妃為明宣宗為皇太孫時的侍女。

兄長明英宗即位後封他為郕王。1449 年，明英宗在「土木堡之變」被瓦剌太師也先所俘後，郕王先被命監國，後被于謙等大臣擁立，是為代宗，年號景泰，尊英宗為太上皇。

景泰帝即位後，用于謙為兵部尚書，北京保衛戰粉碎了瓦剌的進攻。景泰元年（1450 年）八月，鴻臚寺卿楊善出使瓦剌，靠著三寸巧舌說服了也先，英宗返回北京，景泰帝並沒有迎回兄長的意思，又害怕他復辟，故將其軟禁於宮中，以錦衣衛嚴密控管，宮門上鎖並且灌鉛，食物僅能由小洞遞入。

景泰三年，景泰帝廢去英宗長子朱見深的太子之位，改立自己兒子朱見濟為太子，但朱見濟在次年去世。

景泰八年（1457 年）正月，景泰帝病危，十六日曹吉祥、石亨、徐有貞等人謀復立英宗，十七日清晨發動奪門之變，率領武士攻入紫禁城奉天殿，英宗復辟。十四天後的二月初一，廢景泰帝為郕王，軟禁在西苑，當月去世。

景泰帝死後，未能葬於明皇陵當中原定為其準備的壽陵，而是被葬於西郊金山（玉泉山北）的景泰陵。英宗令廷臣議王妃之殉葬。議及被代宗所廢的元配汪皇后，被李賢及太子諫止。後以皇貴妃唐氏殉葬。

英宗恨景泰帝薄待，諡為**戾王**，稱**郕戾王**、**廢帝**。憲宗成化時期上諡號「恭仁康定**景皇帝**」。崇禎十七年（1644 年）七月乙丑，南明弘光帝上廟號**代宗**，諡號「符天建道恭仁康定隆文布武顯德崇孝**景皇帝**」。清朝復稱其諡號為「恭仁康定**景皇帝**」。明清史書多稱其為景帝。

景泰帝是少數未安葬在明十三陵的明朝皇帝（另外明太祖葬於南京明孝陵，而建文帝因最後失蹤故無陵墓）。

## 評價

孫太后廢朱祁鈺為郕王制諭：「既貪天位，曾無復辟之心，乃用邪謀，反為幽閉之計。廢出皇儲，私立己子，斁敗綱常，變亂彝典，縱肆淫酗，信任奸回。毀奉先傍殿建宮，以居妖妓，污緝熙便殿受戒，以禮胡僧。濫賞妄費而無經，急徵暴歛而無藝，府藏空虛，海內窮困。不孝不弟，不仁不義，穢德彰聞，神人共怒。上天震威，屢垂明象，祁鈺恬不知省，拒諫飾非，造罪愈甚。」

成化帝：「朕叔郕王踐阼，戡難保邦，奠安宗社，殆將八載。彌留之際，奸臣貪功，妄興讒構，請削帝號。先帝旋知其枉，每用悔恨，以次抵諸奸於法，不幸上賓，未及舉正。朕敦念親親，用成先志，可仍皇帝之號，其議諡以聞。」

《明史》：「景帝當倥傯之時，奉命居攝，旋王大位以系人心，事之權而得其正者也。篤任賢能，勵精政治，強寇深入而宗社乂安，再造之績良雲偉矣。而乃汲汲易儲，南內深錮，朝謁不許，恩誼恝然。終於輿疾齋宮，小人乘間竊發，事起倉猝，不克以令名終，惜夫。」

明史研究學者趙毅與羅冬陽在其著作《明英宗傳》中亦對於景帝的貢獻做出肯定評價，認為依照當時的道德標準來看，景帝除了易太子與廢汪後二事不得人心以外，於危難之中登基，收拾其兄英宗統治而危機四伏的局面，實為明朝的再造之君。

## 任用官員

### 宰輔

* 于謙：當時掌握軍權者。
* 石亨：當時掌握軍權者。
* 陳循
* 高穀
* 王文
* 江淵
* 王一寧
* 蕭鎡
* 商輅
* 苗衷
* 彭時
* 俞綱

### 太監

* 成敬：內官監太監。永樂二十二年進士，後因案充軍改腐刑而為黃門。為人謙遜，雖然受到皇帝重用，但並不攬權。

## 家庭成員

### 妻妾

1. 廢后汪氏，正統十年，冊為郕王妃。生兩女。性格剛毅，心懷仁德。因反對代宗易儲，景泰三年被廢，英宗免殉死，復郕王妃，出居王府。正德元年（1506 年）十二月薨逝，享壽八十，死後同葬景泰陵，追封為貞惠安和景皇后。弘光時，改上諡「孝淵景皇后」。
2. 皇后杭氏，懷獻太子朱見濟母，景泰三年立為皇后，七年，杭皇后崩，諡曰肅孝皇后。英宗復位（天順年間），削皇后號，毀所葬陵。
3. 唐皇貴妃，都督唐興女也。以景泰七年進宮，八年封貴妃，寵幸冠後廷。嘗乘馬隨帝游西苑，馬驚妃墮，帝乃命中官劉茂，選御廄之最良者，日控習以待。天順元年二月革封號。郕王死，群臣議殉葬。及妃，妃無言，遂殉之，葬金山
4. 李惜兒。
5. 妃孫氏，景泰七年十一月升錦衣衛百戶孫震為副千戶，孫震即孫氏家族的外戚

### 子女

#### 子

1. 懷獻太子朱見濟，生母為皇后杭氏，景泰四年去世。

#### 女

1. 固安公主，英宗復辟，降稱郡主
2. 一女，汪皇后生，幼於固安公主，稍長齋素，矢不下嫁。

## 影視形象

* 1985 年香港亞洲電視電視劇《萍蹤俠影錄》宗揚 飾演景泰帝。
* 1987 年香港電視連續劇《龍庭爭霸》 張兆輝飾演景泰帝。
* 2003 年中國大陸電視連續劇《大明王朝 1449》 高虎飾演景泰帝。
* 2011 年中國大陸古裝言情劇《後宮》，張雷飾演景泰帝。
* 2015 年香港電視連續劇《刀下留人》 張智軒飾演景泰帝。
* 2016 年中國大陸電視連續劇《女醫・明妃傳》，黃軒飾演朱祁鈺。
* 2019 年中國大陸電視劇《大明風華》，李昕亮飾演朱祁鈺。
* 2020 年中國大陸古裝劇《成化十四年》，李泰延飾演景泰帝。

## 延伸閱讀

[編]

　
: 《明史卷十一》，出自《明史》

　
: 在維基共享資源**閱覽影像**

## 參考文獻

## 外部連結

* 土木堡之變（明英宗被瓦剌俘虜）
* 京師保衛戰
* 奪門之變（明英宗復辟）
* 于謙
* 景泰陵
符天曆

《**符天曆**》又稱《合元萬分曆》，是中國古代曆法，唐朝曹士蒍撰寫，屬於陰陽曆。

《符天曆》以唐高宗顯慶五年（660 年）為近距上元，以雨水為歲首，以萬分為日法，廢除上元積年。在民間施行，世稱**小曆**。五代後晉時，改造施行，稱為《調元曆》。在五代末年傳到日本，和之前的《宣明曆》參照算曆。其中有關占卜內容廣泛流傳民間。上海圖書館藏有《縮象符天曆》抄本，日本現存抄本殘卷。

## 參考文獻

* 《中國歷史大辭典》
符太后

**宣慈符皇后**（933 年 —993 年），後周世宗郭榮的第二任皇后，是節度使、魏王符彥卿之女，宣懿符皇后之妹。

生於 933 年。姐姐宣懿符皇后於顯德三年（956 年）病逝後，她成了姐夫郭榮的繼室。顯德六年（959 年）六月初九，立為皇后。六月十九，郭榮病逝，其子郭宗訓即位，尊符皇后為太后。因郭宗訓年僅 7 歲，由符太后臨朝聽政，范質、王溥等主持軍國大事。

顯德七年（960 年），殿前都點檢趙匡胤發動陳橋兵變，廢黜周恭帝郭宗訓，是為宋太祖，建立宋朝。符太后遷西宮，號**周太后**。郭宗訓死後她出家修道，號**玉清仙師**。淳化四年（993 年）過世。北宋朝廷諡其曰「宣慈皇后」（後世較常用**小符皇后**稱之，以區別同是皇后的姐姐），後宋廷將其葬於宣懿皇后的懿陵附近，今封土已經無痕跡。

## 影視形象

浮世雙嬌傳符金盞李藝彤飾

## 參考文獻

* 《資治通鑑・卷 294》
符太增

**符太增**（1956 年 9 月 —），男，漢族，遼寧黑山人，中華人民共和國政治人物。遼寧財經學院（現東北財經大學）財政金融系財政專業畢業，財政部財政科學研究所財政專業在職研究生學歷。

## 生平

1976 年 7 月參加工作，1985 年 12 月加入中國共產黨。歷任內蒙古自治區財政廳副處長、處長、副廳長、廳長；中共通遼市委書記；內蒙古自治區黨委副秘書長等職。2006 年 11 月，任中共內蒙古自治區黨委常委、秘書長。2015 年 1 月，當選內蒙古自治區人民政府副主席，兼自治區政府黨組副書記。同年 3 月，任自治區常務副主席。2016 年 11 月 1 日，不再擔任中共內蒙古自治區黨委常委、自治區常務副主席，次月任自治區政協黨組成員。2017 年 1 月，任內蒙古自治區政協黨組副書記。

## 參考文獻
符夹线

**符夾鐵路**，位於安徽省淮北市，宿州市和江蘇省徐州市。起自京滬鐵路符離集站，至隴海鐵路夾河寨站，長 84.292 公里。擔負閘河煤田外運，並為繞過徐州鐵路樞紐的聯絡線。

## 歷史

1958 年 8 月開工。分段建設。1966 年 6 月 30 日建成。

2012 年 10 月，符夾線擴能複線電化改造項目列為鄭徐高鐵符夾聯絡線工程。改造後滿足 120 公里時速的雙線，電力牽引，總投資人民幣 64.22 億元。

2017 年 10 月 12 日，配合淮北至蕭縣北客車聯絡線引入的淮北至淮北北站普速場區段接觸網送電一次性成功。

2018 年 12 月 24 日，符夾線擴能複線電化改造項目全線竣工，並按期投入運營。

## 參考文獻
符姓

**符姓**為中文姓氏之一，在《百家姓》中排名第 251 位。注意**符**與氐族前秦君主苻堅之**苻**姓有別。符的姓氏是以中國古代官職名稱命氏，源自姬姓，系承周文王後裔，而得氏於春秋戰國時期。

## 起源

### 漢族

根據《元和姓纂》所載：

* 「魯頃公孫公雅，為秦符璽令，因為氏，琅邪」。

指戰國末年即公元前 256 年楚國滅魯，魯頃公的孫子**公雅**乃出奔秦國並獲擢用為符璽令，符璽乃古代朝中傳達任命、行軍遣將所用的憑證（見兵符），先用金、玉、銅、竹或木製成某個形狀（如虎型），再從中間剖成兩半，帝皇的代表與被調遣的將領各持一半，傳令時相合以釐清真偽。公雅的族人後裔遂以職為姓，而郡望則來自原屬魯國境內的琅邪郡（今山東省青島市）。

### 氐族

東晉氐族領袖苻洪，本為蒲姓，以讖緯而改姓。後封氐王，征北大將軍，假節。其子苻健建立前秦，前秦被後秦滅亡後，苻氏後人多因避禍改為符姓，少數改回原本的蒲姓，也多半融入漢族。

## 遷徙分佈

### 大中華地區

* 香港、海南島、澳門、廣東、另外地方。符姓在海南島名列五大，是當地大姓。必經另有很多族群像很多符姓彝族、苗族、黎族、土家族。

### 東南亞

* 泰國、馬來西亞、新加坡、越南、英國、澳大利亞等地，且多為近代海南島如海口市、文昌、瓊海的移民後代。

## 常見錯別

符氏與苻姓由於字形寫法相近，加上在晉朝以前同樣屬於北方黃河流域一帶的姓氏，導致直到今時今日仍然有不少人誤把兩者混淆。

其中最常見的例子是把五胡十六國時期的氐族前秦君主苻堅及苻融等族人寫成符姓，但據《晉書苻洪載記》文獻所指苻氏源於蒲姓，乃夏禹的姒姓後裔；始見於南北朝。不過實際上部分的苻姓遺族或因戰亂迭失、胡族歸化，或因躲避姚秦和晉朝追捕，而在稍後時間融貫入符氏，但「苻」、「符」字形依然有別，請勿貽誤。

## 參考文獻

## 外部連結

* 符氏起源 - 家譜網

## 延伸閱讀

[編]

　
: 《百家姓》

　
: 《欽定古今圖書集成・明倫彙編・氏族典・符姓部》，出自陳夢雷《古今圖書集成》
符婕妤

**符婕妤**（?—?），南宋皇帝宋光宗的妃嬪，姓**符氏**。

## 生平

符氏初為宮人，紹熙四年（1193 年）十二月十五日，宋光宗下詔命宮人符氏與轉永寧郡夫人，李氏與轉通義郡夫人。慶元六年（1200 年）二月十三日，宋寧宗詔：「恭奉聖安壽仁太上皇帝聖旨，壽康宮宮人永寧郡夫人符氏進封婕妤。」皇后李鳳娘善妒，將符婕妤出嫁於民間。

## 參考資料

* 《宋史・卷二百四十三 列傳第二 后妃下》
* 《宋會要輯稿》
符婕妤_(宋光宗)

**符婕妤**（?—?），南宋皇帝宋光宗的妃嬪，姓**符氏**。

## 生平

符氏初為宮人，紹熙四年（1193 年）十二月十五日，宋光宗下詔命宮人符氏與轉永寧郡夫人，李氏與轉通義郡夫人。慶元六年（1200 年）二月十三日，宋寧宗詔：「恭奉聖安壽仁太上皇帝聖旨，壽康宮宮人永寧郡夫人符氏進封婕妤。」皇后李鳳娘善妒，將符婕妤出嫁於民間。

## 參考資料

* 《宋史・卷二百四十三 列傳第二 后妃下》
* 《宋會要輯稿》
符宁

**符寧**（高棉語：ហូ នឹម _Hu Nim_；1932 年 7 月 25 日 —1977 年 7 月 6 日），綽號**波**（ភាស់ _Phoas_），是赤柬重要領導人之一。出身磅湛省，有一半的華人血統。家境貧困，後來加入赤柬，成為重要領導人之一。1970 年柬埔寨政變之後，施亞努在北京成立流亡的柬埔寨王國民族團結政府，號召各界柬埔寨人士反抗朗諾的柬埔寨共和國。符寧表示支持施亞努，被任命為新聞部長。1975 年赤柬奪取政權之後，大量施亞努的支持者被迫害，但他仍在黨內保留著重要職務。他在處理馬亞克斯號事件中獲得很大的國際聲望。1977 年 4 月 10 日，被逮捕入 S-21 集中營，在那裡遭到殘酷拷打，並於 7 月 6 日被處決。

## 參考資料
符宇航

**符宇航**（1974 年 7 月 —），四川宣漢人，漢族，中國共產黨黨員。中華人民共和國政治人物、第十三屆全國人民代表大會四川地區代表。

## 生平

2018 年 2 月 24 日，當選為第十三屆全國人大代表。

## 參考文獻
符定一

**符定一**（1879 年 —1958 年 5 月 3 日），字**宇澄**，號**悔庵**，湖南衡山人，文字學家，中央文史研究館首任館長，曾為毛澤東之師。

## 生平

符定一早年就讀於衡陽師範學堂、1908 年畢業於京師大學堂。1908 年畢業時奏獎舉人、中書科中書。此後任資政院秘書、順天高等學堂教習。中華民國成立後在湖南從事教育事業，擔任過嶽麓書院都督、湖南省教育總會會長、湖南全省公立高等中學堂（省立第一中學）校長，1912 年親自招考毛澤東入學，曾把把自己圈點過的一部《御批通鑑輯覽》送給毛澤東；符定一後任湖南高等師範學校校長 1913 年後，補選為國會議員，定居北平。1918 年又當選第二屆國會（安福國會）眾議院議員。1918 年，毛澤東在湖南第一師範畢業後，為組織湖南青年赴法國勤工儉學，與羅學瓚等來到北平，拜見了符定一；在北大圖書館任助理員。符定一在經濟上也曾予以適當援助。毛澤東的母親去世時，符定一主動拿出 50 元銀洋，作為回鄉奔喪之用。1926 年出任財政部次長，同時兼任鹽務署署長、稽核總所總辦。1927 年辭職，致力於國學著作，1940 年出版《聯綿字典》。1949 年參加中國人民政治協商會議第一屆全體會議。1946 年 6 月飛延安參觀。1948 年 10 月華北局城工部派人護送由滄縣秘密進入解放區。一到泊頭，黨中央立即派車接到石家莊，並指定送到西柏坡。當夜周恩來副主席攜燈等候於村口，毛澤東親迎於院門，談話從晚 11 點一直持續到凌晨 3 點。翌日上午，從西柏坡移住當時中央城工部所在地的李家莊。與先後到達解放區的李濟深、沈鈞儒、馬敘倫、郭沫若等 55 人在 1949 年 1 月 22 日發表《對時局的意見》，堅決支持中共中央毛澤東主席在對時局聲明中提出的八項和平條件，表示革命必須進行到底，革命與反革命之間絕無妥協與調和的可能。和共產黨一起，揭發了南京反動集團發動的和平攻勢，挫敗了敵人妄圖從政治上苟延殘喘的陰謀。

中華人民共和國成立後，當選全國政協委員和人大代表，被委任為政務院文化教育委員會委員。1951 年政務院文史研究館成立後出任首任館長。1958 年 5 月 3 日因動脈硬化與肺炎等逝世。毛澤東主席和黨中央立即派田家英到家看望，決定成立以程潛為首的治喪委員會，6 日舉行公祭，毛澤東主席和劉少奇、周恩來、朱德、陳雲、鄧小平等中央領導同志都送了花圈，弔詞對一生作了崇高的評價。周恩來總結其一生有三大貢獻：一是發現毛澤東為中國有用人才之第一人；二是建黨初期，支持黨的活動，營救黨的領袖（趙恆惕 1926 年欲逮捕毛澤東）；三是晚年參加反蔣鬥爭，對建設新中國有貢獻。葬於八寶山革命公墓。

## 主要作品

* 《聯緜字典》
* 《新學偽經考駁誼》

## 參考資料
符宣朝

**符宣朝**（1967 年 10 月 —），海南東方人，漢族，中國共產黨黨員。中華人民共和國政治人物、第十三屆全國人民代表大會海南地區代表。

## 生平

2018 年 2 月 24 日，當選為第十三屆全國人大代表。

## 參考文獻
符家俊

**符家浚**（英語：**Calvert Fu Ka Tsun**，1993 年 1 月 15 日 —），香港男歌手。2013 年作品《自動棄權》熱播，令符家浚開始為人所熟悉。

## 簡介

### 經歷

符家浚早年於香港沙田區長大。他畢業於保良局莊啟程小學，後分別入讀馬鞍山崇真中學和潮州會館中學。他從初中開始喜歡唱歌，後來參加香港商業電台「903 好出奇暑期筍工」勝出，獲得太陽娛樂文化合約成為旗下歌手，為期一年。太陽娛樂文化為符家浚在 2013 年 9 月發放第一首派台歌《人生不是一份工》，並在 10 月舉行其首次音樂會。2014 年約滿離開太陽娛樂。

2018 年簽約新公司。

符家浚亦是無伴奏合唱組合 SENZA A Cappella 的成員。

因體形肥胖，出演電影殺出個黃昏，飾演林雪青年版。

於 2021 年麥花臣舉行入行八年首個個人演唱會《符家浚與他的幻想世界》。

### 軼事

2018 年歌曲《仍未放手》疑因發生版權糾紛，最終歌曲煞停全線被下架不能面世，事件在網絡瘋傳，雙方各執一詞網上展開罵戰，到 2020 年重新編曲才能在其 YouTube 頻道上架。

## 音樂作品

### 個人專輯

### SENZA A Cappella 專輯

### 派台歌曲成績

_**註：組合名義的派台歌，請參閱 SENZA A Cappella 之頁面。**_

* （\*）表示仍在榜上
* （-）未能上榜
* **^** 註解 a：包括 2020 年後的冠軍歌曲
* **^** 註解 b：2020 年起

## 演出作品

### 電視節目

### 廣告

* Alipayhk
* 合味道
* ZA Bank
* 百老匯
* 大快活

### 電影

## 獎項

* 2013 年
  * 903 好出奇暑期筍工 冠軍

## 注釋

## 參考資料

## 外部連結

* 符家浚的 Facebook 專頁
* 符家浚的 Instagram 帳戶
符家川镇

**符家川鎮**，是中華人民共和國甘肅省定西市安定區下轄的一個鄉鎮級行政單位。

## 行政區劃

符家川鎮下轄以下地區：

紅莊村、​楊灣村、​長豐村、​金星村、​蘭星村、​高陽村、​秦家岔村、​羅家岔村、​大岔村和黃坪村。

## 參考資料
符宾

**符賓**（1969 年 5 月 6 日 —），籍貫河北，出生於北京，是一名退役中國足球運動員。符賓曾多次入選中國國家隊，是為數不多的河北籍國腳之一，但是始終沒有坐穩過主力國門的位置。他曾是中超聯賽年齡最大的球員。

1994 年聯賽職業化後，符賓加盟了吉林三星，但在球隊中只是替補球員。1995 年符賓加盟家鄉球隊北京國安，幫助球隊獲得兩屆中國足協盃冠軍，還入選國家隊。

1998 年，符賓以 200 萬元轉會前衛寰島 (即後來的重慶力帆)，他坐穩了首發的位置，在 2000 年幫助球隊獲得了中國足協盃冠軍。

2004 年，符賓轉會湖南湘軍，還兼任球隊的守門員教練，但球隊還是在 2006 年降級。

2007 年，已經連續幾年效力於低級別聯賽的符賓加盟成都謝菲聯參加中甲聯賽，2008 及 2009 年則參加中超聯賽。

2009 賽季結束後，40 歲的符賓終於選擇退役，成為成都謝菲聯的守門員教練。2011 年 7 月，符賓加盟天津泰達，擔任守門員教練，2015 年冬訓前離隊。

2017 年 7 月，符賓回歸北京國安隊，擔任領隊。

符賓在中國頂級及次級職業聯賽合共出場 350 次（不完全統計）並曾 720 分鐘不失球，保持中國職業聯賽不失球的最高紀錄，同時也是中國足壇出場最大年齡的球員 (40 歲零 133 天)。

## 參考資料

## 外部連結

* 符賓：一個化石級球員的退隱（頁面存檔備份，存於網際網路檔案館）
符小琴

**符小琴**（1976 年 9 月 —），海南儋州人，黎族，中國共產黨黨員。中華人民共和國政治人物、第十三屆全國人民代表大會海南地區代表。

## 生平

2018 年 2 月 24 日，當選為第十三屆全國人大代表。

## 參考文獻
符尾

**符尾**為音符中連接著符桿的部分，其數量標示該音符的時值，如八分音符有一個，十六分音符有兩個，如此類推，而四分音符或更長的時值則沒有符尾。而若符桿在符頭的上方，符尾在符桿右方，尖端朝下；若符桿在符頭的下方，符尾也在符桿右方，尖端朝上。當數個有符尾的音符相連出現，多會以符槓互相連接而取代符尾。

## 另見

* 音符時值
* 符頭
* 符桿
* 符槓
符幼魯

**符曾**（?—?），字**幼魯**，號**藥林**，浙江錢塘（今杭州）人。

## 生平

乾隆十二年（1747 年）的博學鴻詞科，因父喪而辭卻赴考。後由大理卿汪瀧推薦，官至戶部郎中。工於詩，「氣和而色淡，志迫而神清」，「當其至處，几几欲登白石之堂而奪其席」。卒年不詳。有《春見小稿》、《賞雨前屋小稿》。與鄉人沈嘉轍、吳排、陳芝光、趙里、厲鸚、趙信等合輯《南寧雜事詩》七卷。

## 參考資料
符廷貴

**符廷貴**（1944 年 8 月 —），遼寧省盤山縣人，1966 年 4 月加入中國共產黨，1963 年 12 月參加工作，1963 年 12 月參加中國人民解放軍，上將軍階。

## 履歷

1963 年 12 月至 1967 年 11 月陸軍戰士、團電影組放映員；1967 年 11 月至 1970 年 2 月陸軍團政治處幹事；1970 年 2 月至 1971 年 6 月陸軍師政治部幹事；1971 年 6 月至 1979 年 6 月吉林省軍區政治部秘書處秘書、副處長；1979 年 6 月至 1980 年 10 月吉林省軍區政治部組織處副處長；1980 年 10 月至 1981 年 7 月陸軍團副政治委員；1981 年 7 月至 1983 年 5 月陸軍團政治委員；1983 年 5 月至 1988 年 7 月陸軍師政治委員（期間：1985 年 9 月至 1988 年 7 月在國防大學基本一系學習）；1988 年 7 月至 1991 年 8 月陸軍集團軍政治部副主任；1991 年 8 月至 1994 年 8 月吉林省軍區政治部主任；1994 年 8 月至 2001 年 7 月陸軍集團軍政治委員（期間：1992 年 8 月至 1994 年 12 月在中共中央黨校經濟管理專業函授學習；2001 年 3 月至 7 月在國防大學正軍職以上幹部培訓班學習）。

2001 年 7 月至 2003 年 12 月北京軍區政治部主任、軍區黨委常委；2003 年 12 月至 2009 年 12 月任北京軍區政治委員。2008 年，擔任中共十七屆中央委員，全國人大農業與農村委員會副主任委員。

中共第十六、十七屆中央委員。1994 年 7 月晉升為少將軍階，2002 年 7 月晉升為中將軍階，2006 年 6 月 24 日晉升為上將軍階。

## 參考文獻
符强

**符強**（1947 年 11 月 —），四川簡陽人。1980 年 5 月加入中國共產黨。新疆大學政治系政治理論專業畢業，大學學歷。歷任新疆大學黨委組織部副部長、辦公室主任，中共吐魯番地委委員、組織部部長、副書記，新疆維吾爾自治區黨委組織部副部長、副秘書長、辦公廳主任、秘書長等職。2001 年 10 月獲任新疆維吾爾自治區黨委常委，2006 年 1 月兼任自治區紀委書記，2009 年 9 月再兼任區委政法委書記。2011 年因年齡到線去職。

## 參考文獻
符彥超

**符彥超**（—934 年），陳州宛丘縣人（今河南省淮陽區），是中國五代時期的後唐軍事將領。

## 生平

### 出身

其父符存審是晉王李克用手下大將，因此作為長子的符彥超年少時候已經在李克用帳下當上牙將（統率約 5,000 兵馬）。同光元年（923 年）後唐立國，莊宗李存勗即位登基，先封符彥超為安遠軍節度使。翌年符存審逝世，臨終前一直不獲招待入覲面聖，而莊宗聞訊之後悔疚不已，不單廢朝三日，亦擢升符彥超為汾州刺史以示思恤。

### 臨危不亂

同光四年（926 年）魏博軍士兵皇甫暉因為不能歸鄉，煽動同袍叛變，殺主帥楊仁晸，改立偏將趙在禮為留後，是為鄴都之變。莊宗命李嗣源前往討伐，李嗣源卻被挾持，與魏博叛軍合兵造反，占據汴州（今河南開封），進軍洛邑（今河南省洛陽），沉溺逸樂的莊宗連忙準備應戰，下詔要符彥超赴任北京巡檢（當時的北京指李克用發源地太原），負責統領太原的防務，又派宦官呂、鄭二人到當地，分別監察遣兵和國庫倉儲的情況。但叛軍勢如破竹，不久又發生興教門之變使莊宗在洛陽絳霄殿中箭身亡，此時李嗣源更是打起替莊宗復仇的名義，進入洛陽肅清郭從謙等伶人，之後就自立為監國，後來稱帝。莊宗的弟弟永王李存霸慌忙逃離洛陽，單人匹馬來到符彥超轄下的河東，特地換上僧袍來到符彥超跟前，表面上說：「我只求遁入空門，到山上當個僧侶，還望符公你多加庇護」，實則與宦官呂、鄭二人暗中密謀，計劃殺害符彥超與太原留守張憲之後據河東自立。符彥超察覺到他們的陰謀，私下通知張憲商議對策，並勸張憲先發制人，但身為長官的張憲卻遲疑不決。

《宋史・張昭傳》有所記載，張昭是留守張憲的推官（副官），此時也進言說：「難道你不知道逐走李存霸方是自保的良策嗎？」張憲卻說：「我本是一介儒生，幸而得到莊宗賞識，才能像現在這樣位居北京留守，成為布衣人臣之極。那我又怎可以為了苟且厚顏求生，而除掉主公之弟呢？」張昭唯有對曰：「這真是古人之志，唯有你能成此壯烈之舉。」張憲因而始終沒有主意，舉棋不定，符彥超也都無可奈何，然而部下們卻鼓譟起來，認為如果不先下手為強，則很可能會被李存霸加害。由於符彥超是武人出身，掌握太原的實質兵權，轄下全數州兵很快地響應集結起來，嚇得張憲不得不慌忙出走到忻州。當日黃昏時份，符彥超下令軍士捉拿李存霸和呂、鄭宦官二人於衙城內處決，城內氣氛開始轉趨安定。

到了翌日早上，洛陽興教門禍變的消息才傳到太原，符彥超得知莊宗已經遇難後，只好代理太原軍府，同時告諭三軍嚴守軍法，不可違紀擾民。當時又傳聞鄴城兵士推戴明宗（李嗣源），由於李嗣源是先主李克用的義長子（大太保），因此符彥超亦準備與麾下將士響應。有想殺張昭的人便把他綁起來交給符彥超，不料符彥超並不領情，反說：「張昭是個正人君子，不可濫加陷害」，於是只是叫張昭撰寫榜文，安撫太原民心，之後便把他放了。

### 升遷

天成元年（926 年）李嗣源即位為後唐明宗，隨即委派符彥超的四弟龍武都虞候符彥卿到長兄這邊招撫。六月符彥超入覲參見，明宗撫諭他說：「河東之所以無亂事，都是因為你的功勞。」便授予晉州留後一職。而符彥超尚未到晉州上任，就先與二弟曹州刺史符彥饒合兵去剿平叛亂的宣武軍，明宗得知後大喜，再召符彥超到殿前說：「我得到你們家幾兄弟的效力，餘下就沒什麼好憂慮的，你就為我去河東撫恤舊部吧」，當即升遷他為北京留守（太原尹）。翌年冬天（927 年）加授昭義節度使，又請旨明宗：「先父存審本來姓符，蒙武皇賜姓不勝感恩，然今先父已逝，故請主乞還本姓」，明宗准奏。天成四年（929 年），授驍衛上將軍，後封金吾上將軍。

長興元年（930 年）朝廷授符彥超泰寧軍節度使，後改往鎮守安州。當時其軍中有個叫王佛留的役卒由於略懂書計，符彥超便派他去處理帳目，日久爾後帳目無端耗失甚多，符彥超對他有所微言，但僅是略為譴責，預料不到王佛留卻包藏禍心。應順元年正月（934 年），王佛留見朝廷處於多事之秋，與任貨兒等人暗中謀亂。有一晚，朝廷遣使到符彥超官邸送遞急函，王佛留卻心裡有鬼，恐懼自己惡行被揭，竟趁符彥超走出廳堂時挾刀殺害。翌晨，安州副使李端召州兵圍捕王佛留，捉拿後斬首正法，之後李端又到淮南擒獲賊黨趙溫等二十六人誅之。符彥超被害後閔帝甚為惋惜，追增太尉。

## 另一說法

儘管《舊五代史》和《宋史》均指在興教門之變後，趕到太原有所企圖的是莊宗之弟李存霸。然而司馬光的《資治通鑑・後唐紀》卻提供了另一個版本，它指當時投靠到太原的並非李存霸，而是一個叫李存沼的莊宗近親，並認為此人矯傳莊宗的聖旨，命令呂、鄭兩名宦官殺張憲和符彥超後，佔太原以對抗李嗣源。但此版本的結果與《舊五代史》相近，符彥超向張憲道破對方的陰謀，而張憲只說：「我受先皇厚恩，不忍下手，我明白要盡義就不免招致殺身之禍，這都是天意啊。」符彥超見他迂腐，便自行命令士卒先發制人，保持城裡面安定，同時暫理太原軍政大權。

此外，《資治通鑑・後唐紀》又提及莊宗劉皇后在當時也有逃到太原尋求保護，但由於她在途中與莊宗四弟申王李存渥有染，符彥超並沒有準許他們入城。李存渥逃到鳳谷，被部下所殺，劉皇后在晉陽為尼姑，也被李嗣源派人殺死。

## 兄弟

符彥超九兄弟在後唐至北宋初年均身居朝廷要職：

1. 長男：符彥超
2. 二弟：符彥饒 義成節度使、梁州馬部軍都指揮使
3. 三弟：符彥圖 驍騎將軍
4. 四弟：符彥卿 魏王、大將軍、太師、太傅
5. 五弟：符彥能 奉國節度使、楚州防禦使
6. 六弟：符彥琳 金吾上將軍、太子太師
7. 七弟：符彥彝 武安節度使
8. 八弟：符彥倫 定遠節度使、嚴州知州
9. 九弟：符彥昇 昭慶節度使

## 參考文獻及注腳

* 《舊五代史・唐書三十二・列傳八》
* 《新五代史・唐臣傳第十三》
* 《資治通鑑・後唐紀》
符彥饒

**符彥饒**（？—937 年），中國五代十國時後唐、後晉將領，後唐時名為**李彥饒**，陳州宛丘縣（今河南省淮陽區）人，祖籍李克用義子李存審（符存審）的次子。符彥超的弟弟，符彥卿的二哥。

## 生平

符彥饒少年時驍勇，善於騎馬射箭。他隨父親與後梁軍隊在胡柳陂血戰，因功任用為騎將。唐莊宗同光年間以功授曹州刺史。唐明宗天成初年，符彥饒為汴州馬步軍都指揮使。控鶴指揮使張諫殺知州作亂，逼迫李彥饒為帥，李彥饒假裝同意，暗中伏兵將其誅殺，唐明宗嘉賞他的忠勇，讓他歷任沂州、饒州刺史，忠正軍節度使，侍衛馬步軍都指揮使。李彥饒從唐末帝李從珂在河陽抵禦石敬瑭。石敬瑭建立後晉，滅後唐，李彥饒改名符彥饒，改任滑州義成軍節度使。范延光反，白奉進以兵屯守滑州，符彥饒屬下士兵犯法，被白奉進斬殺，符彥饒的部下又殺白奉進。屯駐軍將校將符彥饒執送京師開封府。後晉天福二年（937 年）七月初四，後晉高祖石敬瑭敕令在進京途中班荊館斬殺了符彥饒，對於他的兄弟們都沒有究問。

## 延伸閱讀

[編]

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

　
:

## 參考文獻

* 《舊五代史》卷九十一
* 《新五代史》卷二十五
符律衡

**阿甲**（1907 年 —1994 年 12 月 24 日），原名**符律衡**，又名**符正**，男，江蘇武進人，中國戲曲理論家、劇作家、導演，中國戲劇家協會原副主席，第六屆全國政協委員。

## 生平

1938 年從家鄉抵達中共中央所在地延安，就讀於魯迅藝術學院，曾參加延安文藝座談會。畢業後，開始從事京劇改革和創作工作，任魯藝平劇研究團團長。1942 年，成立延安平劇研究院，任院務委員、研究室主任、副院長。

中華人民共和國成立後，但任文化部戲曲改進局藝術處副處長、中國戲曲研究院研究室主任、中國京劇院總導演、副院長兼藝術室主任。「文化大革命」時期受迫害，文革後恢復名譽，任中國京劇院名譽院長、中國戲劇家協會副主席、中國藝術研究院顧問、戲曲理論博士生導師等職。晚年定居江蘇無錫，1994 年去世。

## 代表作品

**京劇**

* 《紅燈記》
* 《白毛女》
* 《赤壁之戰》
* 《鳳凰二喬》

**崑曲**

* 《晴雯》

**粵劇**

* 《李香君》

**桂劇**

* 《桃花扇》

## 參考資料
符志洛

**符志洛**（1924 年 11 月 —2014 年 1 月 24 日），中國海南文昌人，人民解放軍軍事將領。

早年參加瓊崖縱隊，擔任股長。第二次國共內戰期間，歷任瓊崖縱隊第九團政委。中華人民共和國成立後，擔任海南軍區政治部組織部副部長，四十三軍政治部幹部處處長，132 師 385 團政委、師副政委，廣州軍區生產建設兵團第四師政委、兵團政治部副主任，海南軍區政治部副主任，通什軍分區政委，海南軍區副政委等職。

## 參考
符忠孝

**符浩**（1916 年 4 月 13 日 —2016 年 6 月 17 日），原名**符忠孝**，男，陝西禮泉人，中華人民共和國政治人物。延安抗日軍政大學畢業。曾任第六、第七屆全國人大常委會委員、全國人大外事委員會副主任委員，外交部副部長，中國駐日本、越南等國大使；是中華人民共和國第一代職業外交官。

## 生平

符浩出生在陝西禮泉縣的一個普通農民家庭。1937 年 10 月參加革命工作。1938 年 2 月加入中國共產黨。曾先後在西安師範學校和延安抗日軍政大學學習。在抗大學習期間，改名「符浩」。

學習結束後，符浩成為入八路軍，在部隊從事政治和宣傳的工作；曾歷任八路軍 115 師團政治處股長，渤海軍區敵工科科長，北平軍事調處執行部駐德州小組中共代表，渤海軍區宣傳部、聯絡部、組織部部長，第三野戰軍師政治部主任等職。

中華人民共和國建國後，1950 年符浩被抽調進入剛剛成立的外交部工作，開始了近半個世紀的外交生涯，被認為是中國外交部的「開山元老」之一。

進入外交部後，符浩被任命為中國駐蒙古國大使館政治參贊；後歷任外交部亞洲司專員、副司長，駐印度大使館參贊，外交部人事司副司長，政治部副主任兼幹部司司長，外交部辦公廳主任，中國駐越南大使，駐日本大使，外交部副部長、顧問等職。在「文革」期間，符浩和外交部的九十名領導幹部聯名保陳毅，並因此受到衝擊。

1983 年，符浩從外交部退休後，當選為全國人大常委會委員、兼全國人大外事委員會副主任委員，繼續在全國人大從事立法機構外交工作；1988 年，連任第七屆全國人大常委會委員。自 1984 年到 1999 年，符浩還曾一直擔任中日友好 21 世紀委員會委員；1996 年當選第三屆委員會中方首席委員。1994 年 10 月離休。

2016 年 6 月 17 日，在北京逝世。

## 主要外交經歷

* 1953 年夏天，韓戰結束後，符浩協助李克農擔任中國人民志願軍遣俘代表團的顧問，負責戰俘遣返工作，以爭取最多的志願軍被俘人員回國。
* 在任中國駐印度政府參贊期間，符浩參加了第一次中印邊界談判。
* 1971 年，時任外交部辦公廳主任的符浩參與到解決「林彪外逃墜機事件」的外交工作中，並親自負責情報工作。
* 在聯合國第二十六屆大會決定恢復中華人民共和國在聯合國的合法權利後，符浩是出席聯合國大會中方代表團的秘書長；團長是喬冠華，副團長是黃華。
* 1972 年，符浩又參與到負責接待日本首相田中角榮訪華的接待工作。
* 在擔任駐日本大使期間，符浩努力促成了《中日和平友好條約》在 1978 年 8 月的簽字生效。
* 1982 年作為中國特使、代表團團長，符浩出席了在新德里舉行的中印官員第二輪會談。
* 1986 年和 1991 年，符浩曾率全國人大外事委員會代表團出國訪問國。
* 符浩還多曾多次以中國代表團團長的身份出席各國議會聯盟會議。

## 家庭

符浩的夫人焦玲，也是外交官員。退休前，曾是外交部領事司副司長。兩人育有三個子女。

## 參考文獻

## 外部連結

* 符浩 外交部
* 周恩來秘書符浩揭秘「913 事件」 （頁面存檔備份，存於網際網路檔案館） 鳳凰網
* 前駐日大使符浩親歷的「林彪外逃」事件 摘自《中國高端訪問：親歷神秘外交背後的 16 人》 作者：余瑋、吳志菲
* 中日友好 21 世紀委員會
符思思

**符思思**（英語：Fu Sze Sze，1983 年 6 月 27 日 —），前無綫電視女藝員，香港出生，1995 年至 1999 年入讀育才中學（沙田）。16 歲時獨自移居新加坡。2004 年香港小姐季軍，於 2004 年參選國際小姐並獲得「友誼小姐」之獎項，曾於 2004 年 9 月初簽約無綫電視，成為無綫電視經理人合約女藝員。卸任港姐後，結束與 TVB 僅一年之賓主關係。

## 電視劇（無綫電視）

* 奇幻潮 飾 Nicole 同學（2005 年）
* 酒店風雲 飾 Model（客串演出）（2005 年）

## 外部連結

* 2004 年度香港小姐競選 - 佳麗個人網頁

## 參考來源
符惟忠

**符惟忠**（?—?），字正臣。

符彥卿曾孫，以外祖母賢靖大長公主的門蔭授三班奉職，後擢拔為合門通事舍人、勾當東排岸司。卒贈客者使，眉州防禦使。有子符永福、符肇瓊、符肇節。

## 延伸閱讀

[編]

　
: 《宋史 / 卷 463》，出自脫脫《宋史》

　
:

## 參考書目

* 《宋史》列傳第二百二十二「外戚」上
符承祖

**苻承祖**（?—?），略陽郡（治今甘肅天水）人，氐族，中國南北朝北魏宦官。

苻承祖因事連座受宮刑，為宦官。深為文明太后寵信、自御廄令轉任中部給事中、散騎常侍、輔國將軍，賜爵**略陽侯**，兼典選部事。中部如故，轉任吏部尚書。魏孝文帝為他造一級宅邸，多次臨幸其宅。苻承祖進爵**略陽公**，受號安南將軍，加侍中，知都曹事。苻承祖為文明太后心腹，受免死之詔。太和十五年（491 年），苻承祖因貪贓納賄，論罪應死。孝文帝特地饒恕了他的命，削去職位，禁錮在家，任命他為悖義將軍，封**佞濁子**來羞辱他。一個月後苻承祖死去。

## 延伸閱讀

[編]

　
: 《魏書・卷 94》，出自魏收《魏書》

　
: 《北史・卷 092》，出自李大師《北史》

　
:

## 參考文獻

* 《魏書・卷 94 列傳第 82》
* 《北史・卷 92 列傳第 80》
符拉其米尔·波普托莫夫

**弗拉基米爾・波普托莫夫**（保加利亞語：Владимир Поптомов，1890 年 2 月 8 日 —1952 年 5 月 1 日）是保加利亞革命家，外交家，政治家。保加利亞共產黨中央委員會政治局委員。保加利亞人民共和國部長會議副主席，外交部長。

## 生平

1890 年生於貝利察。1911 年畢業於塞雷師範學院，在班斯科的學校任教。1912 年加入保加利亞工人社會黨，即後來的保加利亞共產黨。第一次世界大戰期間在保加利亞軍隊服役，中尉軍階。1919 年秋進入索非亞大學學習法學。1923 年領導了拉茲洛格的九月起義，失敗後被通輯，隨後流亡至南斯拉夫王國。1925 年參與創立馬其頓內部革命組織（聯合），擔任機關報主編。

1934 年赴莫斯科，加入聯共（布），在共產國際工作。1944 年 9 月 9 日，保加利亞爆發起義，成立以共產黨和農民聯盟為主體的祖國陣線政府，並宣布建立保加利亞人民共和國。波普托莫夫返回保加利亞，當選保加利亞共產黨中央委員會政治局委員。

1945 年至 1949 年，任機關報《工人事業報》主編。1948 年至 1949 年，擔任祖國陣線全國委員會第一書記。1948 年成為索菲亞大學教授。1949 年 8 月，開始擔任外交部長。

1949 年 10 月 1 日，鑑於邊境間諜行為，決定廢除與南斯拉夫 1947 年簽訂的友好合作互助條約。10 月 5 日，促成保加利亞人民共和國與中華人民共和國建交，並互派外交代表。

1950 年 1 月開始擔任部長會議副主席兼外交部長。同年 5 月不再任外交部長。1952 年 5 月 1 日下午 2 時 45 分逝世。

## 參考資料

## 外部連結

* 《紐約時報》訃告 （頁面存檔備份，存於網際網路檔案館）
符拉基米尔·弗沃特斯基

**符拉基米爾・亞歷山德羅維奇・弗沃特斯基**（俄語：Влади́мир Алекса́ндрович Воево́дский，英語：Vladimir Voevodsky，1966 年 6 月 4 日 —2017 年 9 月 30 日），俄羅斯數學家。2002 年獲得菲爾茲獎。

## 生平

1966 年生於俄羅斯莫斯科。1992 年獲得哈佛大學博士學位。2017 年 9 月 30 日因為動脈瘤於普林斯頓去世，去世前於普林斯頓高等研究院任全職教授。

## 主要成就

發展了新的代數簇上同調理論，是過去幾十年間代數幾何領域中所取得的最卓越的進展之一。

## 研究方向

* 抽象代數幾何
  * 概型上的同倫論
  * 代數 K - 理論
* 類型論

## 參考文獻
符拉季米尔大公

**弗拉基米爾大公**（**Великий князь владимирский**）是中世紀俄羅斯封建分裂時期弗拉基米爾公國統治者的稱號。

## 歷史

1155 年，統治羅斯托夫 - 蘇茲達爾的王公安德烈・博戈柳布斯基（著名的王公長手尤里之子）將自己的政治中心設在弗拉基米爾，使該城第一次成為一個公國的首都。在安德烈・博戈柳布斯基於 1169 年攻陷基輔之後，弗拉基米爾公國作為羅斯最強的公國之一的地位得以確立，而弗拉基米爾王公也逐漸取代基輔大公成為各羅斯王公之長的稱號。

在蒙古統治時期，弗拉基米爾大公真正變成了羅斯各王公之領袖的頭銜。大公由金帳汗國的汗冊封，並不由某一家族世襲，獲得大公頭銜的王公有權將弗拉基米爾併入自己的領地。作為牽制俄羅斯各公國力量的重要手段，金帳汗傾向於將忠於自己的王公封為弗拉基米爾大公。羅斯的王公們圍繞大公頭銜展開了激烈的爭奪。當莫斯科大公最後排除一切競爭者並有能力向金帳汗本人挑戰之後，弗拉基米爾併入了莫斯科公國。

## 歷任大公

### 羅斯托夫 - 蘇茲達爾王公

* 尤里・多爾戈魯基 1113 年 - 1157 年

### 弗拉基米爾 - 蘇茲達爾王公

* 安德烈・博戈柳布斯基 1157 年 - 1174 年
* 米哈伊爾・尤里耶維奇 1174 年 - 1175 年
* 亞羅波爾克・羅斯季斯拉維奇 1175 年 - 1176 年
* 米哈伊爾・尤里耶維奇 1176 年 - 1177 年

### 弗拉基米爾大公

* 弗謝沃洛德・尤里耶維奇 1176 年 - 1212 年
* 尤里・弗謝沃洛多維奇 1212 年 - 1216 年
* 康斯坦丁・弗謝沃洛多維奇 1216 年 - 1218 年
* 尤里・弗謝沃洛多維奇 1218 年 - 1239 年
* 雅羅斯拉夫・弗謝沃洛多維奇 1238 年 - 1246 年
* 斯維亞托斯拉夫・弗謝沃洛多維奇 1246 年 - 1248 年
* 米哈伊爾・雅羅斯拉維奇・霍羅布里特 1248 年 - 1248 年
* 安德烈・雅羅斯拉維奇 1248 年 - 1252 年
* 亞歷山大・涅夫斯基 1252 年 - 1263 年
* 雅羅斯拉夫・雅羅斯拉維奇 1263 年 - 1272 年
* 瓦西里・雅羅斯拉維奇 1272 年 - 1276 年
* 德米特里・亞歷山德羅維奇 1276 年 - 1281 年
* 安德烈・亞歷山德羅維奇 1281 年 - 1283 年
* 德米特里・亞歷山德羅維奇 1283 年 - 1284 年
* 安德烈・亞歷山德羅維奇 1284 年 - 1286 年
* 德米特里・亞歷山德羅維奇 1286 年 - 1291 年
* 安德烈・亞歷山德羅維奇 1291 年 - 1304 年
* 米哈伊爾・雅羅斯拉維奇 1304 年 - 1317 年或 1318 年
* 尤里・丹尼洛維奇 1317 年 - 1322 年
* 德米特里・米哈伊洛維奇 1322 年 - 1326 年
* 亞歷山大・米哈伊洛維奇 1326 年 - 1327 年
* 亞歷山大・瓦西里耶維奇・蘇茲達爾斯基 1328 年 - 1331 年
* 伊凡一世 1332 年 - 1340 年
* 謝苗・伊萬諾維奇 1341 年 - 1353 年
* 伊凡二世 1353 年 - 1359 年
* 德米特里・康斯坦丁諾維奇 1359 年 - 1363 年
* 德米特里・頓斯科伊 1363 年 - 1370 年
* 米哈伊爾・亞歷山德羅維奇 1370 年 - 1371 年
* 德米特里・頓斯科伊 1371 年 - 1375 年
* 米哈伊爾・亞歷山德羅維奇 1375 年 - 1375 年
* 德米特里・頓斯科伊 1375 年 - 1389 年
  * 德米特里・頓斯科伊立遺囑規定大公爵位由莫斯科大公世襲
符拉迪沃斯托克国际机场

**海參崴國際機場**，或**符拉迪沃斯托克國際機場**，是一座位於俄羅斯海參崴（符拉迪沃斯托克）郊外的民用機場，於 1930 年代初啟用。

1999 年 3 月，國際航班客運大樓建成，為海參崴航空的基地。

## 歷史

## 航空公司及目的地

### 國內線

### 國際線

## 交通

機場快線連接克涅維基站和海參崴站。

## 圖片

## 參考資料

## 外部連結

* 官方網站（俄文）（英文）
符拉迪沃斯托克时间

**符拉迪沃斯托克時間**（俄語：владивостокское время，簡稱 **VLAT**）是俄羅斯的一個時區，以濱海邊疆區首府符拉迪沃斯托克命名。符拉迪沃斯托克時間比 UTC 快 10 個小時（UTC+10），比莫斯科時間快七個小時（MSK+7）。

1981 年開始，蘇聯實行夏令時。夏令時期間，海參崴時間為 UTC+11。其餘時期，為 UTC+10。2011 年 3 月 27 日，俄羅斯開始當年的夏令時，但此後並未調回。此舉意味著俄羅斯永久實行夏令時，全國時間都比之前調快一小時。因此，符拉迪沃斯托克時間被定為現在的 UTC+11。俄羅斯於 2014 年 10 月 26 日把符拉迪沃斯托克時間改為 UTC+10。

在時區信息資料庫中，與之對應的是 Asia/Sakhalin 與 Asia/Vladivostok。

## 覆蓋區域

* 濱海邊疆區
* 哈巴羅夫斯克邊疆區
* 猶太自治州
* 薩哈共和國中部（包括新西伯利亞群島）

## 參考資料
符拉迪沃斯托克电车

**海參崴電車**(俄語：Владивостокский трамвай) 在俄羅斯濱海邊疆區海參崴上運行。目前，只有 6 路電車在運行。

## 歷史

它始於 1912 年海參崴站 - 盧戈瓦亞火車站線路的開通。最初的規格是 1,000 毫米，但在蘇聯成立後的 1934 年改為 1,524 毫米。延長線一直延續到蘇聯時期，1991 年全長 18.4 公里，2009 年取消，到 2018 年只剩下一條線（谷歌地圖 （頁面存檔備份，存於網際網路檔案館））。

## 票價

截至 2018 年，票價統一為 16 盧布。

## 列車

截至 2018 年 6 月，已運營 26 輛電車。註冊了 RVZ-6M2、KTM-5M3、71-608K 和 LM-93 四種型號。
符拉迪沃斯托克站

**符拉迪沃斯托克站**（俄語：Станция Владивостока，羅馬化：Stantsiya Vladivostoka）位於俄羅斯濱海邊疆區首府符拉迪沃斯托克，是符拉迪沃斯托克的主要鐵路客運站，同時也是西伯利亞鐵路的東端終點站，距莫斯科雅羅斯拉夫爾站 9288 公里。本站始建於 1891 年，1893 年投入使用。本站呈南北向布置，站場西側為站房及站前廣場，站場東側為符拉迪沃斯托克港。

## 歷史

1891 年 5 月 19 日，當時的皇太子尼古拉二世在海參崴主持西伯利亞鐵路的開工儀式，為海參崴車站奠基。1893 年，海參崴 - 巴拉諾夫斯基站段通車，西伯利亞鐵路全線則於 1916 年通車。

海參崴車站的站房於 1912 年重建，外牆最初為綠色，但在 1993 年至 1998 年的改造工程中改為奶油色。

1962 年，納傑日金斯基 - 海參崴段實現電氣化，制式為交流電 25kV。

2012 年 7 月，海參崴車站經第二條河、烏戈利納亞、阿爾喬姆前往海參崴國際機場（克涅維基站）的機場快線列車開通，海參崴車站為此在既有站房北側新增一座站房。

## 長途旅客列車目的地

截至 2016 年 7 月，由海參崴車站始發的長途旅客列車可前往莫斯科（2 班）、伯力、新西伯利亞（2 班）、新庫茲涅茨克、奔薩、蘇維埃港等地。在西伯利亞鐵路的兩班本線全程車中，001М次全程運轉 145 小時 59 分鐘，另一班 099Э次全程運轉 162 小時 18 分鐘。

## 紀念物

海參崴車站的月台上豎立有一座標有「9288」字樣的距離碑，表明該站為西伯利亞鐵路的終點；該月台上同時陳列 YeA 型 3306 號蒸汽機車。

## 鄰近車站

## 參考資料

## 外部連結

* 車站時刻表 （頁面存檔備份，存於網際網路檔案館）. Yandex.（俄文）
* 海參崴車站時刻表 （頁面存檔備份，存於網際網路檔案館）（俄文）
符拉迪沃斯托克航空

**符拉迪沃斯托克航空**（俄語：**Владивосток Авиа**；英語：**Vladivostok Air**），中文通稱**海參崴航空**，是一家已破產的航空公司，總部位於海參崴。曾經營國內以及亞洲地區的航線。除此之外還經營專機及直昇機服務。其樞紐機場為海參崴國際機場。該公司於 2014 年與薩哈林航空合併組成一間新的航空公司 —— 阿芙樂爾航空，服務俄羅斯遠東地區。

## 歷史

前身是 1932 年 9 月 2 日開始商業飛行的蘇聯在遠東民航部門，使用水上飛機與波 - 2。1948 年，開始使用伊爾 - 12 執飛海參崴 - 莫斯科航線。1958 年開始使用圖 - 104 噴氣式客機。1958 年 5 月，使用圖 - 114 實現了莫斯科 - 海參崴不著陸商業飛行。1961 年 2 月海參崴機場首次建成固定航站樓，能容納 200 名旅客。1963 年開始使用伊爾 - 18 客機。1964 年開始使用安 - 10 客機。1976 年建成第二座航站樓，並開始實用圖 - 154、雅克 - 40 客機。1985 年 6 月建成第二條跑道，並使用伊爾 - 62 開始海參崴 - 莫斯科不著陸的固定航班。1994 年改制為公開上市公司：Vladivostok Air。2003 年與哈卡斯航空公司合併。2004 年通過飛行安全審查，成為國際航空運輸協會成員。2007 年租借空中巴士 320，成為俄羅斯遠東地區使用外國製造民航機之始。2008 年 2 月 15 日，海參崴國際機場從該航空公司中分出。2008 年通過了國際航空運輸協會運行安全審計認證。俄羅斯政府持海參崴航空 51% 股權；公司員工則持有 48%。

## 航線

至 2011 年 10 月：

### 國內線

* 莫斯科
* 聖彼得堡
* 新西伯利亞
* 南薩哈林斯克
* 伯力
* 烏法
* 葉卡捷琳堡
* 堪察加的彼得巴甫洛夫斯克
* 雅庫茨克
* 伊爾庫茨克
* 阿巴坎
* 克拉斯諾達爾

### 國際線

中國大陸：

* 北京
* 天津
* 哈爾濱
* 大連
* 長春
* 牡丹江

香港

韓國：

* 首爾
* 釜山

日本：

* 東京
* 大阪
* 富山市
* 新潟市

越南：

* 河內

## 機隊

截至 2011 年 6 月 20 日，符拉迪沃斯托克航空的機隊如下：

## 外部連結

* 官方網站（俄文）（英文）
符拉迪沃斯托克航空352號班機空難

**符拉迪沃斯托克航空 352 號班機**是符拉迪沃斯托克航空公司一班由葉卡捷琳堡前往符拉迪沃斯托克（海參崴）的俄羅斯國內航班，中途停經伊爾庫茨克。2001 年 7 月 4 日，一架圖 - 154 客機執行此航班時，失控墜毀於伊爾庫茨克機場附近，機上 136 名乘客及 9 名機員全部喪生，成為俄羅斯歷來第三慘重的空難事故。

## 經過

出事時，該架圖 - 154 客機正接近伊爾庫茨克準備進場。當機長放下起落架後，副機師發現飛機正在帶坡度轉彎，飛機當時以 45 度角、機頭向下地傾斜。副機師隨即猛烈地拉起節流閥以拉起機頭，最終飛機機頭被拉起，但飛機卻隨即失速下墜，當機員努力拯救飛機，並幾乎讓飛機受控制時，飛機卻隨即墜毀，全機除了垂直尾翼外，皆成碎片，機上 145 人全部死亡。

## 參考

## 外部連結

* AirDisaster.Com 對事件報告 （頁面存檔備份，存於網際網路檔案館）
* "Russians search for plane crash clues （頁面存檔備份，存於網際網路檔案館）." _BBC_. Wednesday 4 July 2001.
* https://web.archive.org/web/20110104205643/http://www.airdisaster.com/photos/vl352/photo.shtml
* Cockpit Voice Recorder transcript and accident summary （頁面存檔備份，存於網際網路檔案館）
符拉迪沃斯托克达尔扎沃德造船厂

**達爾扎沃德**（俄語：Центр судоремонта "Дальзавод"，羅馬化：_Dalzavod_，意譯為「遠方工廠」）是俄羅斯符拉迪沃斯托克的一家船廠。現稱「達爾扎沃德船舶修理中心」，位於金角灣北岸。2012 年合併達爾扎沃德控股公司與第一七八船廠而成。隸屬於聯合造船集團遠東造船及修船中心。2014 年有 2400 名工人。

## 歷史

1887 年 10 月 14 日（舊曆），為使符拉迪沃斯托克海港的艦船修造保持戰鬥備航狀體，成立了火炮與魚水雷工廠。後成為機械廠。1905 年～1910 年投產。1919 年，機械廠分為兩部分：達爾扎沃德工廠與索夫托格弗羅德工廠。1932 年，隨著組建蘇聯遠東海軍，索夫托格弗羅德工廠搬遷到海軍軍港並成為總軍港工廠，1949 年改稱一七八廠。獲得勞動紅旗勳章。負責對各種船舶及船上機械、電子附件裝備的修理。

蘇聯初期，達爾扎沃德工廠除了修船，還修理蒸汽機車與鐵路車輛，修復鋼橋，為濱海州製造鋸木業、石油業、煤炭業、漁業的設備。在全蘇率先開始焊接造船。遠東理工學院成立了焊接系。1927~1932 年達爾扎沃德工廠建造了超過 700 條船，包括小船、拖輪、圍網漁船、浮碼頭、駁船、機帆船等。1930 年生產了全蘇第一條全焊接船。1931 年開始為遠東海軍建造艦船與潛艇，代號二〇二廠。1941-1945 年，除了修船，還掌握了兩棲與武器的生產。1945 年 6 月 2 日，工廠獲得列寧勳章。超過 300 名工人獲得勳章與獎章。戰後，繼續負責軍民船隻修理。 1982 年修理了明斯克號航母。

## 參考文獻

## 外部連結

* 官網 （頁面存檔備份，存於網際網路檔案館）
符文

**盧恩字母**（英語：Runes）又稱**路尼字母**、**如尼字母**或**北歐字母**，在占卜和電子遊戲領域則更多的稱之為「**盧恩符文**」，是一類已滅絕的字母，諸多北歐民族都使用過它來記錄資訊，其中尤其以維京人最具代表性。

它的使用範圍廣泛遍佈於斯堪地那維亞半島與不列顛群島。斯堪地那維亞半島所用的盧恩文字被稱作**弗薩克文（Futhark）** ，不列顛島所用的盧恩文字被稱作**弗托克文（Futhorc）** ，來源自其字母表前六個字母。

到了中世紀晚期的歐洲，北歐的語言和文字都被嚴重的拉丁字母化，盧恩字母喪失了日常溝通的功能之後，反而更加往神秘學的方向發展，盧恩符文作為占卜、祭祀用的符咒功能被一直保留，在基督教霸權不太嚴重的北歐國家中依然被頻繁使用。即使到了現代，這種符咒化的文字也被大量運用在和北歐、維京人主體相關的各類電影影集和電子遊戲中。

## 來源

盧恩（rune）來自日耳曼語（rūn），希臘語的意義爲「秘密」，實際上是一種咒文。它的來源和北歐神話中的奧丁息息相關。

傳說，奧丁是智慧知識之神，他曾經倒吊在世界之樹上九天九夜，《賢者之歌》中記到：

於是，奧丁取得了盧恩文字（Runes）的智慧和奧秘。盧恩是一種咒文，只要將它刻在木、石、金屬甚或任何材料上就能得到無窮的威力。諾倫三女神（Norns）把這種文字記載的命運刻在黃金寶盾上。

## 歷史

至今發現最早的盧恩文字定期為西元二世紀左右，隨著基督教傳入北歐，盧恩字母逐漸被拉丁字母取代。公元六世紀左右，盧恩字母在中歐消失；公元十一世紀左右也在斯堪地那維亞半島消失，但在斯堪地那維亞半島，盧恩字母還常常被用在裝飾圖案上。盧恩符文曾是古老歐洲民族如維京、日耳曼、塞爾特、和盎格魯薩克遜所廣泛使用的字母。盧恩已存在數千年之久，有些古老符文曾出現在世界上的古代洞穴壁畫中。

三種最著名的盧恩字母是：

* 古弗薩克文（約 150 年至 800 年）
* 盎格魯撒克遜弗托克文（400 年至 1100 年）
* 後弗薩克文（800 年至 1100 年）

後弗薩克文進一步被分成：

* 丹麥語弗薩克字體
* 瑞典語–挪威語盧恩字體（另：Short-twig 或 Rök Runes）
* Hälsinge Runes（不屬於任何國家的盧恩文）

後弗薩克文字進一步再發展成：

* Marcomannic Runes
* Medieval Runes（1100–1500）
* Dalecarlian Runes（ca. 1500–1800s）

## 字母表

### 古弗薩克文

### 盎格魯撒克遜弗托克文

## 日常用途

盧恩文字在日常生活的應用如同文字記載，也被當時人們運用於飾品及建築。另外，古代歐洲僧侶曾將其視為與神明溝通之工具。
盧恩文字會被用在巫術中。

## 盧恩碑文

## 當代應用

### 商標

藍牙的標誌是盧恩字母 （Hagall，ᚼ）和 （Bjarkan，ᛒ）的組合，也就是 Harald Blåtand 的首字母 HB 的合寫。

### 占卜

以古早傳下來的，將刻上了盧恩字母的石頭、樹、金屬、玻璃等物件，全部擲出之後挑出一個並且唸咒的方式。不過，現今一般的作法，改以將全部的盧恩字母放在袋中，一邊默想問題，一邊抓出一個盧恩字母來作為回答。另外，近來也常出現抽取印製在紙上的字母卡這種方式。

### 大眾文化

* 在遊戲《以撒的結合》中，有八個盧恩字母被引用為符文。
* 在諸多涉及北歐文化的電子遊戲中，例如 2018 年《戰神》，2020 年《刺客信條：英靈殿》，2022 年《戰神：諸神黃昏》中都有使用到盧恩字母。
* 在漫威電影宇宙中，2021 年影集《汪達幻視》和 2022 年電影《奇異博士 2：失控多重宇宙》都有提及盧恩字母。

## 盧恩字母編碼

支援盧恩文範圍的 Unicode 字型包括免費的 Junicode、Free Mono、Code2000、Caslon Roman，以及收費的 Everson Mono、TITUS Cyberbit Basic 等。

## 相似字母

* 古匈牙利字母

## 參考文獻

## 外部連結

* History, development and systems of runes（頁面存檔備份，存於網際網路檔案館）
* Mystery Of The Futhark Alphabet （頁面存檔備份，存於網際網路檔案館）
* the Futhark（ancientscripts.com）
* Omniglot Rune Page （頁面存檔備份，存於網際網路檔案館）
* The Development of Old Germanic Alphabets （頁面存檔備份，存於網際網路檔案館）（titus.uni-frankfurt.de, with an image of the Negau helmet）
* Encoding
  * Unicode Code Chart (PDF) （頁面存檔備份，存於網際網路檔案館）
* Esoteric Rune Study
  * Rune Gild （頁面存檔備份，存於網際網路檔案館）
  * Rune School （頁面存檔備份，存於網際網路檔案館）
  * Rune-Net （頁面存檔備份，存於網際網路檔案館）
  * Runewebvitki （頁面存檔備份，存於網際網路檔案館）

template:Germanic peoples
符文之地传奇

《**符文大地傳說**》（英語：Legends of Runeterra）是由拳頭遊戲開發的電子交換卡片遊戲，定於 2020 年在 Microsoft Windows、Android 和 iOS 平台發行。

《符文之地傳說》與拳頭遊戲的另一款遊戲《英雄聯盟》處於同一世界觀下，對《英雄聯盟》世界觀進行了極大的拓展與豐富。

《符文大地傳說》於 2019 年 10 月 15 日即《英雄聯盟》十周年慶祝活動之際，開始第一次封閉測試。2020 年 5 月 1 日正式上線。

## 遊戲規則

《符文之地傳說》是一款供雙人對戰的集換式卡牌遊戲，玩家在遊戲開始前需組合構築一套 40 張的牌組與另一名玩家進行雙人對戰。每名玩家有一座 20 點生命值的主堡，當一方的主堡生命值降為 0 及以下時另一方勝利。遊戲場地由手牌區域、備戰區域、戰場區域組成。

開始遊戲後，雙方抽出各自牌組中的隨機四張卡牌，其中每張卡牌有一次更換的機會，這些卡牌會進入玩家的手牌區域。進入遊戲的第一回合，會隨機選擇一方優先行動並獲得攻擊資格，另一方可進行阻擋，之後的每一回合雙方交替獲得優先行動和攻擊的資格。每回合開始時每名玩家會獲得一張卡牌和一個魔力水晶，手牌上限為 10 張，魔力水晶上限為 10 個，其中魔力水晶是使用卡牌所必需的消耗品，未使用完的魔力水晶可儲存在魔法水晶槽中，但上限為 3 個且僅能用於使用法術卡牌。

從手牌區域打出卡牌到備戰區域、將卡牌從備戰區域移動至戰場區域進行攻擊或阻擋、使用慢速法術式卡牌均記為一次行動，雙方均無法進行行動或主動放棄行動可進入下一回合。

牌局的結束方式有：

* （勝利）對方的主堡生命值降為 0 及以下
* （勝利）對方牌組中的 40 張牌均已被抽完
* （勝利）完成己方特定卡牌的任務可無條件即刻獲勝 (指「菲奧拉」、「星泉」、「班德爾神木」三張卡牌的效果。)
* （平局）進行至第 40 回合雙方均未達成上述條件
* （平局）雙方同時達成獲勝條件

## 卡牌種類

遊戲中的所有卡牌可分為以下幾種：

* 單位：可用於攻擊的卡牌，有攻擊力、生命值兩個特有屬性。
  * 英雄：絕大多數取材於《英雄聯盟》中的英雄，可進行升級變得更加強力。當英雄牌打出至備戰區時，手牌中的英雄牌會變化至對應的英雄法術牌。
  * 隨從：無法升級。
* 法術
  * 疾速法術：在你的行動階段時隨時可以使用，不佔用行動次數，對方無法反制。
  * 快速法術：在你的行動階段時隨時可以使用，不佔用行動次數，可以被對方反制。
  * 慢速法術：無法在戰鬥環節使用，記作一次行動，可以被對方反制。
  * 專注法術：無法在戰鬥環節使用，不佔用行動次數，對方無法反制。
  * 技能：不可收集卡牌，隨單位牌的釋放而釋放，可以被對方反制。
* 地標：如單位牌一樣可以被打出到備戰區域，但沒有生攻擊力和生命值，也無法攻擊、阻擋或打擊。
* 陷阱 / 祝福：可隨機附著在對方 / 我方牌組中的某一張牌，當對方 / 我方抽到該牌時觸發卡牌效果。
* 武器：帶有屬性值的法術牌，可裝備到一個單位上，該單位獲取該武器牌的增益屬性。

## 註釋

## 參考文獻

## 外部連結

* 官方網站
符文之子

《**符文之子**》（Children of the Rune）是韓國女作家全民熙的奇幻作品，符文之子本為全民熙為 Softmax 公司「Four Leaf」線上社群創作背景設定與角色及故事撰寫，之後再將其設定鋪陳為小說，於 2002 年，在韓國已賣出 18 萬冊，更獲選為韓國 2002 年最受歡迎的奇幻小說，被譽為韓國版的「哈利波特」。符文之子現已翻譯成中文及日文版，賣出超過 50 萬冊，並改編為線上遊戲「天翼之鍊」。中文版由蓋亞文化出版發行。

## 小說目錄

### 符文之子 I - 冬霜劍 -

### 符文之子 II - 德莫尼克 -

## 主要人物

### 冬霜劍

* 波里斯・貞奈曼 (Boris Jineman)
* 耶夫南・貞奈曼 (Yevgnen Jineman)
* 蘭吉艾・羅傑克蘭茨　Lanziee Rosen Kranz
* 奈武普利溫
* 伊索蕾絲汀
* 路西安・卡爾茲 Lucian Kaltz
* 娜雅特蕾伊 Nayatrei
* 希培林・武 Sivelin Uoo

### 德莫尼克

* 喬書亞・馮・阿爾寧　Josua von Arnim
* 麥克斯明・里伯克列　Maximin Liebkne
* 瑞秋・阿布里爾
* 蘭吉艾・羅傑克蘭茨　Lanziee Rosen Kranz
* 克蘿愛・達・芬迪奈　Cloe da Pontina
* 波里斯・貞奈曼　Boris Jineman
* 路西安・卡爾茲　Lucian Kaltz
* 蒂琪愛兒・朱斯彼昂　Tichiel Juspian

## 外部連結

* （繁體中文）符文之子 II - 德莫尼克 - 中文官方網站
* （韓文）全民熙官方網站
符文巡旅

《**符石之謎**》（RuneQuest），或譯**符文巡旅**，是一款奇幻類角色扮演遊戲，1978 年由混沌元素首次發行。其背景是格雷格・斯塔福德創造的架空世界格羅安薩（Glorantha）。基本角色扮演系統首次在該遊戲中運用，影響了後世的許多同類型遊戲。

## 歷史

1975 年，遊戲設計人格雷格・斯塔福德通過混沌元素發行了他設計的桌面遊戲《白熊與紅月》（White Bear and Red Moon，後來改稱 Dragon Pass），格羅安薩（Glorantha）世界首次出現。1978 年，《符石之謎》發行，借用了格雷格・斯塔福德的格羅安薩世界。1980 年，《符石之謎》第二版發行，成為當時流行程度僅次於《龍與地下城》的桌遊。

《符石之謎》的商標後來被 Avalon Hill 買下，1984 年 Avalon Hill 發行了第三版的《符石之謎》。Avalon Hill 本來還打算開發第四版，但格雷格・斯塔福德拒絕授權，於是 Avalon Hill 將設計的遊戲名稱改為《RuneQuest: Slayers》，被孩之寶收購之後，這款遊戲以《RuneSlayers》的名義出版。

1998 年，斯塔福德自己成立了新公司「Issaries, Inc.」，Mongoose Publishing 獲得 Issaries 授權之後，在 2006 年出版了新的《符石之謎》，由於版權問題，遊戲內容進過了大幅修改。2010 年 1 月，Mongoose Publishing 出版了彼得・納什（Pete Nash）和勞倫斯・惠特克（Lawrence Whitaker）創作的另一版《符石之謎》。2011 年 5 月，Mongoose Publishing 宣佈與 Issaries 散夥，同年 7 月，納什、惠特克和 Issaries 達成協議，以新公司 The Design Mechanism 的名義繼續出版《符石之謎》，此即 2012 年 7 月出版的《符石之謎》第六版。

2013 年，斯塔福德將《符石之謎》的版權賣給了 Moon Design Publications。2015 年 6 月，斯塔福德回到混沌元素，將混沌元素和 Moon Design Publications 合併，不久後，在《符石之謎》第二版的基礎上出版了新的《符石之謎》。

## 參考文獻

## 外部連接

* 官方網站
符文工廠

**符文工廠**（日語：ルーンファクトリー，英語：Rune Factory，又譯作「**符文工房**」）是款電子角色扮演遊戲系列，開發商為 Neverland、在《符文工廠 5》後改由 HAKAMA 開發。原先為牧場物語系列的外傳，在《符文工廠 2》後成為獨立系列。牧場物語系列製作人橋本嘉史將本系列形容為「能夠揮舞武器的牧場物語」。

## 系列作品

## 評價

## 注釋

## 參考資料

## 外部連結

* 符文工廠 - 新牧場物語 - 日文官方網站 （頁面存檔備份，存於網際網路檔案館）（日語）
* 符文工廠 2 日文官方網站 （頁面存檔備份，存於網際網路檔案館）（日語）
* 符文工廠 3 日文官方網站 （頁面存檔備份，存於網際網路檔案館）（日語）
* 符文工廠 4 日文官方網站 （頁面存檔備份，存於網際網路檔案館）（日語）
* 符文工廠 4 豪華版 日文官方網站 （頁面存檔備份，存於網際網路檔案館）（日語）
* 符文工廠 4 豪華版 繁體中文版官方網站 （頁面存檔備份，存於網際網路檔案館）（繁體中文）
* 符文工廠 5 日文官方網站 （頁面存檔備份，存於網際網路檔案館）（日語）
* 符文工廠 5 繁體中文版官方網站 （頁面存檔備份，存於網際網路檔案館）（繁體中文）