公式なんていらん理論