数学は数学だが、情報系だな。