2014年10月22日 (水) 05:03時点における版編集 Meniv (会話 \| 投稿記録) 2,665 回編集 m Meniv がページ「計算模型」をリダイレクトの「計算モデル」に移動しました: ノートでの議論にて反対意見がなかったため。 ← 古い編集		2014年10月22日 (水) 05:05時点における版編集取り消し Meniv (会話 \| 投稿記録) 2,665 回編集改名による微修正。数理模型を数理モデルにリンク先変更。新しい編集 →
1行目: '''計算模型モデル'''（''model of computation''）とは、人工的な[[計算機]]を含め、[[計算]]・[[推論]]・[[証明]]といった行為を理論的・抽象的に考察するための[[数理モデル~~_(自然科学)\|数理模型~~]]のことである。'''計算~~モデル~~模型'''とも。▼ ~~{{改名提案\|計算モデル\|date=2014年10月}}~~ ▲'''計算模型'''（''model of computation''）とは、人工的な[[計算機]]を含め、[[計算]]・[[推論]]・[[証明]]といった行為を理論的・抽象的に考察するための[[モデル_(自然科学)\|数理模型]]のことである。'''計算モデル'''とも。また、'''[[抽象機械]]'''（''abstract machine''）と言った場合、主に[[オートマトン]]理論での計算システムの理論的モデルを意味する。{{main\|抽象機械}} 35 ⟶ 34行目: * [[神経細胞網]] * [[量子計算機]] {{DEFAULTSORT:けいさんもけい}} {{Computer-stub}} [[Category:計算モデル\|けいさんもけいてる]]▼ ▲[[Category:計算モデル\|けいさんもけい]] [[Category:計算理論]] [[Category:数学に関する記事]]

「計算モデル」の版間の差分