Edit requests of PHP:文字列が整数かの検証にはis_numeric, ctype_digit, filter_varどれが適切か？