なお定数 "a"、"b"、"ip"はそれぞれの条件で異なる。