形式科学をそこまで崇拝してるのは何のコンプレックスなん?