kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2018-02-08から1日間の記事一覧

定理証明手習い (34) 全域性の主張の作り方2

っていう話を 関数 (defun name (x1 ... xn) body) および尺度 m が与えられたら、 body の部分式に対して次のようにして主張を構成する。 とか言って難しく書いてあります 難しいのでadd-atomsを1字1句このとおりにやってみます

小さな習慣 半年

小さな習慣を始めて半年が経ちました 早いなあ初期の目標はいまもそのままでレベルアップさせたりはしていません