generated at
11/17/2024, 1:55:19 PM
Lisp
S式
などの利用で有名
リスト構造の再帰的呼び出しによる
手続き論的証明パラダイム
の代表としても知られる