x.3.0 （ただし x >= 1）の場合だと ~> x.3.0 で (x+1).0.0 未満と考えてほしいけど (edited)