Similar to グスタフソンの法則
M系列
Maximum length sequenceアルゴリズム
Algorithmアルファベット (計算機科学)
Alphabet (formal languages)Mizar
Mizar systemアムダールの法則
Amdahl's law0
0▲1 trends1
1▼-1 trends2
23
34
45
56
67
78
89
912345679
理論計算機科学
Theoretical computer scienceカリー=ハワード同型対応
Curry–Howard correspondenceクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm計算木論理
Computation tree logic計算複雑性理論
Computational complexity theory計算理論
Theory of computation計算論的哲学
Computational philosophy形式言語
Formal language形式言語の階層
形式手法
Formal methods形式的検証
Formal verification