情報科学と数学