A semiconductor non volatile memory device capable of multiple write
operations with high reliability includes memory cells. Each memory cell
of the device has a first electrode, a second electrode, and an
information storage section between the two electrodes. A segregation of
composing elements of the information storage section caused by applying
a first current pulse from the first electrode to the second electrode is
corrected by applying a second current pulse from the second electrode to
the first electrode such that the composition of the storage section
recovers to its original state.