総レフト式手帳作って(定期)
今は所謂月間横ケイ、週間レフト式の手帳を使っているんですけれどもね
せっかく月間ページが横ケイで、レフト式の左側と同じ並び方になっているんですから
週間と同じように右ページをメモにしてほしいんですよ
右ページがメモになっていれば、月の目標とかタスクとかいろいろ書けるのに
つまり月間もレフト式にしてってことです
さらに、左ページを1月から12月までの12行にした年間レフト式のページもほしい
もうそれだけで自分には完璧な手帳になるんだけどなあ
目標欄とかタスク欄とかがあってもいいんですけど
ただメモになっているだけであとは自分で自由に使えるほうがうれしいので
定理証明手習い (36) スターではない
8章から続いて、atoms
関連の関数・定理について考えていきます
set?
はmember?
を呼び出しているのでだんだんこの世界も複雑になってきました
set?
、member?
、add-atoms
の全域性については8章で証明済みです
定理証明手習い (34) 全域性の主張の作り方2
っていう話を
関数 (defun name (x1 ... xn) body) および尺度 m が与えられたら、 body の部分式に対して次のようにして主張を構成する。
とか言って難しく書いてあります
難しいのでadd-atoms
を1字1句このとおりにやってみます