Similar to 不動点コンビネータ

Ensemble Kalman filter

Dark figure of crime

Anscombe's quartet

Safe prime

Igor Ansoff

Anderson–Darling test

Stable curve

Stable marriage problem

Specification and Description Language

CICS

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Gröbner basis

Formal specification

Formal equivalence checking

Automated theorem proving

Boolean satisfiability problem

Specification language

Refinement (computing)

SPIN model checker

Static program analysis

Z notation