AI用語
ラムダ計算
Lambda Calculus
ラムダ計算とは
計算の概念を関数抽象化と関数適用によって定義する、計算理論における数学的な形式体系。
他の言語での表記と説明
- 한국어람다 대수
- 함수의 추상화와 적용을 통해 계산을 수행하는 수학적 논리 체계로, 계산 가능성의 기초를 제공한다.
- EnglishLambda Calculus
- A formal system in mathematical logic for expressing computation based on function abstraction and application, widely considered the foundation of functional programming
関連用語
- SMT-LIBSMTソルバー向けの標準入力言語で、論理式や制約を機械可読な形式で記述する
- OCaml高い安全性と表現力を備えた多機能プログラミング言語。ML言語ファミリーに属し、型推論と関数型プログラミングを強力にサポートする
- 第一級抽象化要素プログラミング言語において、変数への代入、関数への引数受け渡し、戻り値としての返却など、他の言語機能と同等の扱いが可能な概念。
- ツール呼び出し形式ソフトウェアがツールを呼び出す際の入力や手順を定める構造。
- アセンブリ言語コンピュータのCPUが直接実行する機械語と密接に対応した、低水準のプログラミング言語。
- GLSLOpenGL Shading Languageの略称。GPUで動作するプログラムを記述するための、C言語に似た構文を持つプログラミング言語。
- Perl1980年代後半に開発された、テキスト処理能力に優れたプログラミング言語。