数学者がいらなくなるのかー?