Introduction of the Researches

Computational Intelligence Systems Laboratory (Akiyoshi Laboratory)

The "Machine Learning" with network-based collective intelligence and immersive computational power is expanding as smart infrastructure for human, organization, and community activities.
The laboratory research works are as follows.

  1. The organizational learning framework promoting the growth of project-type organizations, especially focusing on "emergence" of collective intelligence.
  2. Infrastructure for extracting embodies knowledge and tacit knowledge, analyzing users learning process from machine learning.
Information Network Systems Laboratory (Imai Laboratory)

The demand for higher data rates has increased rapidly due to the wide use of high bitrate mobile devices and Internet of Things (IoT) devices.
To satisfy the demand, our research is focused around following themes.
1. Indoor Optical Wireless Communication
2. Accurate Positioning for Mobile Communication

Operations Research Laboratory (Shindoh Laboratory)

Research fields:Nonlinear Analysis
Research direction:Theoretical Properties and Algorithms for Nonlinear Programming
Recent studies:- Properties of Standard Interference Mappings

Design Theory Laboratory (Sugimoto Laboratory)

We study in 'Katachi', Visual Literacy, Creativity Literacy and History of Science.
Recent Study: Innovation Management to Learn from the Coevolution between 'the Conic Sections' and 'Science and Technology'

Social Information System Laboratory (Sekozawa Laboratory)

We describe real problem by mathematical model, plan for understanding and optimization of target system and propose system planning, analysis, and practical use control system.
Recent studies:System technology, mathematical principle plan, control technique and its applicability
Research direction:Automatic driving System, Optimal contorl, Mchine Learning

Abstract Mathematical Structures Laboratory (Nishizawa Laboratory)

Our laboratory is studying mathematical methods, such as logics, algebras, and model checking, to verify whether given information systems have no bugs.

  1. Formal verification of information systems
  2. Category theoretical analysis of algebraic structures
Cryptographic Systems Laboratory (Fujioka Laboratory)

We are studying theoretical and practical aspects of cryptography and privacy protection. Cryptographic theory is the basis of information security, and research on system security, such as establishing consistent administration policy and reliable computer management, is of considerable practical importance.

Information Security Laboratory (Morita Laboratory)

Research fields:Information security, cryptography
Research direction:Applied research aimed at improving high speed, low resources, and safety in information security.
Recent studies:- Privacy Protection Methods Considering Anonymity and Identifiability.

Practical Intelligent Systems Laboratory (Yamaguchi Laboratory)

We study debatable AI systems with ontologies that represents the semantics of concepts and the framework to develop industry-specific AI systems as follows:

  1. AI systems to join human group discussion
  2. AI producers who bridge between AI engineers and domain experts
  3. Intelligent robots with the integration of dialog and hand movement
Mathematical Science Laboratory (Yamazaki Laboratory)

We investigate mathematical models for nonlinear phenomena. Indeed, we study the phase change (solidification) problems in materials, the models of flows in partially saturated porous media, the color denoising problems in image processing, and the crystal growth problems. We also study abstract nonlinear evolution equations governed by subdifferential of convex functionals in real Hilbert spaces. In particular, we are establishing abstract optimal control theory of nonlinear evolution equations. Furthermore, we study control problems of interfaces and free boundaries in nonlinear phenomena by applying our theories.

Stochastic Analysis Laboratory (Minoru W, Yoshida Laboratory)

A big subject, that is investigated by Minoru W. Yoshida (M.W.Y. in short), is the "constructive quantum field theory". Namely, M.W.Y. has been considering the problem to construct the relativistic quantum fields, in the mathematical sense, of course, for these 30 years. However, in the lab., the students there can choose freely their research subjects to which they want to tackle, as far as these subjects are mathematical ones.

Educational Technology Laboratory (Uchida Laboratory)

We are developing the following system.

  1. We are developing a system that incorporates technologies such as artificial intelligence robots and virtual reality into education.
  2. We are developing e-books that can simplify or refine the level of description according to the level of understanding of the reader.
  3. We are developing a block programming language in which scientific computing can be programmed.