Similar to 数学基礎論
原始再帰関数
Primitive recursive function項書き換え
Rewriting合流性
Confluence (abstract rewriting)再帰
Recursion述語論理
Predicate logic第24SS武装山岳猟兵師団
24th Waffen Mountain Division of the SS Karstjäger2型糖尿病
Type 2 diabetes3の平方根
Square root of 34次元
Four-dimensional space5の平方根
Square root of 55次元
Five-dimensional space6次元
Six-dimensional spaceBPP (計算複雑性理論)
BPP (complexity)E8 (数学)
E8 (mathematics)N連結
Homotopical connectivityQRコード
QR code▲1 trendsZ検定
Z-testΩ-論理
Ω-logicAI (歌手)
Ai (singer)愛着障害
Attachment disorderリチャード・アスキー
Richard AskeyM系列
Maximum length sequenceアルファベット (計算機科学)
Alphabet (formal languages)クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmゲーム意味論
Game semantics再帰的定義
Recursive definition制約論理プログラミング
Constraint logic programming並行制約プログラミング
Concurrent constraint logic programming