FlatSpec と specs2 でのテストの例を追加
プロパティベースのテストの例を追加