日本最高の数理情報科学科