發送短信: On the Computability of Region−Based Euclidean Logics