本人が「もともと形式化できてない理論でした」って言ってるんやからその通りなんやろ