堀ノ内という地名の由来は城下町の堀に関係するも