User: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