コメントありがとうございます！
フルネームは作中では出てきません。実は別作品の主人公で名前だけ出てきます。ミチルとだけ。