やります。http://partake.in/events/9e460004-25c1-4c0b-b6a9-a2aa0443ab23今回は8章から。

会社の方に教えてもらった定理証明系。http://www.qedeq.org/index.htmlどんなものなのか、まだ試していない。

Clojureで3Dグラフィクス。 https://github.com/CharlesStain/clj3D すばらしく楽しそう。