Similar to 不動点コンビネータ
不動点の作図法
フロイドの循環検出法
平衡点
Equilibrium point (mathematics)ミニマックス法
Minimax関数型プログラミング
Functional programmingCatamorphism
CatamorphismCEK機械
CEK MachineFrenetic
Frenetic (programming language)Nix (パッケージ管理システム)
Nix (package manager)Option型
Option typeResult型
Result typeSECDマシン
SECD machine型クラス
Type class型推論
Type inference参照透過性
Referential transparency始代数
Initial algebra代数的データ型
Algebraic data typeサイモン・ペイトン・ジョーンズ
Simon Peyton Jonesモナド (プログラミング)
Monad (functional programming)EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC後向き連鎖
Backward chainingオートマトン
Automata theory可逆計算
Reversible computing計算可能数
Computable number計算等価性原理
A New Kind of Science#Principle of computational equivalence計算モデル
Model of computation計算論的神経科学
Computational neuroscience決定問題
Decision problem