"Theoretical computer science" . "Mathematical logic" . "MAX (band) albums" . "Avex Group compilation albums" . "Algorithms" . "Kamen Rider television series" .