Similar to カリー＝ハワード同型対応

CIPA (organization)

COBOL

CompuServe

Concurrent Versions System

CP/M

Craigslist

C++

10

11 (number)

12 (number)

13 (number)

19 (number)

40 (number)

70 (number)

100

400 (number)

700 (number)

1000 (number)

1,000,000

Mathematical fallacy

Maximum length sequence

Knuth–Bendix completion algorithm

Gödel's incompleteness theorems

Mizar system

Annales de Gergonne

P-adic Teichmüller theory

RSA cryptosystem

Vieta jumping