2010-12-18 Clojureで事前条件・事後条件 clojure (defn sqrt [n] {:pre [(>= n 0)] :post [(>= % 0)]} (Math/sqrt n))