検索結果- 英語 - 多言語
検索内容:
abstract language
lambda abstraction
(computing theory) A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.
計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。
abstract publications
abstract publication
A scientific publication which concentrates on publishing abstracts of scientific writings.
科学論文や学術文献の要旨を主に掲載する学術的な出版物
Abstract Expressionism
An American genre of modern art that used improvised techniques, such as sinuous linearity, to generate highly abstract forms while allowing the artist spontaneity.
抽象表現主義:アメリカで発展した現代美術の一ジャンルで、即興的な技法(例:流れるような線の表現など)を用いて、非常に抽象的な形式を生み出し、芸術家の自発性を重視する表現方法
lambda abstractions
abstract verbs
plural of abstract verb
『abstract verb』の複数形
abstract algebra
abstract nonsense
(mathematics, humorous) Details which are straightforward but so tedious that an author or lecturer would rather skip them (especially those of a category theoretical nature).
数学(特に圏論)の文脈で、定理の証明や議論の中で本質的な内容は明らかであるものの、その詳細が非常に冗長で煩雑なため、あえて省略される部分をユーモラスに揶揄する表現。