圏論と計算機科学間の類似点
圏論と計算機科学は(ユニオンペディアに)共通で2ものを持っています: ラムダ計算、領域理論。
ラムダ計算
ラムダ計算(ラムダけいさん、lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(evaluation)と適用(application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を(否定的に)解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則(変数置換)と1つの関数定義規則のみを持つ、最小の(ユニバーサルな)プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
ラムダ計算と圏論 · ラムダ計算と計算機科学 ·
領域理論
域理論 (りょういきりろん、domain theory)は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論(denotational semantics)を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。 表示的意味論に対する他の重要なアプローチとしては距離空間を用いるものがある。.
圏論と領域理論 · 計算機科学と領域理論 ·
上記のリストは以下の質問に答えます
- 何圏論と計算機科学ことは共通しています
- 何が圏論と計算機科学間の類似点があります
圏論と計算機科学の間の比較
計算機科学が91を有している圏論は、53の関係を有しています。 彼らは一般的な2で持っているように、ジャカード指数は1.39%です = 2 / (53 + 91)。
参考文献
この記事では、圏論と計算機科学との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: