语言
没有数据
通知
无通知
(1)することができること。 ありうること。 また， そのさま。
これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。 実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。 計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)
実行可能領域 (英: Feasible region) -- 最適化問題において、目的関数のドメインとなる、与えられた制約条件をすべて満たす集合のこと。実行可能領域が存在する/しないことをそれぞれ実行可能性/実行不能性 (英: (in)feasibility)と言う。
実効的（effectiveな）方法が存在することを指す。決定可能性（けっていかのうせい、英: decidability）は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式（または定理）の集合のメンバーシップを実効的
実用数学技能検定（じつようすうがくぎのうけんてい）は、公益財団法人日本数学検定協会が実施する数学・算数の検定であり、一般に数学検定または算数検定と呼ばれる。 1990年に高田大進吉が個人で始めた数学能力検定が発端である。1992年に任意団体・日本数学検定協会が発足し、1級 -
数学における無視可能函数（むしかのうかんすう、英: negligible function）は、極限においていかなる多項式よりも非常に緩やかな増加をするような函数である。 実数列 μ: N → R は、任意の正整数 c に対して適当な整数 Nc を選べば、x > Nc なる全ての x について | μ
手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。 計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。 自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数
において存在しなければならず、そのような場合、線型写像 J はヤコビ行列となる。高階導函数に関する同様の定式化は、一変数微分積分学でいうところの有限増分の補題（英語版）によって与えられる。 ここで、偏導関数の存在は（あるいは、すべての方向微分の存在でさえも）、ある点における関数の微分可能性を保証する
搜索 
搜索 搜索 
