The Mathematical Foundations of Computer Science Laboratory does research related to mathematics of computation and computer-aided teaching of mathematics. This includes research on
an interactive email-based 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 email-based 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 UNIX-based network management system for English instruction, System 26 (1998), 567-589]). 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 10-digit 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 LATEX-extension. These contain in separate units the LATEX-source to prepare a task-sheet 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 computer-generated report including individualized solution-hints, resubmit their work for multiple evaluation. The ensueing amount of machine-generated feedback is impossible to achieve by human work alone.
The quiz module which has a dedicated development-interface for the instructor has been further generalized to include randomized quizzes such that every student in class obtains a different homework task.
L.M. Schmitt. An Email-based 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. Email-based 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 (2006-2011)
Genetic Algorithms and Genetic Programming Applications. Genetic algorithms and genetic programming are by now well-established 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 Linux-PC/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 Linux-PC/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 three-dimensional Navier-Stokes equation. This project has thus far included the following activities: generation of a stochastic model for the real-valued genetic algorithm with parallel fitness evealuation along the lines of [L.M. Schmitt. Theory of Genetic Algorithms. Theoretical Computer Science 259 (2001), 1-61]. 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 better-playing variation of the GNU-chess program using a genetic algorithm where the fitness functions is measured against the original GNU-chess program. This is work in progress.
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 (2010-2011) T. Mitsuta & L.M. Schmitt. Optimizing the Performance of GNU-Chess 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. Matrix-theoretic high-performance algorithm construction with application to the numerical computation of critically important quantities associated with difficult special functions occurring from 3-D 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.u-aizu.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 Indo-European roots as presented in the wonderful book by Calvert Watkins, The American Heritage Dictionary of Indo-European 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 Indo-European 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 Indo-European 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).
Shigenori Mochizuki, Dongsheng Cai, Nobuyoshi Asai, Yun Wang, and Asako Fukumoto. Visual Dissonance of Ryoanji Zen Stone Garden. The Journal of the Society for Art and Science, 9(3):102-110, 9 2010.
One of the most famous Japanese landscape of dry stone gardens in Ryoanji temple, a UNECSCO World Heritage Site, has the empty rectangle where white sand was laid in between, in the abstract, placements of 15 rocks with mosses that seem to be scattered in seemingly haphazard. The stone placements designed by the ancient anonymous designer look random at a glance, however, the stones are placed recursively in obtuse inequilateral triangle in different three level scales. If we plot the size and the rank of the three level obtuse inequilateral triangles in log scale, we obtain the perfect Zipf's law. The eye tracking experiments are performed and the Hotspot map and "PageRank" of eye movement are measured assuming the eye movement from one vertex to another is a forward link. For more precise analysis, the eye tracking experiments are performed and the Hotspot map and `PageRank' of eye movement are measured assuming the eye movement from one vertex to another is a forward link. The `PageRank' of eye movements analysis showed the possibility of existence of `visual dissonance effect' in the Ryoanji dry stone garden. (in Japanese)
T. Mitsuta and L.M. Schmitt. Optimizing the Performance of GNUChess with a Parallel Genetic Algorithm. In Editor V. Klyuev et al, editor, Proceedings HC 2010, pages online: 1-8, Aizuwakamatsu, 2010. The University of Aizu, The University of Aizu Press.
We apply an artificial intelligence method based upon a distributed simple genetic algorithm which optimizes by "learning from a mentor" to enhance the performance of the open-source, free gnu-chess program. The genetic algorithm manipulates and optimizes the collection of numerical constants within the gnu-chess program which are used to assign values to chess pieces and their positions. These are built into the code of the evaluation-function for game positions. The above collection of numerical constants within the gnu-chess program constitutes, in principle, the genotype of creatures (candidate solutions) while the compiled program using these constants constitutes the phenotype underlying the genetic algorithm used in our approach. In every generation of the genetic algorithm, the so-generated phenotypes in the current population play a fixed number of games against the original gnu-chess program in order to determine their so-defined fitness-value. After up to 17,000 hours of distributed computation-time for a single optimization on a network of 17 linux workstations, the genetic algorithm finds a chess program that shows a moderate performance improvement compared with the original gnu-chess program. What appears to be new in the approach presented here are:
(a) a brute-force optimization using a mentor rather than a co-evolutionary approach is actually carried out with contemporary PC hardware, and
(b) optimizations for playing white and black are carried out separately which seemingly has not been attempted by other means before.
DongSheng Cai, Syouiti Goto, Teruki Shinohara, Noriko Nagata, Asako Fukumoto, Jun Kurumisawa, and Nobuyoshi Asai. Synesthetic Color Scheme in Fantasia. In SIGGRAPH2010, 2010.
This talk describes how a set of pitch, chord, and key-sound tests with 43 sound-color synesthetes was used to map sounds to colors in non-verbal way, and to reveal how synesthetic colors are associated to sounds in 'Fantasia'.
S. Takako. Graduation Thesis: Minimizing Wind resistance of Vehicles with a Parallel Genetic Algorithm. Part I: Theory, The University of Aizu, 2010.
Thesis Adviser: L.M. Schmitt
Y. Takemura. Graduation Thesis: Wind resistance of Vehicles with a Parallel Genetic Algorithm. Part II: Experiments, The University of Aizu, 2010.
Thesis Adviser: L.M. Schmitt