http://groups.google.com/group/comp.lang.lisp/browse_thread/thread/aced55aeed5f6ef2/e4b7902d0d84fc68 を見ると、DECLAREはそのブロックの中だけで有効で、DECLAIMとPROCLAIMは大域的に作用すると書いてある。 DECLAIMとPROCLAIMの違いは、PROCLAIMは関…