The Korean version of the TEL Dictionary entries is now available, prepared by Hyo-Jeong So from the Nanyang Technological University in Singapore and Hyungshin Choi from the Chuncheon National University of Education in Korea. A part from a now classical difficulty with "computational mathetic" (a term coined by John Self, which in my opinion we don't enough pay attention to -- I will come back on this) and "didactical engineering" which is burrowed from research in mathematic education, this translation was successful in translating all the terms. I am not familiar with Korean, but may be some of you are. You may want to have a look and comment.