Hi. I thank you for your help all the time.
I had a table User (or I might have named 'Users' rather, but my
recollection is unclear). Since I chose to use devise rather than a
plain user table, I destroyed it.
rails destroy model user
After that, I simply installed and generated devise User, then
soichi% rake db:migrate
== DeviseCreateUsers: migrating