数学は数学でも証明が大得意とか大好きって奴は結構怪しい
ASDの考え方ってかなり証明向きやし