Similar to グスタフソンの法則
アムダールの法則
Amdahl's law
M系列
Maximum length sequence
アルゴリズム
Algorithm
Mizar
Mizar system
ElGamal署名
ElGamal signature scheme
ヴィルトの法則
Wirth's law
カオの法則
ギルダーの法則
クーメイの法則
Koomey's law
グロッシュの法則
Grosch's law
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
理論計算機科学
Theoretical computer science
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory