2018-02-08から1日間の記事一覧
っていう話を 関数 (defun name (x1 ... xn) body) および尺度 m が与えられたら、 body の部分式に対して次のようにして主張を構成する。 とか言って難しく書いてあります 難しいのでadd-atomsを1字1句このとおりにやってみます
小さな習慣を始めて半年が経ちました 早いなあ初期の目標はいまもそのままでレベルアップさせたりはしていません
っていう話を 関数 (defun name (x1 ... xn) body) および尺度 m が与えられたら、 body の部分式に対して次のようにして主張を構成する。 とか言って難しく書いてあります 難しいのでadd-atomsを1字1句このとおりにやってみます
小さな習慣を始めて半年が経ちました 早いなあ初期の目標はいまもそのままでレベルアップさせたりはしていません