Similar to 不動点コンビネータ
ビジービーバー
Busy beaver
非同期セル・オートマトン
Asynchronous cellular automaton
前向き連鎖
Forward chaining
マルコフアルゴリズム
Markov algorithm
ワンのタイル
Wang tile
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
計算木論理
Computation tree logic
形式言語
Formal language形式言語の階層
公理的意味論
Axiomatic semantics
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schankデジタル物理学
Digital physics
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
ヨセフスの問題
Josephus problem
ラフ集合
Rough set
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)