Next: Distributed Parallel Processing Up: Department of Computer Previous: Foundation of Computer Science

Language Processing Systems Laboratory


/ Satoshi Okawa / Professor
/ Mohamed Hamada / Assistant Professor

The research and education activities in this laboratory focus on the theoretical and practical aspects related to language processing and language processing systems. In paticular, our work covers the following areas.

The research in this laboratory is devided into two parts:

The first part consists of the work that follows the research in the above areas. One of the most important goal of it is to provide the foundations for the education of language processing systems, programing languages, formal language theory.

The second part is the creative study in some specific areas ralated to language processing systems. The research activities of this part are based on the free work of each faculty member. Currently, we are working on

The recent parallel/distributed computation envirnment requires the development of a new language model and its processing model/system for such envirnment. Most programming languages and its processing systems for parallel/distributed systems have been developped based on the traditional computer systems. This development has some advantages and disadvantages. Therefore, the members of this laboratory consider that to design new languages and language processing system is the key work for the next development of the computer society and that it is one of the most important subjects for this laboratory tp study for establishing such models and implementing as real systems for evaluation.

The education on the subjects related tp languages and language processing systems is also the important mission of this laboratory. The courses given by the members of this laboratory include Discrete Systems, Automata and Languges, Language Processing Systems, Mathematical Logics, and SCCP, and Automata and Languages and Compilers, Adavanced Automata and Languages in the Graduate school.


Refereed Proceeding Papers

  1. Okawa, S., Hirose, S. and Domosi, P., Homomorphic Characterizations of Poly-Slender Context-Free Languages. Proc. of 9th International Conference on Automata and Formal Languages (AFL'99), 1999.

    The notion of poly-slender languages is considered as an extention of one of slender languages and investivated extensively from not only the theoretical point of view but also the practical point of view. The homomorphic characterization of the class of poly-slender context-free languages are obtained with using the recent result that this class is coincides with the class of bounded context-free languages.

  2. Esik, Z. and Okawa, S., Serial and Parallel Operations on Pomsets. Proceedings of FST&TCS'99, LNCS vol.1738, editor: C. Pandu Rangan, Venkatesh Raman and R. Ramanujam. pp.305--315, Springer Verlag, 1999.

  3. Mohamed Hamada., Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables. Computing: The Australasian Theory Symposium CATS2000, editor: David Wolfram, pp.83--97, The Australian National University. Elsevier Science, Feb. 2000.

  4. Mohamed Hamada and T. Ida., SFLP: a Solver for functional logic programs. 5th Joint Conference on Information Sciences, editor: Paul P. Wang and Lotfi A. Zadeh, pp.466--469, The American Association for Intelligent Machinery. March 2000.

    SFLP: a Solver for functional logic programs.

Academic Activities

  1. Satoshi Okawa., Reviewer of Parallel Computation, June 2000.

  2. Satoshi Okawa., Reviewer of IEICE, July 2000.

  3. Satoshi Okawa., Reviewer of HC99 and J. of 3D Images, July 2000.

Others

  1. Furukawa, H., Development of CAI System for Fourier Transform. Univ. of Aizu, 2000, Graduation Thesis. Thesis Advisor: Satoshi Okawa.

  2. Ohkura, R., On the Reliability of Mesh Network for Parallel Processing. Univ. of Aizu, 2000, Graduation Thesis. Thesis Advisor: Satoshi Okawa.

  3. Kanasaki, K., Development of Tutorial System for Java Language on WWW. Univ. of Aizu, 2000, Graduation Thesis. Thesis Advisor: Satoshi Okawa.



Next: Distributed Parallel Processing Up: Department of Computer Previous: Foundation of Computer Science Laboratory


www@u-aizu.ac.jp
July 2000