用戶:Soimort/坑

這裏是一個待撰寫/擴充的條目列表。

計算機科學

計算理論

中文	其他語言
計算理論	en:Theory of computation
計算模型	en:Model of computation
P′′	en:P′′
可計算數	en:Computable number
麥卡錫91函數	en:McCarthy 91 function
竹內函數	en:Tak (function)
BlooP和FlooP	en:BlooP and FlooP
算法信息論	en:Algorithmic information theory

程式語言理論

中文	其他語言
程式語言理論	en:Programming language theory
阿隆佐·邱奇	en:Alonzo Church
克里斯托弗·斯特雷奇	en:Christopher Strachey

編譯器

中文	其他語言
源碼-源碼編譯器	en:Source-to-source compiler
C--	en:C--

編程範式

中文	其他語言
雙重分派	en:Double dispatch
多重分派	en:Multiple dispatch
動態分派	en:Dynamic dispatch
運算符重載	en:Operator overloading
參數化多態	en:Parametric polymorphism
數據流編程	en:Dataflow programming
π演算	en:π-calculus
通信順序進程	en:Communicating sequential processes

函數式編程

中文	其他語言
Church-Rosser定理	en:Church–Rosser theorem
部分求值	en:Partial evaluation
完全函數式編程	en:Total functional programming
共歸納	en:Coinduction
共遞歸	en:Corecursion
模式匹配	en:Pattern matching
Type class	en:Type class
國際函數式編程會議, ICFP	en:International Conference on Functional Programming

Esolang

中文	其他語言
INTERCAL	en:INTERCAL
Befunge	en:Befunge
Malbolge	en:Malbolge
Lazy K	ja:Lazy K

程式語言

中文	其他語言
Plankalkül	en:Plankalkül
Modula	en:Modula
Modula-2	en:Modula-2
Modula-3	en:Modula-3
Oberon-2	en:Oberon-2 (programming language)
ZPL	en:ZPL (programming language)
Chapel	en:Chapel (programming language)
X10	en:X10 (programming language)
Fortress	en:Fortress (programming language)
CLU	en:CLU (programming language)
FP	en:FP (programming language)
FL	en:FL (programming language)
Hope語言	en:Hope (programming language)
Curry語言	en:Curry (programming language)
Concurrent ML	en:Concurrent ML
Alice ML	en:Alice (programming language)
F#	en:F Sharp (programming language)
SNOBOL	en:SNOBOL
Dylan	en:Dylan (programming language)
Logtalk	en:Logtalk
Datalog	en:Datalog
墨丘利語言, Mercury語言	en:Mercury (programming language)
Oz (程式語言)	en:Oz (programming language)
Elixir	en:Elixir (programming language)
Opa	en:Opa (programming language)
Elm語言	en:Elm (programming language)

Lisp

中文	其他語言
Lisp機器	en:Lisp machine
Lisp Machine Lisp	en:Lisp Machine Lisp
Racket	en:Racket (programming language)
Gambit	en:Gambit (scheme implementation)
GNU Guile, Guile	en:GNU Guile
Scsh	en:Scsh
Arc	en:Arc (programming language)
Qi語言	en:Qi (programming language)
Shen語言	en:Shen (programming language)

證明輔助

中文	其他語言
證明輔助器, 證明輔助工具	en:Proof assistant
LCF	en:Logic for Computable Functions
Nqthm	en:Nqthm
ACL2	en:ACL2

依賴類型

中文	其他語言
依賴類型	en:Dependent type
Coq	en:Coq
Agda	en:Agda (programming language)
Idris	en:Idris (programming language)
Dependent ML	en:Dependent ML
ATS語言	en:ATS (programming language)
F*	en:F* (programming language)
Cayenne	en:Cayenne (programming language)
Epigram	en:Epigram (programming language)
LEGO (證明輔助器)	en:LEGO (proof assistant)
Matita	en:Matita
Mizar	en:Mizar system
NuPRL	en:NuPRL
Twelf	en:Twelf

類型論

中文	其他語言
代數數據類型	en:Algebraic data type
Hindley–Milner類型系統	en:Hindley–Milner type system
Lambda立方	en:Lambda cube
Per Martin-Löf	en:Per Martin-Löf
類型論的歷史	en:History of type theory
同倫類型論, HoTT	en:Homotopy type theory

數理邏輯、抽象代數、代數拓撲、同調代數和範疇論

中文	其他語言
數學原理, Principia Mathematica	en:Principia Mathematica
zh:Category:同調代數	en:Category:Homological algebra
zh:Category:同倫論	en:Category:Homotopy theory
zh:Category:範疇論	en:Category:Category theory
zh:Category:範疇論中的範疇	en:Category:Category-theoretic categories
zh:Category:態射	en:Category:Morphisms
zh:Category:函子	en:Category:Functors

軟件工程

計算機軟件

中文	其他語言
微軟開放規格承諾	en:Microsoft Open Specification Promise
Unix痛恨者手冊	en:The Unix-Haters Handbook
dig	en:Dig (command)
modprobe	en:modprobe
libgcrypt	en:libgcrypt
Darcs	en:Darcs

密碼學

中文	其他語言
加密散列函數, 加密哈希函數, 加密雜湊函數	en:Cryptographic hash function
雪崩效應 (密碼學)	en:Avalanche effect
不可抵賴性	en:Non-repudiation
MAC, 消息認證碼, 消息驗證碼, 信息認證碼, 信息驗證碼	en:Message authentication code
HMAC, 基於散列的消息認證碼, 散列消息認證碼	en:Hash-based message authentication code
CMAC, 基於密碼的消息認證碼	en:CMAC
UMAC	en:UMAC
VMAC	en:VMAC
填充 (密碼學)	en:Padding (cryptography)
Feistel密碼	en:Feistel cipher
Merkle–Damgård構造	en:Merkle–Damgård construction
通用散列	en:Universal hashing
散列碰撞, 哈希碰撞, 雜湊碰撞	en:Collision (computer science)
碰撞攻擊	en:Collision attack
生日攻擊	en:Birthday attack
長度擴展攻擊	en:Length extension attack
重放攻擊	en:Replay attack
原像攻擊	en:Preimage attack
彩虹表	en:Rainbow table
姚測試	en:Yao's test
密鑰交換	en:Key exchange http://technet.microsoft.com/en-us/library/cc962035.aspx
公鑰指紋	en:Public key fingerprint
PGP詞彙表	en:PGP word list
公鑰證書, 數字證書	en:Public key certificate
自簽名證書	en:Self-signed certificate
X.509	en:X.509
Keystore	en:Keystore
加密電子貨幣	en:Cryptocurrency
比特幣協議	en:Bitcoin protocol

計算生物學

生物信息學

中文	其他語言
Ab initio	en:Ab initio
蛋白質結構預測	en:Protein structure prediction
FASTA	en:FASTA
FASTA格式	en:FASTA format
FASTQ格式	en:FASTQ format
斯德哥爾摩格式	en:Stockholm format
Pfam	en:Pfam
Rfam	en:Rfam

系統生物學

中文	其他語言
生物網絡	en:Biological network
相互作用組學, 相互作用組, 蛋白質相互作用	en:Interactome
生物神經網絡	en:Biological neural network
細胞信號傳送	en:Cell signaling
基因調控網絡	en:Gene regulatory network
代謝網絡建模	en:Metabolic network modelling
SBGN, 系統生物學圖釋	en:Systems Biology Graphical Notation
Cytoscape	en:Cytoscape
生物系統建模	en:Modelling biological systems
隨機模擬	en:Stochastic simulation
Gillespie算法	en:Gillespie algorithm

字體

中文	其他語言
字體	en:Typeface
拉丁文字體列表	en:List of typefaces
Unicode字體	en:Unicode font
漢字統一化	en:Han unification
中國書法名跡列表	ja:中國の筆跡一覧
日本書道	ja:書道
日本書道史	ja:日本の書道史
日本書道家列表	ja:日本の書家一覧
禪林墨跡	ja:禪林墨跡

紋章學

中文	其他語言
紋章學	en:Heraldry
寓意物, 紋章寓意物	en:Charge (heraldry)
紋章寓意物列表	en:List of heraldic charges
螞蟻 (紋章)	en:Emmet (heraldry)

視覺藝術

中文	其他語言
形而上畫派	en:Metaphysical art
Ero guro (獵奇？古羅？色情怪誕派？)	en:Ero guro
算法藝術	en:Algorithmic art
分形藝術	en:Fractal art

音樂

中文	其他語言
暗潮	en:Dark wave
新古典暗潮	en:Neoclassical dark wave
新民謠	en:Neofolk
冷潮	en:Coldwave
新德意志死亡藝術, Neue Deutsche Todeskunst	en:Neue Deutsche Todeskunst
新德意志浪潮, Neue Deutsche Welle	en:Neue Deutsche Welle
工業音樂	en:Industrial music
後工業音樂	en:Post-industrial music
軍事工業音樂	en:Martial industrial
噪聲音樂	en:Noise music
血碾	en:Goregrind
死碾	en:Deathgrind
色碾	en:Pornogrind
Encyclopaedia Metallum	en:Encyclopaedia Metallum
Abstrakt Algebra	en:Abstrakt Algebra
亞洲混音機構, Asian Dub Foundation	en:Asian Dub Foundation
肛膣樂隊, Anal Cunt	en:Anal Cunt
Das Ich	en:Das Ich
Devil Doll	en:Devil Doll (Slovenian band)
Die Form	en:Die Form
Forest of Shadows	it:Forest of Shadows
Forseti	de:Forseti (band)
快樂分隊, Joy Division	en:Joy Division
電影樂隊, Kino (樂隊)	en:Kino (band)
La Fouine	en:La Fouine
L'Âme Immortelle	en:L'Âme Immortelle
Mayhem	en:Mayhem (band)
Meshuggah	en:Meshuggah
Mogwai	en:Mogwai
Mono (樂隊)	en:Mono (Japanese band)
少年刀, Shonen Knife	en:Shonen Knife
蘇克西和女妖, Siouxsie and the Banshees	en:Siouxsie and the Banshees
仁慈姐妹, The Sisters of Mercy	en:The Sisters of Mercy
Tenhi	en:Tenhi
月隱雲後, The Moon Lay Hidden Beneath a Cloud	en:The Moon Lay Hidden Beneath a Cloud
cali≠gari, Cali Gari	ja:cali≠gari
Syndrome	ja:Syndrome
聖飢魔II	ja:聖飢魔II
森田童子	ja:森田童子
池玲子	ja:池玲子

哲♂學

中文	其他語言
舍斯托夫	en:Lev Shestov
類型物理主義	en:Type physicalism
異常一元論	en:Anomalous monism