情報系の数学って何いるんや?