Similar to フリードバーグ・ナンバリング
クリーネの再帰定理
Kleene's recursion theorem
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
単純集合
Simple set
低基底定理
Low basis theorem
停止性問題
Halting problem
ナンバリング (計算可能性理論)
Numbering (computability theory)二重再帰法
Double recursion
ハーディ階層
Hardy hierarchy
ビジービーバー
Busy beaver
ポストの定理
Post's theorem
ライス＝シャピロの定理
Rice–Shapiro theorem
Template:節スタブ
Template:Expand section
FNSソフト工場
TV-DOS
デアリング級駆逐艦
Daring-class destroyer (1949)
.32ACP弾
.32 ACP
第1空母航空団 (アメリカ海軍)
Carrier Air Wing One
第1軍 (韓国陸軍)
第1軍団 (韓国陸軍)
I Corps (South Korea)
第1歩兵師団 (韓国陸軍)
1st Infantry Division (South Korea)第2軍 (韓国陸軍)
第2迅速対応師団