A toner cartridge for an image forming apparatus which can detect the remaining state of a developer even when the developer in the cartridge is biased by the rotation and stirring of a rotary conveyance body. Such object-oriented programming language may include Java andor C++. With this formation method, a manufacturing method of a semiconductor device can be provided which does not need covering processing using a photolithography technique when impurity regions of different conductivity types are formed using contact holes.