

The Mathematical Foundations of Computer Science Laboratory does research related to mathematics of computation and computeraided teaching of mathematics. This includes research on
an interactive emailbased teaching system under UNIX;
the theoretical foundations of genetic algorithms and genetic programming;
applications of genetic algorithms such as optimizing shapes of vehicles in a virtual wind tunnel or optimizing game code; d fuzzy logic systems and generalizations;
theory of quantum computers;
numerical and other applications of matrix methods.
Professor Schmitt's major research fronts may be described as follows:
Teaching System. The Mathematical Foundations of Computer Science Laboratory continuously keeps developing an interactive emailbased teaching system under UNIX. This system started as a teaching system for English Composition for Japanese students of The University of Aizu (see [L.M. Schmitt, K.T. Christianson, Pedagogical aspects of a UNIXbased network management system for English instruction, System 26 (1998), 567589]). This research has been continued and further applications have been developed. These are: (i) introduction of attendance checks and (ii) static/randomized quizzes.
(i) In today's educational environment where motivation of students is low, the instructor must make an extra effort to have students attend class since only in class can under regular circumstance knowledge be communicated. One necessary inconvenience for students in this regard are attendance checks which are mandated by university regulations. The above mentioned teaching system generates a receipt containing a 10digit random number which the student obtains in class and returns via email to the computer. The computer verifies the random code and automatically prepares statistics about attendance for the instructor which is used to limit admission to exams.
(ii) The second new module in regard to the teaching system allows development of quizzes using typesetting with LATEX. Typesetting with LATEX is important for the representation of mathematical content. The quizzes are developed through a special file format which can be best described as a slight LATEXextension. These contain in separate units the LATEXsource to prepare a tasksheet with questions, the answer to questions (fixed strings of characters) which are used to automatically generate a homework checking program, and special comment which is used to give hints to students about the solution after evaluation. The new module is designed in such a way that students can, based upon a graded computergenerated report including individualized solutionhints, resubmit their work for multiple evaluation. The ensueing amount of machinegenerated feedback is impossible to achieve by human work alone.
The quiz module which has a dedicated developmentinterface for the instructor has been further generalized to include randomized quizzes such that every student in class obtains a different homework task.
Publications:
L.M. Schmitt. An Emailbased Learning Management System for Mathematics. In: M. Osano et al (eds.), Proc. HC 2008, 11th International Conference on Humans and Computers, The University of Aizu (2008) L.M. Schmitt. Emailbased Mathematics Teaching Tools. In: J. Brine & D. Roy (eds.), Proc. Elearning and Usability Technical Meeting at The University of Aizu: Oct 31st 2009, Electronic Proceedings (2010) L.M. Schmitt. New Yearly Editions of Course Materials (quiz series within the above LMS) for four Undergraduate Courses at The University of Aizu. The University of Aizu (20062012)
Genetic Algorithms and Genetic Programming Applications. Genetic algorithms and genetic programming are by now wellestablished optimization techniques. Currently, there are two lines of applied research persued in this direction which both use a genetic algorithm setting with paralled fitness evaluation on the Mathematical Foundations of Computer Science Laboratory's own LinuxPC/Mac network: (i) optimization of vehicle shapes in a virtual wind tunnel in regard to the wind resistance force (with S. Takako, Y. Takemura, H. Tabata) and (ii) optimization (improvement) of a chess program (GNU chess) using a dedicated genetic algorithm (with T. Mitsuta, R. Nitta).
(i) We have developed and continue to develop a LinuxPC/Mac network on which a parallel genetic algorithm runs which optimizes vehicles shapes (cars, trucks) in a virtual wind tunnel in regard to the wind resistance force. This requires installation and use of specialized software for meshing and solution of the threedimensional NavierStokes equation. This project has thus far included the following activities: generation of a stochastic model for the realvalued genetic algorithm with parallel fitness evealuation along the lines of [L.M. Schmitt. Theory of Genetic Algorithms. Theoretical Computer Science 259 (2001), 161]. Optimization of a car shape which gives a realistic impression and reduces the wind resistance force compared to standard triangalar or rectangular shapes considerably. Optimization of the shape of a truck's shield on top of the drivers cabin. Also here, the wind resistance force compared to standard triangalar, parabolic or rectangular shapes is reduced considerably. And the shapes obtained in the latter experiemtn seem to be new.
(ii) As an application in the field of Artificial Intelligence, it is also attempted to find a betterplaying variation of the GNUchess program using a genetic algorithm where the fitness functions is measured against the original GNUchess program. This is work in progress.
Publications:
S. Takako. Minimizing Wind resistance of Vehicles with a Parallel Genetic Algorithm. Part I: Theory, B.S. Graduation Thesis. The University of Aizu (2010)
Y. Takemura. Minimizing Wind resistance of Vehicles with a Parallel Genetic Algorithm. Part II: Experiments, B.S. Graduation Thesis. The University of Aizu (2010)
S. Takako, Y. Takemura & L.M. Schmitt. Minimizing Wind resistance of Vehicles with a Parallel Genetic Algorithm. Preprint in preparation. The University of Aizu (20102011)
T. Mitsuta & L.M. Schmitt. Optimizing the Performance of GNUChess with a Parallel Genetic Algorithm. Proc. HC2010 Conf. The University of Aizu (2010)
Professor Asai's major research topics may be described as follows:
Matrix Methods and Applications. Matrixtheoretic highperformance algorithm construction with application to the numerical computation of critically important quantities associated with difficult special functions occurring from 3D wave equations such as regular Coulomb wave functions, Mathieu functions, spheroidal wave functions, Lame functions and ellipsoidal wave functions. The Bessel function of the first kind, an easier function serves as a model case where two types of computational problems were solved in the complex domain as well as real domain: given a complex order Bessel function, compute a given number of zeros closest to the origin to a specified accuracy; and given a complex number find a specified number of orders of Bessel functions closest to the origin, to a specified accuracy. There are no comparable algorithms known elsewhere which give as accurate an error estimate as ours.
Construction of Dictionaries. Construction of hyper English word study dictionary: it is available at http://hidic.uaizu.ac.jp/. This represents a longrange project, aiming at compiling a database for the study of English words for Japanese students. The main feature is that the dictionary is organized to bring out the best fruits of comparative linguistics in the past century: the usefulness of IndoEuropean roots as presented in the wonderful book by Calvert Watkins, The American Heritage Dictionary of IndoEuropean Roots, Second Edition, Houghton Mifflin, 2000. Example: The organizing principle of the dictionary will tell you that the following words are best studied as a group: riddle, garble, crime, decree, discern, secret, hypocrisy (they are all derivatives from the same IndoEuropean root krei, meaning "to sieve", indicating that a group of seemingly unrelated words come from the same notion "to sieve"). Another example: the usage of the socalled synonyms "anger, rage and wrath" can be clearly explained by tracing them back to their respective IndoEuropean root: anger to angh, meaning painful, rage to rebh, meaning violent, impetuous, and wrath to wreit, meaning to turn, twist (anger is akin to angst, angina, rage is akin to rabid, rabies, and wrath is akin to wreath, writhe).
N. Asai and Y. Miyazaki. Eigenvalue Problem for Infinite Complex Symmetric Tridiagonal Matrix with Compact Inverse. In ICIAM2011, page 186, 2011.
Consider the eigenvalue problem for infinite complex symmetric tridiagonal matrices whose inverse are compact. In the past work, an asymptotic accurate error was estimated between eigenvalues of a certain class of such matrices and the corresponding eigenvalues of their finite principal submatrices. In this talk, we deal with a wider class of matrices. The resulting error estimate is somewhat weaker but will be used for more practical applications. Numerical examples are also shown.
Y. Miyazaki and N. Asai. Development of Web Application Computing Zeros of Kummer Function by Matrix Method with Its 3D Plot. In ICIAM2011, page 38, 2011.
A method of computing zeros of Kummer function of the first kind is given, along with their accurate asymptotic error estimates. The approximate zeros are obtained by computing eigenvalues of the truncatedmatrix of some infinite complex symmetric tridiagonal matrix. This method is also applicable to the derivatives of the same function. Moreover, in order to visualize the distribution of the zeros, a web application was developed for their 3D plots.
J. Wang, D. Cai, N. Asai, N. Nagata, and A. Fukumoto. Synesthetic CrossModal SoundColor Mapping. In The 15th annual meeting of the Association for theScientific Study of Consciousness: poster (DVD), page in DVD, 2011.
D. Cai, S. Goto, J.P. Wang, N. Asai, N. Nagata, A. Fukumoto, and J. Kurumizawa. Synesthetic SoundColor CrossModality in Animations. In Proc. Eurographics 2011: posters (DVD), page in DVD, 2011.
Synesthesia is a neurological condition in which stimulation of one sensory or cognitive pathway includes automatic and involuntary responses in another sensory or cognitive pathway. In this paper we performed a set of tests for soundcolor synesthete and we were surprised at how consistently the test subjects associated colors with respective to the keys. We compared these representative colors in an animated American film and also study how synesthetic colors associated with musical key are adopted in recent Japanese animations. We could see how these colors create special effects and strongly enhances the emotional power.
Y. Ikebe, Y. Ikebe, N. Asai, and Y. Miyazaki. On Recent Smart Electronic Dictionaries: A Case Study. In 2011 JACET Kanto 5th Annual Convention, pp. 2728, 2011.
N. Asai and K. Naruse. Ministry of Education Scientific Research Fund, 20112013.
N. Asai and D. Cai. JST, 2011.