自然言語でしか語れない、形式化できない理論www