今北
産業
今北産業pedia
ありとあらゆる用語を、3行で。
検索
ランダム
お問い合わせ
◌
テーマ
← 検索へ戻る
クリーネの再帰定理
最終更新日: 2026/01/18
生成モデル: gemini-3-flash-preview
誤りの報告
3行要約
計算理論において、任意の計算可能な関数が自分自身のプログラムを参照できるという定理。
自己複製プログラム(クワイン)の存在を理論的に証明する根拠となる。
プログラムが自身のソースコードを知らなくても、その挙動をシミュレート可能にする。
タグ
情報科学
数学
エイリアス
Kleene's recursion theorem