# Courses

- HOME
- Courses
- Department of Mathematics and System Development
- Mathematical Information Systems

## Mathematical Information Systems

### Outline of Chair

To make research and education concerning theories and applications of information science and mathematical science.

### Research Fields

- Numerical and Mathematical Analysis of Nonlinear Systems
- Studies on Semi-Riemannian Manifolds with Affine Connection and its Conjugate, and

Information Geometry - Research and education about programming languages, software engineering, and distant learning
- Parallel System Model,Message Passing Type Parallel Computing,and Workstation Clustering
- Research of techniques and methods for efficient and effective software development.
- Design and Analysis of Algorithms, Automata and Formal Languages, and Information

Retrieval - Mathematical Specification of Software and its Verification and Automatic Generation

Techniques - Research and Education about the Learning Science/Technology as an Engineering for the Learning Support
- Design and Analysis of Network Security Systems and Network Protocols
- Mathematical Specification of Hardware and its Verification
- Document Image Processing
- Music Sound Synthesis, Automatic Score Transcription, Sound Source Separation, Score

Recognition, Music Representation, Music Database, Automatic Music Composition, and

Music Interface - Artificial Intelligence,Knowledge Engineering,Pattern Recognition and Neural Networks
- Computational Fluid Dynamics (CFD)and its Application to CAE (Computer Aided Engineering)
- Vector Measures on Topological Spaces with Applications to Infinite Dimensional Systems
- Studies on Mathematical Theory of Discrete (Linear)Dynamical Systems in Order to Implement

the Observation and Control of Continuous Systems on Computer" - Study of the various function spaces consisting of analytic functions or other functions.
- First I introduce the pseudo-differential operators,Fourier integral operators,FBI transformation,

Strichart estimates and Fourier restriction norm method.Next I state the applications

of the above to the partial differential equations. - Theory and applications of additive processes,non-Markov processes on fractals.
- An introduction to soliton theory and chaos with applications to nonlinear phenomena in science and engineering.
- Theory of ordinary and modular representations of finite groups and its applications to

association schemes,codes and designs. - Investigation of representation theory of algebras, especially finite group algebras, using

homological methods - We study the theory of stochastic processes including Levy processes from points of both

theoretical and applicable view and also disscuss stochastic Ito analysis. - Representation theory of commutative rings
- Algebraic and geometric structures of topological objects are studied. In particular, the

following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups.Algebraic and combinatorial models of function spaces and their applications. - Algebraic and geometric structures of topological objects are studied. In particular, the

following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups. Algebraic and combinatorial models of function spaces and their applications. - For the purpose of fostering advanced but fundamental scholarship and profound expert

knowledge, this seminar will be held to carry out exercises concerning the field directly

related to the tasks for study. - In order to make students participate in seminars with attendance of teaching staff and

students of the different but related major fields of study invited from the other chairs or other fields so that respective own research can be developed to the other fields other than the particular major field, this seminar will be held to foster abilities to extend to develop or challenge to the other field. - Under the Chief Guidance Teaching Staff and Vise-Guidance Teaching Staffs, to actively

make research on the theme of study which is decided through discussion with the Chief

Guidance Teaching Staff and to make publication (doctoral thesis)." - Students may be trained practically in any public agency and business enterprise if effectiveness on education is recognized.

### Teaching and Research Faculty

#### Yasunari Shidama Professor Information Mathematical Science

Numerical and Mathematical Analysis of Nonlinear Systems

#### Kazuhiko Takano Professor Information Mathematical Science

Studies on Semi-Riemannian Manifolds with Affine Connection and its Conjugate, and Information Geometry

#### Hiroshi Yamazaki Assistant Professor Information Mathematical Science

Mathematical Morphology, Finite Topology and those Applications

#### Hiroyuki Okazaki Assistant Professor Information Mathematical Science

Mathematical Development of Cryptosystems

#### Katsumi Wasaki Professor Information Processing

Parallel System Model,Message Passing Type Parallel Computing,and Workstation Clustering

#### Shinpei Ogata Assistant Professor Information Processing

Research of techniques and methods for efficient and effective software development

#### Hiroaki Yamamoto Professor Information Processing

Design and Analysis of Algorithms, Automata and Formal Languages, and Information Retrieval

#### Hiroshi Fujiwara Associate Professor Information Processing

Design and Analysis of Algorithms, Online Optimization, and Functional Analysis

#### Kawamoto, Pauline・Naomi Associate Professor Information Processing

Mathematical Specification of Software and its Verification and Automatic Generation Techniques

#### Mizue Kayama Professor Information Processing

Research and Education about the Learning Science/Technology as an Engineering for the Learning Support

#### Yasushi Fuwa Professor Information Processing

Design and Analysis of Network Security Systems and Network Protocols

#### Masaaki Niimura Associate Professor Information Processing

Mathematical Specification of Hardware and its Verification

#### Hisayoshi Kunimune Assistant Professor Information Processing

Education and learning support system based on information and communication technology

#### Minol Maruyama Professor Artificial Intelligence

Artificial Intelligence,Knowledge Engineering,Pattern Recognition and Neural Networks

#### Hidetoshi Miyao Associate Professor Artificial Intelligence

Music Sound Synthesis, Automatic Score Transcription, Sound Source Separation, Score Recognition, Music Representation, Music Database, Automatic Music Composition, and Music Interface

#### Keiichiro Shirai Assistant Professor Artificial Intelligence

Image Fusion and Separation, Restoration, Colorization and Transform, Filtering, Pattern Recognition

#### Jun Kawabe Professor Mathematical Analysis

Vector Measures on Topological Spaces with Applications to Infinite Dimensional Systems

#### Akito Suzuki Associate Professor Mathematical Analysis

Studies on mathematical quantum field theory and partial differential equations in mathematical physics

#### Hiromichi Ohno Associate Professor Mathematical Analysis

Studies of non-commutative probability spaces associated with operator algebras and states.

#### Mamoru Okamoto Assistant Professor Mathematical Analysis

Study on nonlinear dispersive equations and nonlinear wave equations

#### Hiroyuki Takagi Professor Mathematical Analysis

Study of the various function spaces consisting of analytic functions or other functions.

#### Wataru Ichinose Professor Mathematical Analysis

First I introduce the pseudo-differential operators,Fourier integral operators,FBI transformation, Strichart estimates and Fourier restriction norm method.Next I state the applications of the above to the partial differential equations.

#### Yasushi Taniuchi Professor Mathematical Analysis

First I introduce the pseudo-differential operators,Fourier integral operators,FBI transformation, Strichart estimates and Fourier restriction norm method.Next I state the applications of the above to the partial differential equations.

#### Kazuaki Nakayama Associate Professor Information Analysis

An introduction to soliton theory and chaos with applications to nonlinear phenomena in science and engineering.

#### Yoshiki Otobe Associate Professor Information Analysis

We study the theory of stochastic processes including Levy processes from points of both theoretical and applicable view and also disscuss stochastic Ito analysis.

#### Xie Bin Associate Professor Information Analysis

Study on stochastic differential equations, which are usually used to characterize variously random phenomenon

#### Itaru Sasaki Associate Professor Information Analysis

Spectral analysis of Hamiltonians appearing in the quantum field theory

#### Akihide Hanaki Professor Research of Algebraic Structure

Theory of ordinary and modular representations of finite groups and its applications to association schemes,codes and designs.

#### Hiroki Sasaki Professor Research of Algebraic Structure

Investigation of representation theory of algebras, especially finite group algebras, using homological methods

#### Kentaro Wada Assistant Professor Research of Algebraic Structure

Representation and structure theory of algebras by homological algebra

#### Yasuhide Numata Associate Professor Research of Algebraic Structure

Representation and structure theory of algebras by homological algebra

#### Dai Tamaki Professor Algebraic and Geometric Topology

Algebraic and geometric structures of topological objects are studied. In particular, the following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups.Algebraic and combinatorial models of function spaces and their applications.

#### Katsuhiko Kuribayashi Professor Algebraic and Geometric Topology

Algebraic and geometric structures of topological objects are studied. In particular, the following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups.Algebraic and combinatorial models of function spaces and their applications.

#### Kiyonori Gomi Associate Professor Algebraic and Geometric Topology

Algebraic and geometric structures of topological objects are studied. In particular, the following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups.Algebraic and combinatorial models of function spaces and their applications

#### Keiichi Sakai Assistant Professor Algebraic and Geometric Topology

Algebraic and geometric structures of topological objects are studied. In particular, the following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups.Algebraic and combinatorial models of function spaces and their applications

#### Atsuko Katanaga Associate Professor Algebraic and Geometric Topology

Algebraic and geometric structures of topological objects are studied. In particular, the following topics are discussed :Diffeomorphism groups of smooth manifolds and orbifolds and their geometric subgroups.Algebraic and combinatorial models of function spaces and their applications