徳島市は徳島県の一部である．