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