小谷の蟻の問題
小谷の蟻の問題(こたにのありのもんだい、Kotani's Ant Problem)は、計算機科学者でパズル愛好家の小谷善行が考案した数理パズル問題である。