熊本市は熊本県の一部である．