US6920388B2 - Device, Method, and Program Recording Medium for Control of Air-Fuel Ratio of Internal Combustion Engine