Horiguchi, T. .; Tomoto, T.; Hirashima, T. . A Framework of Generating Explanation for Conceptual Understanding Based on “semantics of constraints.” RPTEL 2015, 10.