[logic-ml] reseach on the theory of quanta