Lispのひとの話からプログラムに必要なところを抜き出します。まずは、Conditional Expressionsについてです。 (p₁ → e₁, ⋯ , pₙ → eₙ)がconditional expressionsのかたちです。 pは、propositional expressionsでeは任意のexpressionsです。 次は、S-expres…