甘利田って数学なんだっけ