AtCoderのABCのAやBは競プロ問題とは呼ばないのでは