数学強い情報系が今後30年以上最強