稲葉も横国の数学科