「recursion theory」を解説文に含む見出し語の検索結果(21～30/109件中)
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
自然変換（しぜんへんかん、英: natural transformation）とは、数学における「自然な同型」という概念の定式化として生まれ、その後圏および関手とともに圏論の中核を構成した数学...
自然変換（しぜんへんかん、英: natural transformation）とは、数学における「自然な同型」という概念の定式化として生まれ、その後圏および関手とともに圏論の中核を構成した数学...
自然変換（しぜんへんかん、英: natural transformation）とは、数学における「自然な同型」という概念の定式化として生まれ、その後圏および関手とともに圏論の中核を構成した数学...
自然変換（しぜんへんかん、英: natural transformation）とは、数学における「自然な同型」という概念の定式化として生まれ、その後圏および関手とともに圏論の中核を構成した数学...
ナビゲーションに移動検索に移動微分方程式ナビエ–ストークス微分方程式、障害物のまわりの気流をシミュレートするのに用いられる。範囲.mw-parser-output .hlist ul,.mw-pars...
ナビゲーションに移動検索に移動微分方程式ナビエ–ストークス微分方程式、障害物のまわりの気流をシミュレートするのに用いられる。範囲.mw-parser-output .hlist ul,.mw-pars...