本来はformalなものを嫌うのが
自由な数学精神