単純化のため、"ident" と "number" は終端記号とされている: