計算可能関数とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 計算可能関数

計算可能関数

手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数

Từ điển Nhật - Nhật

Các từ liên quan tới 計算可能関数

計算可能数

これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)

可逆計算

ビリヤードボール・コンピュータ可逆計算模型遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。可逆セル・オートマトン可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語

微分可能関数

において存在しなければならず、そのような場合、線型写像 J はヤコビ行列となる。高階導函数に関する同様の定式化は、一変数微分積分学でいうところの有限増分の補題（英語版）によって与えられる。ここで、偏導関数の存在は（あるいは、すべての方向微分の存在でさえも）、ある点における関数の微分可能性を保証する

計算可能性理論

計算可能性理論（けいさんかのうせいりろん、英: computability theory）とは、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。理論計算

計算可能ドキュメント形式

書式付きテキスト、表、画像、サウンド、アニメーションが使用できる。CDFはMathematicaのタイプセット式と技術的表記をサポートしている。ページ番号付きレイアウト、構造化されたドリルダウンレイアウト、スライドショーモードもサポートされている。書式スタイルはCSSを使って設定できる。

計算知能

Intelligence, CI)は人工知能研究の一分野であり、数理論理学に基づく従来的な人工知能とは一線を画すものである。計算知能の研究は、ファジィシステムやニューラルネットワークや進化的計算といったヒューリスティック的アルゴリズムを中心とする。その他にも、群知能、フラクタル、カオス理論、人工免疫系、ウェーブレットといった技法も利用する。