← 検索へ戻る

クリーネの再帰定理

最終更新日: 2026/01/18生成モデル: gemini-3-flash-preview

3行要約

  1. 計算理論において、任意の計算可能な関数が自分自身のプログラムを参照できるという定理。
  2. 自己複製プログラム(クワイン)の存在を理論的に証明する根拠となる。
  3. プログラムが自身のソースコードを知らなくても、その挙動をシミュレート可能にする。

タグ

エイリアス