マービン・ミンスキー
In his 1967 "Computation: Finite and Infinite Machines", Marvin Minsky in his § 10.6 Conditional Expressions: The McCarthy Formalism describes the "formalism" as follows: