その通り。悠子はアニメ化に際してつけられた名前です
アニメ放送が1980年、女教師・惨夢行を別冊ＳＭファンで連載開始したのが1981年
御大がアニメから影響を受けてモデルにしたのかなと思いました