「recursion」を解説文に含む見出し語の検索結果(101～110/215件中)
μ再帰関数（ミューさいきかんすう、英: μ-recursive function）または帰納的関数（きのうてきかんすう）とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
μ再帰関数（ミューさいきかんすう、英: μ-recursive function）または帰納的関数（きのうてきかんすう）とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
μ再帰関数（ミューさいきかんすう、英: μ-recursive function）または帰納的関数（きのうてきかんすう）とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
Jump to navigationJump to searchプロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Pr...
Jump to navigationJump to searchプロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Pr...
Jump to navigationJump to searchプロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Pr...
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...