数学的な焼肉の話って何かであったような気が…