"Atsushi \"Toya\" Tokuya" . . "Atsushi \"Toya\" Tokuya" . . . .