理論計算機科学における概念との対応とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 理論計算機科学における概念との対応の意味・解説 

理論計算機科学における概念との対応

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:35 UTC 版)

冪対象」の記事における「理論計算機科学における概念との対応」の解説

上の諸概念は、理論計算機科学における計算手続き抽象化重要な役割を果たすデータ型 Y と Z に対しZY は Y の型のデータ入力とし、Z の型のデータ出力とするような計算手続きの型を表していると考えることができる。このとき、eval: ZY × Y → Z とは個々計算手続き入力データに対して出力データ計算する手続きであると解釈することができる。また、射 g: X × Y → Z に対して λg: X → ZY考えということは、g が表していた複数入力を取る計算手続きに対してカリー化を行うということ対応している。したがって、g = eval(λg × idY) という等式カリー化された手続きと元の手続きとの関係を表していることになる。 計算機科学やそれに関係した文脈では、これらの概念を以下のように異なった記号や用語で表すことに注意する必要がある指数対象は [Y → Z] で表し、λg は curry(g) などによって、また、evalapply適用)という用語を用いる。これらの記号用いられ理由はコンピュータスクリーン上の組版制約のためであったり、ラムダ計算との記号重複避けるためであったということである。

※この「理論計算機科学における概念との対応」の解説は、「冪対象」の解説の一部です。
「理論計算機科学における概念との対応」を含む「冪対象」の記事については、「冪対象」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「理論計算機科学における概念との対応」の関連用語

1
18% |||||

理論計算機科学における概念との対応のお隣キーワード
検索ランキング

   

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



理論計算機科学における概念との対応のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS