Information Sciences

Japanese / English  

Admission Policy (Ph.D. Program in Computer Science)

We clarify the theory and applied topics of information science required in this advanced information society through a collaboration of basic and applied studies. The administration welcomes anyone who appreciates this vision regardless of your career. There is a need in the sake of the next generation of information science to investigate each method followed: mathematical science method; method and application of computing science, the foundation of todayfs information science; and many information usages and analytical methods that derive from natural and life phenomenon and also life sciences.

Faculty Members

Professors Main Lecture Course
Noriko Asamoto (Prof.)
Discrete Mathematics / Document Processing System (Computer-aided Theory)
We take computing approach of analyzing natural and social phenomenon. The studies are on: application of formula manipulation system to understand phenomenon; aid of computing tools in the process of knowledge acquisition; in a field of education, and aid of computing and networking in a distance education.
Takayuki Itoh (Prof.)
Lab Home Page
Information Visualization / Multimedia(Image Information Theory)
A study on transmitting visualized information by computing machines and we humans. For example: information visualization; 3D shape processing; image processing and recognition; and multimedia technique that interface with audio, text data and visual data.
Masato Oguchi (Prof.)
Lab Home Page
Network Computing / Middleware(Information Networking Theory)
Studies on middleware for a more effective, convenient, and safe usage of resources on an advanced data processing of network computing, where there is a linkage between several computer devises connected with large-sized networks.
Tetsuya Kawamura(Prof.)
Lab Home Page
Numeric Hydrodynamics Special Course / Numeric Simulation(Environmental Information Theory)
Analyze issues on fluid dynamics by computing simulation. Recent interests are on natural and earth environment issues, and attempt to analyze the phenomenon using computing fluid dynamics.
Ichiro Kobayashi (Prof.)
Lab Home Page
Intellectual Information Processing(Intellectual Information Processing Theory)
My lecture presents how the media is expressed and used as intelligent information processor. Today, there are important roles in modality such as language as a media to build the sophisticated computer system. We also discuss about the information processing techniques objected as implications in an internet.
Itiro Siio (Prof.)
Lab Home Page
Human Interface (Human-Computer Interaction)
Real world oriented interface; ubiquitous computing; introducing application and user interface method of next-generation computers common in our daily tools; implementation and evaluation of such method.
Hiroaki Yoshida(Prof.)
Lab Home Page
Applied Analysis /Operator Algebra Theory (Noncommutative Analysis Theory)
Noncommutative analysis, a mathematical tool for defining a quantum system; an operator ring theory, a central topic of this noncommutative analysis; recently related topics to an operator ring.
Kenichi Asai (Associate Prof.)
Lab Home Page
Programming Languages (Program Transformation)
Programming language theory, mainly based on functional languages, such as program transformation, partial evaluation, theory and practice of delimited continuations, type theory, program verification using proof assistants, and reflective languages.
Kazue Kudo(Associate Prof.)
Lab Home Page
Numerical Computation / Statistical Mechanics (Statistical Mathematics Theory)
A wide variety of interesting phenomena are studied in the field of statistical mechanics. We mainly use numerical calculation to study quantum dynamics and pattern formation in non-equilibrium systems.
Daisuke Bekki(Associate Prof.)
Lab Home Page
Computational Linguistics / Theoretical Linguistics (Computational Linguistics Theory)
We investigate syntactic and semantic theories of natural language: lexical grammars such as combinatory categorial grammar, and discourse semantics such as dependent type semantics and dynamic logic, together with linguistic phenomena in literature and methodology for verifying and falsifying a theory based on the network of native speakers' judgments.
We also discuss the implicature of our theory to such fields as natural language processing, programming language semantics, philosophy of language and cognitive science.
Nathanaël Aubert-Kato (Associate Prof.)
Lab Home Page
Molecular programming / evolutionary optimization
While nowadays computers are usually silicon-based, the concept of computing, as proposed by Alan Turing, is more generic. We focus on molecular programming, a field that relies on encoding data as molecular concentrations and operations as chemical reactions among those molecules.
The main issue is programmability: how to turn a given program into a valid set of reactions implementing it? We combine two approaches: computer assistance for human-based designs and evolutionary optimization for automated design discovery.
Atsuki Nagao (Associate Prof.)
Lab Home Page
Discrete Algorithms/ Computational Complexity
Our challenge is to improve existing best known algorithms or to propose new algorithms via other approaches such as approx., FPT, etc... We also explore the limits of complexity of some problems or classes.
Tsubasa Kohyama (Associate Prof.)
Lab Home Page
Meteorology / Physical Climatology / Atmosphere-ocean data analysis
What are the factors and mechanisms that determine the weather and climate on Earth as we know it? We answer this question from the viewpoint of applied mathematics and information sciences.

Former Faculty Members

Professors Main Lecture Course>
Jun Sese(Associate Prof.)
moved to AIST in Oct. 2014
Mariko Hagita(Associate Prof.)
(Until 2011. Currently in
the Department of Mathematics)
Combination Theory / Cryptographic Theory(Discrete Mathematics Theory)
Discrete mathematics and applied study of algebra into information science. Study of combination structure occurrence; graph theory focused in coloring problem; pseudo random number allocation problem; and formation and evaluation of cryptographic algorism. 
Chiemi Watanabe(Lecturer)
moved to Tsukuba Univ. in May 2013
Database System(Information Structural Analysis Theory)
Research topics or fields: database system; Web DB; security; multimedia; spatiotemporal database; systematization of dialogic searching; new database system that correspond todayfs various systems and contents. 
Suguru Saitoh (Associate Prof.)
moved to Tokyo Tech Univ. in Spr. 2016

Hiroshi Kori (Associate Prof.)
moved to Tokyo Univ. in Sep. 2018
Complex Systems (Mathematical Biology)

Contact us

2-1-1 Otsuka, Bunkyo-ku, Tokyo 112-8610 Japan
Phone: 03-5978-5822 (Graduate School Office)
Fax: 03-5978-5896 (Graduate School Office)

Contact: Takayuki Itoh,
HP Committee of department of computer science, doctoral program

* This Web site has been developed by students
in the department of information sciences.