ちゃんとした論理式も書けない数学世界一()さん