�Aは上凸ではないけど�@の頂点は第2象限にあるね