Similar to グスタフソンの法則
アムダールの法則
Amdahl's lawM系列
Maximum length sequenceアルゴリズム
Algorithm▲1 trendsMizar
Mizar systemElGamal署名
ElGamal signature schemeヴィルトの法則
Wirth's lawカオの法則
ギルダーの法則
クーメイの法則
Koomey's lawグロッシュの法則
Grosch's law0
0▼-1 trends1
12
23
34
45
56
67
78
89
912345679
理論計算機科学
Theoretical computer scienceアルファベット (計算機科学)
Alphabet (formal languages)カリー=ハワード同型対応
Curry–Howard correspondenceクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm計算木論理
Computation tree logic計算複雑性理論
Computational complexity theory