Similar to 後者関数

Ackermann function

0

Linear logic

6PPD

911 (emergency telephone number)

Apple Podcasts

Broyden–Fletcher–Goldfarb–Shanno algorithm

C23 (C standard revision)

CYP1A1

Limited-memory BFGS

QR decomposition

Einstein problem

Zero to the power of zero

Sudan function

Power of two

I Corps (South Korea)

Partition of unity

Axiom (computer algebra system)

Brilliant (website)

Arity

Type theory

Cut-elimination theorem

Domain of discourse

Craig interpolation

Tautology (logic)

Heyting algebra