stanford-oval/wikipedia huggingface dataset:
Cyrix
產品

Cyrix初次亮相于個人電腦市場的產品是1989的與x87相容的浮點運算單元副處理器，Cyrix FasMath 83D87和83S87。FasMath當時是最快的386副處理器，比英特爾自家的80387還要快上50%。Cyrix FasMath 82S87是83D87回溯版，用於80286平臺，于1991年發售。
該公司早期CPU產品包括486SLC和486DLC，發佈于1992年。儘管它們的名字裡有486字樣，但實際的接腳卻分別與386SX和386DX相同。引入了晶片上的一級緩存和486指令集，使它們的性能介於英特爾自家的386與486處理器之間。這些晶片被需要升級硬體的使用者所青睞，同樣也取悅于轉銷商，他們可以借用這些處理器來清理難於出售的386主機板，並以將其定位於低端的486級的產品出售。當時在中國大陸的學校、企業單位以至於一般家庭，人們為了在經濟允許的條件下儘快步入電腦時代，多採用基於這類處理器來自臺灣的電腦。多數晶片上也還印有Made in Taiwan的字樣。同樣這個產品也倍受指責，分析師認為它們的性能無法與486相比，僅與386同級。由於Cyrix是無晶設計公司，晶片早期交由德克薩斯州晶元廠生產，一部分晶片被冠名于TX或TI，即TX486DLC、TX486SLC等等，名字不同但卻是完全一樣的晶片。IBM公司的386SLC產品線，儘管名稱類似，但卻與此無關。
Cyrix後來發佈了Cyrix 486SRX2和486DRX2，它們實質上是雙倍頻的SLC和DLC，市場定位於386向486的升級使用者。與SLC/DLC不同之處在于，這些晶片包含內部快取一致性電路，這樣就算是最早的不相容SLC/DLC的386主機板，也可享用來自Cyrix的486實惠。
最終Cyrix有能力發佈接腳與Intel 486一樣的CPU產品：Cyrix Cx486S和之後的Cx486DX。但其晶片性能競落後于AMD的486相容產品，而被甩至廉價產品市場。當AMD成功說服OEM廠商，如Acer和Compaq，採用AMD的486產品時，Cyrix卻很失利，而且僅適用于早期486主機板。
當AMD  Am5x86僅僅是一個四倍頻的486時，Cyrix 5x86已經實現了部分Pentium才具有的功能。
1995年，當Pentium的複製產品未準備好上市時，Cyrix重演了它自己的歷史，發售了可以插于3.3伏支援80、100、120以及133MHz的486主機板的Cyrix Cx5x86（M1sc）。它的性能與75MHz的Pentium相當。Cyrix 5x86 (M1sc)事實上是其主打產品Cyrix 6x86（M1）的縮水版，類似于英特爾的Pentium Overdrive，64位內部匯流排，32位外部匯流排。
之后Cyrix在1995年发布了著名的Cyrix 6x86，也就是M1。这颗处理器延续了Cyrix制作英特尔取代性产品的傳統，性能幾乎超越了英特尔的相應產品。6x86處理器使用的是標稱頻率，如P166+意味著性能將超越Pentium 166MHz處理器。事實上，6x86處理器的實際頻率遠低於此，但性能卻不遜色。起初Cyrix試圖為它的額外性能而提高售價，但不久發現它的浮點運算能力卻無法與Pentium匹敵。造成這種劣勢的原因在於Cyrix的浮點運算部件並沒有像Pentium那樣流暢化，而需要浮點預算的3D遊戲暴露了它的不足，打破了如意算盤而不得不反而降價。當Cyrix成功的取悅電腦發燒友和個體零售商時，AMD成為了OEM的主要供應者。
之後的6x86L是6x86的修訂版，降低了功耗；而6x86MX（M2）加入了MMX指令的支援，以及更大的一級緩存。Cyrix MII是6x86MX的易名，為了更能與Pentium II競爭。
1996年Cyrix發布了MediaGX處理器，它將包括聲音、圖形單元在內的所有個人電腦中的主要獨立部件整合於CPU芯片中。起初，是基於早期的5x86技術，運行於120或133MHz，性能並不十分理想，但較低的價格使它得以成功。MediaGX使Cyrix第一次獲得全勝，Compaq將它運用於低成本的Presario 2100和2200系列電腦中，這也使得Cyrix獲得將6x86售與Packard Bell和eMachines的權力。
後期MediaGX運行頻率高達至333MHz，並且加入了MMX的支持。加入的額外一顆芯片擴展它的視頻性能。
PR标称系统

因為6x86的每週期指令數高於Pentium，並且Cyrix時而會使用更快的總線速度，使它在相對較低的主頻下獲得較高的性能。於是Cyrix和它的對手AMD合作開發了具有爭議性的性能指標系統，Performance Rating（PR），用以和英特尔的產品作比較。由於運行133MHz的6x86在評分程式評測後的得分略高於運行於166MHz的Pentium，因此它被標注為6x86-P166+。英特尔採用法律的途徑訴訟這種做法導致Cyrix將字母R加入其中。
PR標註備受爭議，因為Cyrix的性能超越Pentium，是在運行文書軟體下的比較，而這種軟體並沒有暴露浮點運算的性能。而當運行最新的遊戲時，PR值將被降低。除此之外，6x86主要用於低端配置系統，性能也會因為使用的外圍設備影響而進一步下降。
儘管AMD也將PR標註使用於它早期的AMD K5芯片上，但不久後隨AMD K6發布時而放棄。後來在Athlon XP時代，AMD重新使用了類似的標註方式。
晶元化夥伴

Cyrix長期以來是無晶設計公司：Cyrix設計並銷售他們的產品，但將實際晶元化的工作外包。早期，Cyrix著重於依賴德克萨斯州仪器晶元厂（而后分化为SGS Thomson，現在是STMicroelectronics）。1994年他們的關係破裂，Cyrix轉而投靠IBM門下，因它的生產工藝是英特尔的勁敵。
透過兩家公司的製造合約，IBM獲得了冠名Cyrix设计的CPU的權力。當人們猜測IBM會更加傾重於Cyrix產品時，IBM繼續在主要產品線上使用來自於英特尔的大量產品，和AMD的少量產品。而只是將Cyrix設計的處理器做為廉價商品用於美國以外的新興市場中。
法律糾紛

與AMD不同，Cyrix從來沒有製造或生產過英特尔公司設計的產品，因此它的產品中並未包含來自英特尔的任何智慧結晶，而是完全獨立開發的。然而英特尔為了擺脫競爭對手，常年與Cyrix打官司，聲稱Cyrix 486侵權，這將使Cyrix在官司之中消耗大量的資金。
英特尔敗訴了Cyrix的官司，最終，法院裁決Cyrix享有在任何持有英特尔許可的工廠中生產他們自己的x86產品。
緊跟著的1997年Cyrix-Intel官司情形卻得以逆轉：這回是Cyrix訴訟英特尔，聲稱英特尔的Pentium Pro和Pentium II侵犯了Cyrix的專利，尤其是電源管理和寄存器重命名的技術。這個官司預計會拖延到好幾年，但通過另一個双重许可卻一锤落定——英特尔和Cyrix擁有使用雙方專利的權利。
与美国国家半導體合併

1997年8月，當官司仍在進行時，Cyrix合併至美國國家半導體（它擁有與英特爾之間的相互授權許可）。這給Cyrix帶來額外的市場動力與利用美國國家半導體晶圓廠的製造工藝，以便生產自家產品。在以往，記憶體和通訊裝置是這家工廠的主要產品，因為記憶體與CPU的製作工藝類似，工業分析師認為這次的合併的好處是顯而易見的。儘管與IBM的合約還尚未到期，但Cyrix最終仍轉移至國家半導體的晶圓廠。藉此鞏固Cyrix資金基礎，也給他們提供了更好的開發設備。
合併也帶來轉捩點，國家半導體傾向於單晶片的廉價產品，如MediaGX，而非像6x86、MII這樣的高性能晶片。是否因為國家半導體懷疑Cyrix的設計能力，還是畏懼與英特爾競爭高階市場，至今仍無法定論。因為MediaGX沒有直接的市場競爭對手，再加上不斷的給OEM廠商施壓以便推出低成本個人電腦，這個更像是真正轉捩的原因所在。
合併後不久國家半導體陷入財務危機，這問題嚴重傷害合併後的Cyrix。到1999年，AMD與Intel在CPU內頻上不斷競爭，在當時達到450MHz，遠遠超越Cyrix，而且將近一年的時間Cyrix才將PR-300提升至PR-333，然而實際頻率連300MHz也未達到。而且MII的前端匯流排仍運作在83MHz，這並不是當時英特爾所提出的標準，因此系統外頻無法工作在正確頻率上，使系統呈現於不穩定的狀態。後來的版本提升至100MHz才解決了這個問題。幾乎所有的6x86產品產生的熱耗能都特別高，因此對散熱設備的要求要高於英特爾和AMD的產品。同時也發現了與音效卡不相容的問題，也因這一連串問題和研發技術的落後，使Cyrix有被市場淘汰的危險。
最後的Cyrix產品是Cyrix MII-433GP，實際工作頻率於300MHz，僅比AMD K6/2-300在浮點運算上快一點。然而，卻被標註為433MHz。
國家半導體的發展方向也離CPU市場越來越遠。因此，Cyrix的工程師一個接著一個離開。在國家半導體將Cyrix賣給威盛電子（VIA）時，原始設計團隊早已經不復存在，MII也銷聲匿跡於市場中。威盛在一個由Centaur科技設計的晶片上使用Cyrix的名字，並相信Cyrix會比Centaur或VIA更響亮。
Cyrix的失敗被Centaur科技的CEO，Glenn Henry說道“Cyrix是有好產品的，但他們找錯人，搞得自己灰頭土臉。當威盛收購Cyrix時，他們有400人，而我們60人，但我們仍做出更多的產品。”
國家半導體保留MediaGX設計，並將其改名為Geode，希望將它以整合處理器產品出售。但最終在2003年時賣給AMD。2006年6月AMD展示世界上最低功耗的x86處理器，僅耗0.9瓦電能。這個處理器就是基於Geode核心，或者說這是Cyrix智慧結晶的光芒重現。
遺產

儘管這家公司是短壽的，品牌名稱也被現有公司放棄。但Cyrix與英特尔的競爭開創了低端CPU市場，降低了個人電腦的售價，使英特尔最終發布了賽揚處理器。
此外，對Cyrix知识產權的收購也使得威盛可以拖延與英特尔的法律糾紛，甚至是在停止使用Cyrix的後幾年裡。至今兆芯及威盛亦因此可以在避免被英特尔追责的情况下设计并销售x86架构的CPU，成为该架构仅存的厂商之一。
参考

↑  . www. Coprocessor.info.   [2008-09-10]. （原始内容存档于2011-06-14）.
1 2  Rulings from federal court in Sherman, Texas and Federal Circuit Court of Appeals in Washington DC.
↑  Cyrix had a good product, but they got bought by a 'big smokestack' company and they got bloated. When Via bought Cyrix, they had 400, and we had 60, and we were turning out more product.
↑  .   [2012-07-11]. （原始内容存档于2012-07-11）.
Cyrix FasMath
Cyrix Cx486DRx²微處理器
Cyrix 6x86-P166
Cyrix MediaGX
6x86MX冠以IBM的名字
Cyrix MII 433GP正面
Cyrix MII 433GP背面
比里柳瑟區

56°53′52″N 90°39′42″E﻿ / ﻿56.89778°N 90.66167°E﻿ / 56.89778; 90.66167
比里柳瑟區（俄语：），是俄羅斯的一個區，位於該國中部，由克拉斯諾亞爾斯克邊疆區負責管轄，始建於1924年4月4日，面積11,779平方公里，2010年人口10,927，人口密度每平方公里0.93人。
參考資料

http://www.birilussy.ru/ （页面存档备份，存于）
Google Pixelbook

| --- | --- |
Google Pixelbook
製造商: Google
类型: Chromebook
发布日期: 2017年10月4日 (2017-10-04)
作業系統: Chrome OS
電源: 41Whr電池 45W充電器（5V / 3A，9V / 3A，15V / 3A，20V / 2.25A）
中央处理器: Intel Core i5或Core i7
記憶體: 8或16GBRAM
硬盘儲存空間: 128、256或512GB固态硬盘（SSD）
顯示: 12.3"，2,400 × 1,600 分辨率， 大猩猩玻璃
音效: 雙揚聲器，4個麦克风
连接接口: 兩個USB-C充電，3.5mm耳機插孔，Wi-Fi：802.11 a / b / g / n / ac，2x2（MIMO），雙頻（2.4 GHz，5.0 GHz）藍牙：4.2
尺寸: 290.4 x 220.8 x 10.3 mm
重量: 1.1kg
前代機種: Pixel C Chromebook Pixel
網站: store.google.com/us/product/google_pixelbook_specs
Google Pixelbook是一款由Google開發的、運行Chrome OS的便攜式筆記本電腦/平板電腦混合計算機。它於2017年10月4日公佈，並於同年10月30日正式發布。
與大多數典型的Chromebook設備不同，Pixelbook的零售價格在1000美元左右，價格與筆記本電腦（如Apple MacBook Air）相當。
特徵

Pixelbook計劃成為下一代Google筆記本電腦，在2016年Chromebook Pixel筆記本電腦停產。Google意識到Chromebook在成長緩慢後取得了成功，在美國獲得了58％的學校市場份額，並將Pixelbook設計為一個能夠在這個領域與蘋果和微軟展開競爭。
Google Pixelbook採用了12.3英寸觸控螢幕設計，可以像平板電腦一樣使用該設備。該設備還為Google智能助理提供了一個專用按鈕。它運行Chrome操作系統，並可以原生地啟動Android應用程序。它具有即時共享功能；如果wifi信號丟失，Pixelbook會自動連接到合適的智能手機信號。
該設備與為Pixelbook設計的手寫筆Pixelbook Pen兼容，並以99美元單獨銷售。
評價

Pixelbook得到了媒體的不同反應，他們讚揚了製作質量，但質疑該設備的市場價格。
The Verge的一篇評論說：「就像iPad Pro一樣，Pixelbook是一款非常漂亮而強大的機器，可以處理大部分計算任務——但可能不是全部。」
英國衛報評論說：「Chromebook之王價格昂貴。」
Engadget的一篇評論將其描述為「價值不菲的優質Chromebook。」
2017年10月，Wired的一篇評論提出「我不確定有誰會買下這一台。」
英國金融時報發表了對新Pixelbook的正面評論，稱除了其他固定問題之外，還有比以前的型號更多離線操作功能。
Ecma標準列表

Ecma標準列表（英語：），，指Ecma国际所制訂的各種國際標準。
ECMA-1 – ECMA-99

ECMA-1 – Standard for a 6-bit Input/Output character code
ECMA-6 – 7-bit 編碼字元集 (same as ISO/IEC 646/ITU-T T.50) (successive editions in 1965, 1967, 1970, 1973, and 1984)
ECMA-13 – File Structure and Labelling of Magnetic Tapes (later ISO 1001)
ECMA-35 – Character Code Structure and Extension Techniques (ISO/IEC 2022)
ECMA-17 – Graphic Representation of Control Characters of the ECMA 7-bit Coded Character Set for Information Interchange (Nov 1968)
ECMA-43 – 8-bit 編碼字元集 (same as ISO/IEC 4873)
ECMA-48 – ANSI escape codes (same as ISO/IEC 6429)
ECMA-58 – 8-英寸 軟碟
ECMA-59 – 8-英寸 軟碟
ECMA-66 – 5¼-英寸 軟碟
ECMA-69 – 8-英寸 軟碟
ECMA-70 – 5¼-英寸 軟碟
ECMA-74 – Measurement of Airborne Noise Emitted by Information Technology and Telecommunications Equipment (same as ISO 7779)
ECMA-78 – 5¼-英寸 軟碟
ECMA-94 – 8-Bit 編碼字元集 (same as ISO/IEC 8859-1, -2, -3 and -4)
ECMA-99 – 5¼-英寸 1.2 megabyte 軟碟 (also ISO 8630)
ECMA-100 – ECMA-199

ECMA-100 – 3½-inch 軟碟 (also ISO 8660)
ECMA-107 – File Allocation Table (FAT) file system (same as ISO/IEC 9293)
ECMA-113 – 8-Bit 編碼字元集, Latin/Cyrillic (same as ISO/IEC 8859-5)
ECMA-114 – 8-Bit 編碼字元集, Latin/Arabic (same as ISO/IEC 8859-6)
ECMA-118 – 8-Bit 編碼字元集, Latin/Greek (same as ISO/IEC 8859-7)
ECMA-119 – CD-ROM file system (later adopted as ISO 9660:1988)
ECMA-121 – 8-Bit 編碼字元集, Latin/Hebrew (same as ISO/IEC 8859-8)
ECMA-125 – 3½-inch floppy disk (also ISO 9529)
ECMA-128 – 8-Bit 編碼字元集, Latin Alphabet No 5 (same as ISO/IEC 8859-9)
ECMA-130 – CD-ROM Yellow Book
ECMA-139 – 4mm Digital Data Storage (DDS) cartridges (same as ISO/IEC 10777)
ECMA-144 – 8-Bit 編碼字元集 (same as ISO/IEC 8859-10) (2nd edition Dec 1992)
ECMA-146 – 4mm DAT data cartridges (same as ISO/IEC 11321)
ECMA-167 – Universal Disk Format (same as ISO/IEC 13346)
ECMA-168 – ISO 9660 Level 3 (ISO/IEC 13490)
ECMA-182 – Cyclic redundancy check polynomial CRC-64-ECMA-182
ECMA-200 – ECMA-299

ECMA-234 – Application Programming Interface for Windows 3.1
ECMA 246 – Specification of AIT-1
ECMA-262 – ECMAScript (standardised JavaScript)
ECMA 291 – Specification of AIT-1 with MIC Format
ECMA 292 – Specification of AIT-2 with MIC Format
ECMA-300 – ECMA-399

ECMA-316 – VXA
ECMA-319 – Ultrium-1
ECMA-320 – Super DLT
ECMA 329 – Specification of AIT-3
ECMA-334 – C# programming language
ECMA-335 – Common Language Infrastructure
ECMA-357 – ECMAScript for XML (E4X)
ECMA-363 – Universal 3D file format
ECMA-365 – Universal Media Disc
ECMA-368 – Ultra-wideband physical and MAC layers
ECMA-369 – Ultra-wideband MAC-PHY interface
ECMA-370 – TED - The Eco Declaration
ECMA-372 – C++/CLI
ECMA-376 – Office Open XML
ECMA-377 – Holographic Versatile Disc 200GB recordable cartridge
ECMA-378 – Holographic Versatile Disc 100GB HVD-ROM
ECMA-379 – Test Method for the Estimation of the Archival Lifetetime of Optical Media
ECMA-380 – Ultra Density Optical (UDO) Disk Cartridges
ECMA-381 – Procedure for the Registration of Assigned Numbers for ECMA-368 and ECMA-369
ECMA-388 – Open XML Paper Specification
相關

ISO標準列表
外部連結

List of Ecma standards（页面存档备份，存于） (Ecma International)
Index of Ecma Standards（页面存档备份，存于） (Ecma International)
張立齋

張立齋可以指：
張立齋 （页面存档备份，存于），字立翁，號半陶。中國古典文學學者，政治大學中文系教授。
张君劢，號立齋。
安雅

安雅可能指：
安雅 (演員)，本名吳安雅，台灣演員
安雅·羅素法，模特兒
托馬斯·麥克唐納

| 托馬斯·麥克唐納 |
| --- | --- |

出生:  (1986-05-02) 1986年5月2日（38歲） 美國紐約曼哈頓
职业: 演員
活跃时期: 2008年至今
托馬斯·麥克唐納（英語：，1986年5月2日—）美國男演員及音樂人，在電影《功夫之王》中曾經與成龍及李連杰有合作機會。托馬斯生於紐約曼哈頓，求學時被父母送往馬薩諸塞州安多佛的寄宿學校，及後於紐約大學畢業。他的父親特里·麥克唐納（英语：）是雜誌《運動畫刊》的總編輯，母親及兄長（尼克·麥克唐納（英语：））都是作家。
參演電影

功夫之王，2008年
花邊藥頭（英语：），2010年
毕业舞会，2011年
瘋狂萬聖節（英语：），2012年
參演電視劇

法律与秩序犯罪倾向（英语：），2010年
郊区故事，2012年-2013年
地球百子，2014年-2015年
參考

1 2  McMahon, Regan. . The San Francisco Chronicle. 12 May 2011  [2020-10-11]. （原始内容存档于2019-12-15）.
↑  []
↑  Johnson, Curt. . December Press. 1988. ISBN 0-913204-21-8.
↑  Barker, Lynn. . TeenHollywood.com. 2011-04-25  [2011-11-26]. （原始内容存档于2014-10-20）.
↑  .   [2014-06-19]. （原始内容存档于2021-01-16）.
外部連結

托馬斯·麥克唐納在互联网电影资料库（IMDb）上的資料（英文）
德意志埃沃恩

| 德意志埃沃恩 Deutsch Evern |
| --- | --- |
市镇
德意志埃沃恩在德国的位置
坐标：53°12′00″N 10°26′00″E﻿ / ﻿53.2°N 10.4333°E﻿ / 53.2; 10.4333
国家: 德国
州: 下萨克森州
面积
 • 总计: 11.16 平方公里（4.31 平方英里）
人口（2011）
 • 總計: 3,715人
 • 密度: 333人/平方公里（862人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
邮编: 21407
德意志埃沃恩（德语：）是德国下萨克森州的一个市镇。总面积11.16平方公里，总人口3715人，其中男性1825人，女性1890人（2011年12月31日），人口密度333人/平方公里。
承碩

这是满族传统命名，只称名而不与姓氏连用，其姓氏为爱新觉罗。
承碩（1802年4月24日（嘉慶七年三月二十三）—1839年10月13日（道光十九年九月初七）），滿洲愛新覺羅氏。克勤郡王岳托後裔、克勤莊郡王雅朗阿之曾孫、克勤簡郡王尚格次子，第六任克勤郡王（鐵帽子王之一）（1833年－1839年）。
道光元年（1821年）十二月，承碩被封一等鎮國將軍，授二等侍衛。道光九年（1830年）九月，晉位為不入八分輔國公。道光十三年（1833年）六月，父親尚格薨逝，承碩承襲克勤郡王爵位，次年（1834年）授正黃旗蒙古都統、十二月授鑲紅旗總族長。道光十九年（1839年），承碩薨逝。朝廷賜予諡號為「恪」。
家族

父：克勤簡郡王尚格
母：嫡福晉他塔拉氏
妻妾：
嫡福晉鈕祜祿氏
子：
克勤敬郡王慶惠
嵩惠
参考資料

1 2 3 4 5 6 7  《愛新覺羅宗譜》乙冊，3166－3167頁。
↑  《清史稿》 列傳三 諸王二：“尚格，道光四年以病乞休，十三年，薨，諡曰簡。子承碩，襲，十九年，薨，諡曰恪。”
↑  《清史稿》 表二 皇子世表二：“承碩尚格第二子。道光元年，封一等鎮國將軍。九年，晉不入八分輔國公。十三年，襲克勤郡王。十九年，薨。諡曰恪。”
《清史稿》 列傳三 諸王二
《清史稿》 表二 皇子世表二
| 0 | 1 | 2 |
| --- | --- | --- |

承碩 克勤郡王世系清太祖世系的分支出生于：1802年4月24日逝世於：1839年10月13日
王室頭銜
| 前任： 父親克勤簡郡王尚格 | 克勤郡王 1833年－1839年 | 繼任： 長子克勤敬郡王慶惠 |
張虹

张虹可以指：
张虹 (作家)（1955－），中国作家
张虹 (导演)（1958－），香港导演
张虹 (艺人)，台湾女艺人，参演《战神》、《天国的嫁衣》等
张虹 (江苏梆子演员)（1963-），江苏省梆子剧团演员
张虹 (运动员)（1988－），中国速度滑冰运动员
水力旋流器

水力旋流器是一种用于分离矿物的设备，根据不同粒度的矿物做回旋运动时所受离心力不同，而达到分离目的。除分离矿物外，水力旋流器还用于水体净化、溶液除杂等。在一定的压力下，矿浆经过矿管沿切线方向进入倒锥形壳体，在壳体内做回旋运动。大粒度矿物因为受到的离心力大而进入旋流器外围，最终成为沉砂，由底部沉砂嘴排出；小粒度矿物受到的离心力较小，因此处于旋流器中心并随液流向上运动，最后由溢流管排出形成溢流。这样便分离了不同粒度的矿物。
參考文獻

↑  . 食品加工在線.   [2019-05-26]. （原始内容存档于2019-05-26） （中文）.
安金根

安金根（1918年—1954年），江苏无锡人，三民主义支持者，从事敌后潜伏和破坏工作，“东南人民反共救国军”上海地区主要负责人。
简介

1949年8月22日，作为“东南人民反共救国军”第四纵队第一大队骨干成员，被上海市公安局吴淞区分局俘虏，同时被收缴日式手枪6支，毛瑟C96手枪、七九式步枪、汤普森冲锋枪各2支，自动步枪1支、轻机枪三挺。
1954年7月，因在监狱内坚持信仰和宣传三民主义并组织“三民主义同志研究会”，被判处死刑。
参考资料

↑  安宗愈; 安荣光. . 无锡. 1922.
↑  . 上海通. 上海市地方志办公室. 2001-07-24  [2024-02-28]. （原始内容存档于2024-02-28）.
↑  . 上海通. 上海市地方志办公室. 2006-10-30  [2024-02-28]. （原始内容存档于2024-02-28）.
张虞

张虞，浙江人，是一名清朝政治人物。
曾任福建省霞浦县知县，于1771年接替王如涛任永安县知县一职，1772由周鸿勋接任。
参考资料

霞浦县志编纂委员会, 《霞浦县志·上》. . 霞浦县. 1986年: 第201–205页 [1929年版].
编纂委员会. . 福建: 福建省地方志编纂委员会. 2001年.
| 0 | 1 | 2 |
| --- | --- | --- |

官衔
| 前任： 曹世德 |  大清霞浦县知县 乾隆年间在任 | 繼任： 冷震金  |
| 前任： 王如涛 |  大清永安县知县 1771－1772 | 繼任： 周鸿勋  |
张鐇

张鐇（9世纪—895年），唐朝末年泾原节度使，或作张铛。
乾宁元年（894年）二月，张鐇弟泾原节度使张钧去世，上表请求以张鐇为留后。十一月，张鐇被任为节度使，加检校司徒头衔。
二年（895年），静难节度使王行瑜、凤翔节度使李茂贞、镇国军节度使韩建起兵逼宫。七月，唐昭宗令内官郄廷立去泾原军部泾州传诏命令张鐇出动泾原兵会合河东节度使李克用阻断凤翔军道路。张鐇领步骑三万到达京城长安西北，阻断静难、凤翔道路。八月，昭宗削王行瑜官爵，以李克用为邠宁四面行营都招讨使，保大节度使李思孝为北面招讨使，定难节度使李思谏充东北面招讨使，张鐇充西面（一作西南面）招讨使，讨伐王行瑜。十一月，王行瑜败亡。李茂贞求和，被昭宗赦免。
十二月，张鐇去世，以子张琏权知泾原军留后。
子貢牛角介

| 子貢牛角介 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 节肢动物门 Arthropoda
亚门：: 甲殼亞門 Crustacea
纲：: 介形綱 Ostracoda
目：: 速足介目 Podocopida
科：: 深海花介科 Bythocytheridae
属：: 牛角介屬 Bubuloceratina
种：: 子貢牛角介 B. tzukungi
二名法
Bubuloceratina tzukungi Hu et Tao, 2008

子貢牛角介（学名：）为深海花介科牛角介屬下的一个种。
外部連結

維基物種上的相關：子貢牛角介
孤䳍

：本页有UnihanA区汉字：「」，這些可能會错误显示，詳见Unicode汉字。
：本页有UnihanF区汉字：「」，這些可能會错误显示，詳见Unicode汉字。
| 孤䳍 |
| --- | --- |

保护状况
 近危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 鸟纲 Aves
目：: 䳍形目 Tinamiformes
科：: 䳍科 Tinamidae
属：: 䳍属 Tinamus
种：: 孤䳍 T. solitarius
二名法
Tinamus solitarius (Vieillot, 1819)


異名
 Cryptura solitaria  Tinamus solitarius pernambucensis
孤䳍（學名：）是巴西東部大西洋森林特有的一種鳥類。
分類

孤䳍屬於䳍科。牠們一般能夠飛行，但不能長久。牠們是鴕鳥目的近親。以往牠們分為兩個亞種：巴西東北部的Tinamus solitarius pernambucensis及巴拉圭東部南與阿根廷東北部的指名亞種Tinamus solitarius solitarius，不過前者並不獨特與指名亞種，只有個別的有特別的色彩。
特徵

孤䳍平均長45厘米。背部的色調由橄欖色至銹色不等，頸下羽毛的明暗部亦有不同，且有黑色斑紋。Tinamus solitarius pernambucensis的羽毛較黃，在頸部有較多斑紋。
分佈

孤䳍分佈在巴西的巴伊亞東南部、米納斯吉拉斯東部、聖埃斯皮里圖州、里約熱內盧州、聖保羅州、南馬托格羅索州東部、巴拉那州、聖卡塔琳娜州及南里奧格蘭德州北部。牠們亦在巴拉圭東南部及阿根廷東北部的米西奧內斯省出沒。
行為

孤䳍會產形狀奇特的蛋，外表有光澤及充滿色彩。牠們主要吃果實、種子或低的植物。雄鳥會在巢中孵化鳥蛋，且會照顧雛鳥一段短時間。
生態

孤䳍棲息在低地潮濕的熱帶雨林及山區高達海拔1200米的森林。牠們棲息在次生林，且能容忍一定程度的間伐。牠們不喜歡種植外來植物的地方。由於牠們的數量豐富，被獵殺仍未至瀕危的地步。有一些孤䳍生活在偏遠的森林交錯群落中，佔地只有約400公頃。
保育

孤䳍現時因城市化、工業化、農業發展及建設道路不斷的伐林而受到威脅。牠們因過度獵殺，世界自然保護聯盟將牠們列為近危，其分佈地只有990000平方公里。以往分類為T. s. pernambucensis的群族已經非常罕有或已消失。北方的群族亦很稀有，歷史上就只有不多於6個標本。
孤䳍較容易被引入到其他環境，在一些只有610公頃的森林地區，也可以見到牠們。
參考

1 2 3 4 5  BirdLife International. . The IUCN Red List of Threatened Species 2008.   [06 November 2008].  请检查|access-date=中的日期值 (帮助)
↑  Brands, Sheila. . Project: The Taxonomicon. Aug 14, 2008  [Feb 4, 2009]. （原始内容存档于2009-06-01）.
1 2  Davies, S.J.J.F. . Hutchins, Michael  (编). . 8 Birds I Tinamous and Ratites to Hoatzins 2. Farmington Hills, MI: Gale Group: 57–59. 2003. ISBN 0 7876 5784 0.
1 2  Raposo do Amaral, Fábio Sarubbi  & Silveira, Luís Fábio.  (PDF). Ararajuba. 2004, 12 (1): 33–41  [2009-03-31]. （原始内容 (PDF)存档于2007-09-27）.
↑  Harrison, Colin; Greensmith, Alan. . Bunting, Edward  (编).  First. New York, NY: Dorling Kindersley. 1993: 42. ISBN 1 56458 295 7.
1 2 3  Cabot, José. . del Hoyo, Josep; Elliott, Andrew & Sargatal, Jordi (eds.)  (编). . Barcelona: Lynx Edicions. 1992: 127, Plate 6. ISBN 84-87334-10-5.
↑  Clements, James.  6. Ithaca, NY: Cornell University Press. 2007. ISBN 978 0 8014 4501 9.
↑  Simon, José Eduardo.  (PDF). Boletim do Museu de Biologia Mello Leitão N.S. 2000, 11–12: 149–170  [2009-03-31]. （原始内容 (PDF)存档于2007-07-30）.
↑  Silveira, Luís Fábio; Develey, Pedro Ferreira; Pacheco, José Fernando & Whitney, Bret M.  (PDF). Cotinga. 2005, 24: 45–54. [永久]
↑  BirdLife International. . Data Zone. 2008(a)  [6 Feb 2009]. （原始内容存档于2009-01-05）.  请检查|date=中的日期值 (帮助)
↑  Faria, Christiana M.A.; Rodrigues, Marcos; do Amaral, Frederico Q.; Módena, Érica & Fernandes, Alexandre M.  (PDF). Revista Brasileira de Zoologia. 2006, 23 (4): 1217–1230  [2009-03-31]. doi:10.1590/S0101-81752006000400032. （原始内容存档 (PDF)于2010-03-31）.
外部連結

BirdLife Species Factsheet（页面存档备份，存于）
Internet Bird Collection
孤䳍的郵票（页面存档备份，存于）
孤䳍的圖片；孤䳍的介紹
孤䳍的相片及映片（页面存档备份，存于）
孤䳍的蛋。
弥陀寺遗址

| 弥陀寺遗址> 蕉城区文物保护单位 |
| --- | --- |
地址: 洋中镇院坪村
: 26°40′39″N 119°22′32″E﻿ / ﻿26.67750°N 119.37556°E﻿ / 26.67750; 119.37556
分类: 古遗址
时代: 唐代
认定时间: 1992年12月
弥陀寺遗址，是位于中国福建省宁德市蕉城区洋中镇院坪村的一个唐代古遗址，宁德市（县级）人民政府于1992年12月将其公布为第二批县级文物保护单位。
弥陀寺占地面积约270平方米，原建筑始建于唐朝天祐元年（904年），1940年代在原址重建。现存唐代的须弥座、梅花形石柱和覆盆莲花石柱础等。
比列納的胡安娜·曼紐

| 比列納的胡安娜·曼紐 |
| --- | --- |

卡斯提爾王后
在位: 1369年3月23日 — 1379年3月29日

出生: 1339年
逝世: 1381年3月27日(1381歲—03—27)（41—42歲） 薩拉曼卡
安葬: 托萊多主教座堂
王朝: 伊夫雷亞王朝
父親: 唐·胡安·曼紐
母親: 布蘭卡·努蕾斯
宗教信仰: 羅馬天主教
比列納的胡安娜·曼紐（西班牙語：，1339年—1381年3月27日），卡斯提爾王后（英语：），1369年至1379年在位。
家庭

1350年，胡安娜·曼紐和卡斯提爾國王佩德羅一世的異母弟恩里克結婚，兩人共有1子2女：
胡安一世（1358年—1390年），卡斯提爾國王
萊昂諾爾（1363年—1416年），納瓦拉王后
胡安娜（1367年—1374年），夭折
HD 106884

| 觀測資料 曆元 J2000> 0 |
| --- | --- |
星座: 星座名待查
星官: 
赤經: 12h 17m 29.5s
赤緯: +53° 11′ 28″
視星等（V）: 5.81
特性
光谱分类: K6III
U−B 色指数: 1.52
B−V 色指数: 1.3
R−I 色指数: 
天体测定

徑向速度 (Rv): 1.52 km/s
自行 (μ):  赤经：-41 mas/yr   赤纬：- mas/yr 

其他命名
 BD+54 1510，SAO 28327，HD 106884，HR 4672 
參考資料庫
SIMBAD: 资料
HD 106884，又名BD+54 1510，SAO 28327、HR 4672，是一颗恒星，视星等为5.81，位于銀經134.24，銀緯63.19，其B1900.0坐标为赤經12h 12m 33.6s，赤緯+53° 63.19′ 53″。
Go Ahead Leon Live 99

Go Ahead Leon Live 99是香港歌手黎明的個人演唱會，由耀榮娛樂有限公司主辦，AXA國衛保險冠名贊助，演唱會於1999年11月20日至12月12日一連23場在香港體育館舉行，黎明在演唱會尾場宣佈往後不再領取香港樂壇頒獎禮的獎項，引起各界的關注和討論。
背景

《Go Ahead Leon Live 99》是黎明第五次在香港體育館（紅磡體育館）舉行的個人演唱會，演唱會由梁天恩監製，出品人為張耀榮，黎明的經理人陳善之擔任顧問，贊助商AXA國衛保險為台前幕後工作人員提供港幣2,300萬元保險及為黎明提供港幣3,800萬個人保險。演唱會由張耀榮旗下的耀榮娛樂有限公司主辦，原定於1999年11月20日至12月9日晚上在紅館磡體育館舉行，其後獲准於同年12月10日至12日加開3場，合共舉行23場。
製作

演唱會由日本的製作公司負責舞台製作，採用T字型設計的三面舞台，所有器材都是全新訂造，雷頌德擔任音樂監製及表演嘉賓，以電子音樂為主，12名舞蹈員來自韓國，黎明在演唱會中所穿着的服裝以便服為主，以不同款式的帽子配合演出。在籌備演唱會期間，黎明曾經到韓國、日本等多個地方，分別以英語、韓語、日語與外籍工作人員開會商討演唱會製作事宜，他表示從外地邀請的工作人員，機票和食宿費用約港幣二三百萬元，而為了迎接千禧年，特意安排6名近身保鏢穿上灰色西裝工作，保安費價錢因此提高了，整個演唱會的製作費出現超支情況，惟未有透露實際金額。
反應及迴響 > 票房反應

演唱會門票售價分別為港幣400元、200元、100元，1999年8月中開始接受信用卡會員優先訂票，預訂額在不足兩個月內已近爆滿，佔整體門票七成，其餘三成門票於1999年10月21日公開發售，有觀眾為了購得前排位置的門票，提前於10月初到各售票處通宵排隊。1999年12月11日，黎明與張耀榮合共捐出港幣33萬元門票收益給香港公益金。
反應及迴響 > 各界迴響

此演唱會受到各界關注，香港及多個國家的傳媒均有到場採訪，有記者在首場演唱會因不滿大會安排的座位距離舞台太遠，一度離場抗議，導致演唱會延遲半小時開場。每場演唱會均有不少藝人以觀眾身份出席，現場觀眾來自香港及世界各地，當中有來自日本的觀眾穿著和服捧場，在觀眾席跟隨黎明及舞蹈員邊唱邊跳。1999年12月7日，約十名觀眾因不滿黎明與藝人舒淇的緋聞，在演唱會開場前於場館外怒罵舒淇，揚言在演唱會期間擲物到舞台上，並與其他現場觀眾互相對罵，其後在唱片公司高層王凱文勸喻後情緒回復平靜，如常進場觀看演唱會。1999年12月8日是「黎明家族」的國際歌迷日，來自韓國、日本、台灣、美國、加拿大等13個國家及地區的觀眾出席演唱會，由於紅館體育外圍正在進行裝修工程，歌迷會因此取消場外活動，黎明分別以粵語、國語、英語及韓語等多國語言跟現場觀眾溝通，眾人反應熱烈，聽從黎明的指示站起來跳舞，當黎明下台與觀眾握手時場面混亂，其中一排椅子被觀眾推至跌在地上。黎明在1999年12月12日的尾場演唱會宣佈退出香港樂壇頒獎禮，從今以後不再領取香港樂壇頒獎禮的獎項，也不會出席香港樂壇頒獎禮活動，各界人士對於黎明的決定感到突然和震驚，有觀眾激動流淚，而大部份觀眾則給予掌聲表示支持。
評論摘要

有傳媒認為演唱會採用的舞台較常用的為高，坐於前排的觀眾要抬頭觀看演出，距離感略增，而兩側接近伸展舞台邊的觀眾則較易觀看黎明的演出，反應亦比較熱烈。黎明對於演唱會的反應和製作感到滿意，認為做到他想做的演唱會。主辦機構負責人張耀榮對《Go Ahead Leon Live 99》的成績感到非常滿意，他表示這個是1999年之中賺錢最多的演唱會，評論認為黎明差不多兩年沒有舉行演唱會，觀眾已經期待已久，得悉黎明舉行演唱會後，便第一時間前往購票，門票銷售情況理想，演唱會的入座率達到九成多，舉行場數多達23場，演唱會只開三面台，機關方面比四面台少，舞蹈員人數減少至12名，黎明的演出服裝以便服為主，削減了不少開支，這些都是賺錢的原因之一。
參考來源

↑  . 商業電台. 2020-11-20  [2021-06-05]. （原始内容存档于2021-06-05） （中文）.
↑  . 商業電台. 2020-12-14  [2021-06-05]. （原始内容存档于2021-06-05） （中文）.
↑  . 香港商業電台. 2009-05-19  [2021-01-18]. （原始内容存档于2019-01-20） （中文）.
↑  . 東方日報. 1999-10-21  [2021-01-19]. （原始内容存档于2021-01-19） （中文）.
↑  沈寶茜. . 太陽報. 1999-11-06  [2021-01-19]. （原始内容存档于2021-01-19） （中文）.
1 2  . 太陽報. 1999-11-20: C7  [2021-01-19]. （原始内容存档于2021-01-19） （中文）.
↑  麥佩儀. . 太陽報. 1999-11-21  [2021-01-20]. （原始内容存档于2021-01-20） （中文）.
↑  . 東方日報. 1999-11-21  [2021-01-20]. （原始内容存档于2021-01-20） （中文）.
↑  . 東方日報. 1999-11-22  [2021-01-19]. （原始内容存档于2021-01-19） （中文）.
1 2  騫平. . 明報. 1999-11-22  [2021-01-19]. （原始内容存档于2021-01-19） （中文）.
↑  沈寶茜. . 太陽報. 1999-11-22  [2021-01-19]. （原始内容存档于2021-01-19） （中文）.
↑  . 東方日報. 1999-10  [2021-01-20]. （原始内容存档于2021-01-20） （中文）.
↑  . 蘋果日報. 1999-10-21  [2023-01-22]. （原始内容存档于2023-01-22） （中文）.
↑  麥佩儀. . 太陽報. 1999-12-13  [2021-01-22]. （原始内容存档于2021-01-22） （中文）.
1 2 3  . 東方日報. 1999-11-21  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  沈寶茜、黃君怡. . 太陽報. 1999-11-21  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 東方日報. 1999-12-03: C20  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 太陽報. 1999-12-08  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 東方日報. 1999-11-29  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 太陽報. 1999-12-08  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 東方日報. 1999-12-08  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 大公報. 1999-12-10  [2024-08-24]. （原始内容存档于2024-08-24） （中文）.
↑  劉可慧、沈寶茜. . 太陽報. 1999-12-10  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  麥佩儀. . 太陽報. 1999-12-09  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 太陽報. 1999-12-08  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 成報. 1999-12-13: C1  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 太陽報. 1999-12-14: C1  [2021-01-21]. （原始内容存档于2021-01-21） （中文）.
↑  . 3周刊. 1999  [2021-01-22]. （原始内容存档于2021-01-22） （中文）.
拉多乡 (昌都市)

| 拉多乡 |
| --- | --- |
乡
坐标：31°33′18″N 97°25′30″E﻿ / ﻿31.555°N 97.425°E﻿ / 31.555; 97.425
国家:  中华人民共和国
上级行政区: 西藏自治区昌都市卡若区
村级区划单位数: 13个村委会
面积
 • 总计: 1,728.35 平方公里（667.32 平方英里）
人口
 • 常住人口（2000年）: 5,421人
时区: 北京时间（UTC+8）
行政区划代码: 542121211
电话区号: +86 
拉多乡（藏語：ལྷ་ཐོག་，威利转写：lha thog）是中国西藏自治区昌都市卡若区下辖的一个乡，位于县境东北部的高海拔地区，总面积1728.35平方千米，2000年人口5421人。拉多乡平均海拔4100米，有广阔的高山天然草场，是一个纯牧业乡，主要牧养牦牛、黄羊、山羊、绵羊等。
2008年，下辖13个村委会：恰龙村、瓦措村、贡西村、曲色村、塔玛村、康多村、达日村、夏日村、巴郭村、嘎来村、西那村、达多村、嘎扣村。
参考资料

↑  乡镇概况 的存檔，存档日期2007-11-07.，西藏昌都网，于2009年5月28日查阅
↑  第五次人口普查数，据中国统计出版社《中国乡、镇、街道人口资料 的存檔，存档日期2008-12-02.》光盘
↑  全国行政区划代码 的存檔，存档日期2011-07-07.（2008年11月发布），来自山西省经济普查办公室 的存檔，存档日期2011-07-07.
Agda

| --- | --- |

: 函数式编程
設計者: Ulf Norell（2.0版） Catarina Coquand（1.0版）
實作者: Ulf Norell（2.0版） Catarina Coquand（1.0版）
: 2007年，​17年前​（2007）（2.0版） 1999年，​25年前​（1999）（1.0版）
当前版本: 2.7.0.1（2024年9月12日；穩定版本）  
型態系統: 静态类型、强类型、依赖类型
操作系统: 跨平台
許可證: MIT、BSD-like
文件扩展名: .agda、.lagda
網站: Agda wiki
啟發語言
Coq、Epigram（英语：）、Haskell
影響語言
Idris
Agda 是一个依赖类型的纯函数式编程语言。目前的版本，Agda 2，最初由瑞典查尔摩斯工学院的 Ulf Norell 作为博士论文课题设计并实现。先前的版本 Agda 1 由 Catarina Coquand 在 1999 年开发，而现今的版本则是对其的彻底重写，因此可视作一个全新的语言，但保留了 Agda 的命名和传统。
Agda 的类型系统体现了柯里-霍华德同构（Curry-Howard correspondence），因此亦可作为一个构建构造性证明的证明辅助工具（英语：）。它的类型理论基于 Zhaohui Luo 提出的 UTT（unified theory of dependent types），与 Per Martin-Löf 的直觉类型论相似。
Agda 与另一个基于依赖类型的证明辅助工具 Coq 设计上存在着显著的不同之处：它本身并不提供单独的证明策略语言（tactics），所有的证明均以函数式编程的方式书写；Agda 拥有许多常规的函数式程序语言要素，诸如：数据类型（data types）、模式匹配（pattern matching）、记录类型（records）、let表达式和模块（modules）等，而其语法设计则高度仿照 Haskell 语言。
用户可通过 Emacs 或 Atom 编辑器的界面与 Agda 系统进行交互。Agda 系统亦可藉由命令行单独调用。
通过类型检查的 Agda 程序可以被编译到 Haskell，并由 GHC 编译器最终编译为可执行的本地机器码；亦有编译到 JavaScript 的后端实现。
Agda 的名字来自于一首由音乐家 Cornelis Vreeswijk 创作的瑞典语歌曲“Hönan Agda”，歌词讲述了一只名叫 Agda 的母鸡的故事。这实际上影射了 Coq（Coq 在法语中意为公鸡）。
简介 > 一个简单的“Hello world”程序

将下述程序保存于文件hello-world.agda中：
module hello-world where

open import IO

main = run (putStrLn "Hello, World!")
在 Emacs 中可使用 C-c C-x C-c 来编译此程序；或在命令行中执行agda --compile hello-world.agda进行编译。
几点解释：
Agda 程序以模块（module）的形式组织而成。每一个文件中的第一个模块称之为最高级别（top-level）模块，其名称必须和文件名相符。模块的内容可以包括数据类型的定义、函数的定义等。
外部模块可以通过import子句导入。例如在上述程序中，open import IO导入 Agda 标准库中的IO（标准输入输出）模块，并将其在当前作用域中打开。
一个导出了函数名及类型签名main : IO a的模块即可以被编译成可执行文件。例如，上述程序中的main函数作用是将字符串“Hello, World!”写到标准输出，之后退出程序。
简介 > 归纳类型（inductive types）

在 Agda 中定义数据类型的方式与其它（非依赖类型）编程语言中的代数数据类型相似。
例如，在 Agda 中归纳地定义皮亚诺数：
data ℕ : Set where
  zero : ℕ 
  succ : ℕ → ℕ
这表明存在两种形式可以用来构造一个自然数：首先，zero 是一个自然数；若已知 n 是一个自然数，则 succ n 也必定是一个自然数。
又如，Agda 中对小于或等于关系的定义：
data _≤_ : ℕ → ℕ → Set where
  z≤n : {n : ℕ} → zero ≤ n
  s≤s : {n m : ℕ} → n ≤ m → succ n ≤ succ m
第一处构造（z≤n）指出：zero 必定小于或等于任何自然数；第二处构造（s≤s）指出：当 n <= m 时必定有 succ n <= succ m。
例如，考虑z≤n {succ zero}，依照定义，它是对零小于一的证明；再考虑s≤s {zero} {succ zero} (z≤n {succ zero})，则是对一小于二的证明。
简介 > 依赖类型模式匹配（dependently typed pattern matching）

在类型论中，归纳和递归原则通常被用来证明涉及到归纳类型的定理。Agda 则使用依赖类型模式匹配来达到此目的。例如，自然数的加法可被定义为：
add zero n = n
add (succ m) n = succ (add m n)
比起运用归纳/递归原则，直接定义递归函数更加简单直观。依赖类型模式匹配是 Agda 内置的语言特性之一；其核心类型论并没有包含归纳/递归原则。
简介 > 记录类型（records）

除了归纳类型之外，Agda 还支持记录类型。记录的作用是将若干类型的值包装在一起，并使用不同名称标识不同的域；它可看作是对依赖乘积类型（dependent product types）的推广。
例如，在 Agda 中定义一个值对（pair）：
record Pair (A B : Set) : Set where
  field
    fst : A
    snd : B
以上代码定义了一个新的数据类型Pair : Set → Set → Set，以及两个投影函数：
Pair.fst : {A B : Set} → Pair A B → A
Pair.snd : {A B : Set} → Pair A B → B
记录类型的值可以使用记录表达式来创建，如：
p12 = record { fst = 1; snd = 2 }
若在定义记录类型时使用constructor关键字规定了构造器，则亦可直接使用相应的构造器来创建记录，如：
record Pair (A B : Set) : Set where
  constructor _,_
  field
    fst : A
    snd : B

p34 : Pair Nat Nat
p34 = 3 , 4