的淵[四国地方] 角川日本地名大辞典

鏡川中流に注ぐ的淵川左岸の山間に位置する。上的淵・下的淵の２集落がある。
【的淵名(中世)】　織豊期に見える名【みよう】の名。
【的淵村(近世)】　江戸期〜明治22年の村名。
【的淵(近代)】　明治22年〜現在の鏡村の大字名。