用戶: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