「recursion theory」を解説文に含む見出し語の検索結果(21~30/108件中)
チューリング次数(~じすう、英: Turing degree, degree of unsolvability)は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、そ...
チューリング次数(~じすう、英: Turing degree, degree of unsolvability)は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、そ...
計算可能性理論において、ライス=シャピロの定理(英: 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...