Information retrieval × Mathematics × tukiäly ×