McDermott [12,13] introduced the concept “Artificial Intelligence meets Natural Stupidity”. In this paper, we explore how Artificial Intelligence and Symbolic Computation can meet Natural Typography, and how the conventions for expressing mathematics that humans understand can cause us difficulties when designing mechanised systems.

Typography plays an important role in publishing industry, and typically different typographies are needed for different use cases. However, designing a new font is very expensive and time-consuming, especially for Chinese, which involves a huge amount of characters. Some semi-automatic typography synthesis approaches have been proposed. These methods utilize structural commonalities to simplif...

Much sociolinguistic research discusses differences between male and female language. In this paper we consider the language of Internet Relay Chat (IRC), studying if and how non-standard typography depends on the gender of the writer. We distinguish two kinds of non-standard typography that are typical of IRC users: technology-conditioned and voluntary. Our results show that use of non-standar...

The study examines issues related to translating an author’s name and character names when these are considered paratexts. introduction briefly describes the interdisciplinary context of into paratextuality, pointing research areas emerging at intersection literary theory, translation studies, onomastics. paper then analyzes methods used in case authors’ names, pseudonyms, title characters, int...

The purpose of this study was to produce a valid interactive media prototype for instilling Pancasila values ​​in early childhood. This type research is R&D with the Borg and Gall model procedures needs analysis, design, development, evaluation implementation. Evaluation technique used Tessmer evaluation. data collection walkthrough which assessed by validator material validator. Based on r...

The contribution describes the formulation of study activities within the selected LMS particular from the mathematical task point of view. The field activities are based primarily on tests drawn from the automatically generated online questions. The paper demonstrates solutions to several problems related to the creation of parameterized questions for the domain of math/science. These are main...