検索結果
ナビゲーションに移動
検索に移動
- …共著者の片方である[[ウォーレン・マカロック|マカロック]]は神経生理学者だが、彼らの提案の主眼は生物の神経細胞を模擬することよりも、計算の理論で[[計算モデル]]と呼ばれるものとしての性質を検討することにあった（[[形式ニューロン]]の記事も参照）。 …3キロバイト (72 語) - 2023年9月7日 (木) 05:24
- [[Category:計算モデル]] …5キロバイト (186 語) - 2020年5月20日 (水) 06:31
- [[Category:計算モデル]] …1キロバイト (145 語) - 2013年4月7日 (日) 08:46
- == 計算モデル == {{main|計算モデル}} …9キロバイト (177 語) - 2023年9月10日 (日) 08:42
- [[Category:計算モデル]] …4キロバイト (139 語) - 2025年2月23日 (日) 14:18
- 5キロバイト (189 語) - 2020年4月14日 (火) 03:26
- [[Category:計算モデル]] …2キロバイト (74 語) - 2021年3月18日 (木) 23:19
- 3キロバイト (120 語) - 2025年3月8日 (土) 02:04
- 計算可能性理論の中心課題に答えるために、「コンピュータとは何か」を形式的に定義する必要がある。利用可能な[[計算模型|計算モデル]]はいくつか存在する。以下に代表例を挙げる。 …18キロバイト (211 語) - 2024年11月11日 (月) 18:50
- [[Category:計算モデル]] …16キロバイト (502 語) - 2024年7月13日 (土) 15:22
- 2キロバイト (97 語) - 2023年2月27日 (月) 11:59
- この定義における並列計算機は「並列ランダムアクセス機械」（[[並列ランダムアクセス機械|PRAM]]）である。これは、共有メモリ型の並列計算機の[[計算モデル]]で、全プロセッサがどのメモリ位置についても一定の時間でアクセスできるものと定義されている。'''NC''' の定義は PRAM において複数のプロセ …4キロバイト (187 語) - 2017年10月13日 (金) 15:37
- 11キロバイト (569 語) - 2023年6月4日 (日) 08:00
- …広義には[[公理]]的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、[[チューリングマシン]]などの[[計算モデル]]を扱う。 …10キロバイト (557 語) - 2025年2月6日 (木) 17:22
- [[個体群]]成長の[[計算モデル]]である[[ロジスティック方程式]]では、個体群サイズ成長速度 ''dN''/''dt'' を以下のように求めることができる<ref name="集団 …3キロバイト (141 語) - 2016年7月25日 (月) 01:04
- [[Category:計算モデル]] …6キロバイト (204 語) - 2022年8月30日 (火) 11:51
- '''SKIコンビネータ計算'''は型無し[[ラムダ計算]]を単純化した、ひとつの[[計算モデル]]である。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない（[[難解プログラミング言語]]には …15キロバイト (1,105 語) - 2022年6月17日 (金) 16:40
- …[[アルゴリズム]]によって結果の値が得られる関数のことである。計算可能関数は、[[チューリングマシン]]や[[レジスタマシン]]といった具体的な[[計算モデル]]を参照せずに、計算可能性を論じるのに使われる。しかし、その定義には特定の計算モデルを参照する必要がある。 …17キロバイト (359 語) - 2023年10月2日 (月) 05:48
- 16キロバイト (1,097 語) - 2024年9月14日 (土) 23:41
- 5キロバイト (52 語) - 2021年3月13日 (土) 07:38