Similar to アルファベット_(計算機科学)
二人の将軍問題
Two Generals' Problem不動点コンビネータ
Fixed-point combinator部分観測マルコフ決定過程
Partially observable Markov decision processプログラム意味論
Semantics (computer science)並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programming閉世界仮説
Closed-world assumptionホーン節
Horn clauseマルコフ決定過程
Markov decision processモデル検査
Model checkingヨセフスの問題
Josephus problemラフ集合
Rough setラムダ計算
Lambda calculus論理プログラミング
Logic programming数学
Mathematics0.999...
0.999...0次元
Zero-dimensional space0の0乗
Zero to the power of zero1次元
One-dimensional space1+1
1+2+3+4+…
1 + 2 + 3 + 4 + ⋯1+2+4+8+…
1 + 2 + 4 + 8 + ⋯1の冪根
Root of unity1の補数
Ones' complement1−1+2−6+24−120+…
1 − 1 + 2 − 6 + 24 − 120 + ⋯1−2+3−4+…
1 − 2 + 3 − 4 + ⋯1−2+4−8+…
1 − 2 + 4 − 8 + ⋯2次過程