[from twitter] このパラドックスはステップ毎に「時間も」短くなってくから実際には「アキレスがカメに追いつくまではアキレスがカメを抜くことは無い」ってトートロジーを証明しているだけなんじゃないかと常々疑っているのだが... B! https://t.co/MzMADc8a