2018-01-10から1日間の記事一覧
「3 名前に何が?」では関数定義と証明が出てきます 関数はその定義で置き換えることができます(Defunの法則) ここでは「再帰的でない」関数が対象です 再帰的な関数はどうするんでしょうか Dethmの法則と似てるところもありますが定理はそもそも再帰でき…
「3 名前に何が?」では関数定義と証明が出てきます 関数はその定義で置き換えることができます(Defunの法則) ここでは「再帰的でない」関数が対象です 再帰的な関数はどうするんでしょうか Dethmの法則と似てるところもありますが定理はそもそも再帰でき…