Clojureにはpowerset関数がないのかな。 ということでベタで作ってみた。https://gist.github.com/796299Clojureらしいコンパクトなコードにならないものか・・・。と思ったら、Clojure-jaにて紹介してもらった。 clojure.contrib.combinatorics/subsets が…

http://topse.or.jp/docs/?q=node/16 受けてきた。VDM++のイントロダクションとして良い勉強になった。 実際使ってみると、陽定義で操作の中身を書くのは簡単。 難しいのは事前条件、事後条件を抜けもれなく書くことだ。以下は演習課題の一部分 -- multiChoo…