 |
|
 |


Information science expresses information quantitatively and mathematically elucidates the roles and impacts of information. Information processing using computers is an important part of efforts to apply information science toward solution of real problems. The Department of Information Sciences' Information Sciences graduate program is founded on three pillars:
1. Mathematics 2. Operations research 3. Computers
With this foundation, the program is fostering researchers and technicians possessing comprehensive know-how through the following research practices.
The mathematics courses cover fields that form the basis of information science, such as Logical Mathematics, Quantum Probability Theory, Theory of Dynamical Systems, and Advanced Study of Applied Algebra. Moreover, students study mathematical theories for using information that include Cognitive Approaches and Advanced Soft Computing.
In the operations research courses, students explore Applied Probability Theory and Queuing Theory for analysis of random factors in addition to Operations Research Theory. They also study Mathematical Statistics as an approach to data analysis.
And in the computer courses, students explore Computation Model Theory, Applied Logic, and Computational Theory as basic theories. They also pursue Programming Language Theory, Fundamental Theory of Software, Human Information Processing, and Advanced Study of Signal Processing as fields related to software design and development.

| Specialty |
Name |
Class |
Area of Research |
| Mathematical Information |
Dr. Masanori Ohya |
Professor |
Quantum Information Theory/ Quantum Computation/ Information Genetics |
| Applied Informatics |
Dr. Noboru Watanabe |
Professor |
Optical Communication/ Quantum Communication Theory |
| Mathematical Analysis |
Dr. Yoshio Togawa |
Professor |
Nonlinear Systems |
| Statistical Mathematics |
Dr. Sadao Tomizawa |
Professor |
Statistics |
| Operations Research |
Dr. Masakiyo Miyazawa |
Professor |
Operations Research/ Stochastic Networks/ Queuing Theory |
| Computer Mathematics |
Dr. Shigeo Akashi |
Professor |
Entropy Analysis/ Data Compression Theory |
| Computation Model Theory |
Dr. Katsunori Yamazaki |
Professor |
Computation Model Theory/ Formal Languages and Automata Theory |
| Software Environments |
Dr. Masayuki Takeda |
Professor |
Programming Language Theory/ Information Networks |
| Artificial Intelligence |
Dr. Ikuo Tahara |
Professor |
Nonmonotonic Reasoning/ Paraconsistent Logic |
| Specification Technology |
Dr. Susumu Enomoto |
Junior Associate Professor |
Specification Description Language Theory/ Product Model Theory |
| Bioinfomatics |
Dr. Keiko Sato |
Junior Associate Professor |
Information Theoretical Approach to Genetics |
| Discrete Mathematics |
Dr. Nobuko Miyamoto |
Junior Associate Professor |
Combinatorial Design |
| Compiler Construction |
Dr. Munehiro Takimoto |
Junior Associate Professor |
Design and Implementation of Programming Languages and Systems |
| (Visiting faculty invited through "Cooperation Program between AIST and Graduate Schools" and area of research) |
| Software Science |
Dr. Koichi Hasida |
Visiting professor |
Natural Language Processing/ Intelligent Content |
| Dr. Ikuo Tahara |
Professor (Assistant Instructor) |
|
|
 |