Numerical & Educational System Lab (Yoshinori Miyazaki Lab) combines mathematics and e-Learning (online learning). Our lab develops tools useful for math education as well as e-Learning application intended for English education. A keyword to e-Learning is "study log". We make full use of math to give life to 'data' to become 'information'. Various types of data learners leave are the targets. Research on numerical analysis or e-Learning itself is also conducted.
Development of Web Application for Math Education And Math Equation Retrieval
This research group is trying to realize how to retrieve & categorize math data on computers as well as how to extract their additional information. Math equations often have multiple meanings (ambiguity) and their writing styles and symbols used vary depending on research fields or geographical regions they are used. To remove or lessen this ambiguity, perspectives of linguistics are also considered. In learning math, one also needs to know the process of deriving theorems and transforming math equations. We have developed application related to math-learning such as “helping understand math proofs” and “helping transform math equations”.
Development of Web Application for English Education And English Study
This research group is developing tools useful in learning and teaching English. Examples follow: tool which guesses the occurrence of hesitation from learners‘ mouse trajectories and their study logs in solving word-reordering problems, tool which supports writing technical documents in English using corpora, tool which facilitates reading practice by building personalized readability equations, and tool which produces academic English vocabularies of individual institutions based on English abstracts written in the institutions.
Numerical Analysis Such as Eigenvalue Problem of Infinite Matrices And Solution for Problems of Differential Equations
This research group is focusing on zero-finding problems of special functions and problems of differential equations, and is also working on how they relate to eigenvalue problems of infinite matrices. In cases where they are reformulated as an eigenvalue problem of an infinite matrix of some specific type, it is necessary to investigate whether approximation is feasible for the type of the infinite matrix, and if that is the case, whether error estimates are provided. We are attempting the derivation of such general theorems.
Own web site
Web Application to Record Learners' Mouse Trajectories and Retrieving Their Study Logs to Identify the Occurrence of Hesitation in Solving Word-Reordering Problems
Web Application to Facilitate Reading Practice by Building Personalized Readability Equation Based on Individual Learner's Reading Study Log