計算と領域とは? わかりやすく解説

計算と領域

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/22 07:55 UTC 版)

領域理論」の記事における「計算と領域」の解説

計算領域が何であるべきかについて、すでにいくつかの基礎的形式的な記述そろったので、計算そのものへと目を転じることができる。 明らかに、それは関数なければならず、ある計算領域から入力をもらい、ある(おそらくは異なった領域へと出力返す。 さらに、入力情報の内容増えたなら、関数出力がより多く情報を含むとも期待できるだろう。 これは、形式的に単調な関数要求していることになる。 Dcpo を扱うときには有向集合極限構成矛盾しない計算要求するかもしれない。 これは形式的に、ある関数 f に対して有向集合 D の像 f(D) (すなわち、D の各要素の像の集合)がやはり有向集合であって上限として D の上限の像をもつことを意味する。 これを f が有向集合の上限を保存するとも言えるまた、2 要素有向集合考えればわかるように、このような関数単調なければならないこともわかる。 この特性は、スコット連続 (Scott-continuous) な関数概念与える。 多く場合あいまいにならないので、これは単に 連続関数 とも言われる

※この「計算と領域」の解説は、「領域理論」の解説の一部です。
「計算と領域」を含む「領域理論」の記事については、「領域理論」の概要を参照ください。

ウィキペディア小見出し辞書の「計算と領域」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「計算と領域」の関連用語

計算と領域のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



計算と領域のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの領域理論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS