Similar to デジタル物理学
ガウス型アンサンブル
光速変動理論
Variable speed of light1/N展開
1/N expansion第1軍団 (韓国陸軍)
I Corps (South Korea)10.5インチiPad Pro
1048576
理論計算機科学
Theoretical computer scienceM系列
Maximum length sequenceアルゴリズム
Algorithm▲1 trendsアルファベット (計算機科学)
Alphabet (formal languages)カリー=ハワード同型対応
Curry–Howard correspondenceグスタフソンの法則
Gustafson's lawクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm計算木論理
Computation tree logic計算複雑性理論
Computational complexity theory計算理論
Theory of computation計算論的哲学
Computational philosophy形式言語
Formal language形式手法
Formal methods形式的検証
Formal verificationゲーデルの不完全性定理
Gödel's incompleteness theoremsゲーム意味論
Game semantics公理的意味論
Axiomatic semanticsコンビネータ論理
Combinatory logic再帰的定義
Recursive definition失敗による否定
Negation as failure弱文脈依存言語
Mildly context-sensitive grammar formalism