语言
没有数据
通知
无通知
手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。 計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。 自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数
ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語
計算可能性理論（けいさんかのうせいりろん、英: computability theory）とは、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。 理論計算
書式付きテキスト、表、画像、サウンド、アニメーションが使用できる。CDFはMathematicaのタイプセット式と技術的表記をサポートしている。ページ番号付きレイアウト、構造化されたドリルダウンレイアウト、スライドショーモードもサポートされている。書式スタイルはCSSを使って設定できる。
Intelligence, CI)は人工知能研究の一分野であり、数理論理学に基づく従来的な人工知能とは一線を画すものである。計算知能の研究は、ファジィシステムやニューラルネットワークや進化的計算といったヒューリスティック的アルゴリズムを中心とする。その他にも、群知能、フラクタル、カオス理論、人工免疫系、ウェーブレットといった技法も利用する。
number-theory/algorithmic-number-theory-lattices-number-fields-curves-and-cryptography?format=HB&isbn=9780521808545 Henri Cohen (1993). A Course In
(1)することができること。 ありうること。 また， そのさま。
高性能計算、ハイ・パフォーマンス・コンピューティング（high-performance computing、HPC）は、計算科学のために必要な数理からコンピュータシステム技術までに及ぶ総合的な学問分野である。 1980年代以前はベクトル計算機が主流であったが、1990年代以降ではスカラー計算
搜索 
搜索 搜索 
