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
中文 其他语言
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机器 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