Mizuka Irei (伊禮瑞榎) is a supporting character in Robotics;Notes, voiced in Japanese by Takako Honda. The series' music includes "Junjou Spectra", "Umikaze no Brave".
