第33回 #ProofCafe での練習問題のssreflectを使った解答例。 ref: http://qiita.com/yoshihiro503/items/0bca75e5ab52e40f01f6