Prattのアレ. 証拠を判定するアルゴリズム on xyzzy lisp. (Prime? w11)->t (x1 x2 x3)というリストがあって (xi \in \{t,nil\}), (and x1 x2 x3)を計算したかったのに外した. (apply #'and list)は駄目だった. マクロをちゃんと理解しないと駄目だなぁ. 追…