あと、東ロボの話を読んで、自作のQE実装ももう少し何とかしたいなぁと思うなどした。コード: https://github.com/msakai/toysolver 解説: http://www.slideshare.net/sakai/rcf-20540067