Laboratories

Intelligence Science and Technology

Biological and Cognitive Processing Brain is constructed from neural cells in self-organized fashion using genome DNA information. Our educational and research goals are to elucidate the molecular basis of information processing system in brain by using biological experiments and mathematical modeling. Specifically, we focus on four research areas: non-verbal communication; sensory information processing; autonomous regulation; and morphogenesis.
(Senior Lecturer: HOSOKAWA Hiroshi, Assistant Professor: MAEGAWA Shingo)
Biological and Cognitive Processing System level understanding of the human brain: We conduct researches using both empirical and theoretical approaches to understanding the brain mechanisms of the higher cognitive functions. More specifically,we elucidate the underlying mechanisms of various cognitive functions through psychological experiments, functional brain imaging and neural network simulations: visual cognition, embodied cognition, sensor fusion from various modalities, and verbal and non-verbal communications.
(Professor: INUI Toshio, Senior Lecturer: MIZUHARA Hiroaki, Assistant Professor: SASAOKA Takafumi)
Biological and Cognitive Processing Speech is one of the most fundamental and important channels of communication. We aim to clarify the mechanisms of speech production and hearing processing using the latest observation and signal processing techniques. For speech production mechanism, we will create a speech production model based on MRI and the other visualization techniques. We will also approach hearing mechanism through functional MRI technique as well as experimentation and computer simulations.
(Professor: MASAKI Shinobu (ATR), Associate Professor: ISHII Carlos Toshinori (ATR))
Intelligence Information Processing Our research focuses on mathematical foundations of intelligent software systems including statistical machine learning and formal modeling, and on their applications to important business and scientific problems in various areas such as marketing, healthcare, and industrial systems. Our research interest also includes human-computer cooperative problem solving for hard problems computers alone cannot solve.
(Professor: KASHIMA Hisashi, Assistant Professor: NAKAZAWA Koji)
Intelligence Information Processing We will formalize intelligent information processing seen in human activities and conduct studies on basic principles which make up these processes as well as realization methods. Specifically, this will involve education and research relating to artificial intelligence information processing such as inductive logic, knowledge discovery, hypothetical reasoning, and evolvable computers using mathematical logic, inference procedures, machine learning theories and self-organization.
(Professor: YAMAMOTO Akihiro, Associate Professor: CUTURI Marco, Assistant Professor: YOSHINAKA Ryo)
Intelligence Information Processing We address conversational informatics, aiming at understanding of human conversational behavior as well as on the design of conversational agents that can interact with people in a conversational fashion. We emphasize bridging human society and computational intelligence. Subgroups consist of interaction understanding, human interaction recognition, interactive systems, and cognitive design. As a research platform, we have developed an augmented conversation environment comprising IMADE and ICIE for open and immersive space conversation environments.
(Professor: NISHIDA Toyoaki, Associate Professor: NAKAZAWA Atsushi, Assistant Professors: OHMOTO Yoshimasa, NITSCHKE Christian)
Intelligence Media Language is the most reliable medium of human intellectual activities. Our objective is to establish the technology and academic discipline for handling and understanding language, in a manner that is as close as possible to that of humans, using computers. These include syntactic language analysis, semantic analysis, context analysis, text comprehension, text generation and dictionary systems to develop various application systems for machine translation and information retrieval.
(Professor: KUROHASHI Sadao, Associate Professor: KAWAHARA Daisuke, Senior Lecturer: SHIBATA Tomohide)
Intelligence Media Our goal is to develop intelligent computers and robots that can separate, recognize, and understand various kinds of audio signals such as speech, music, and environmental sounds in terms of computational auditory scene analysis (CASA). Audition is one of the most important sensory functions of humans. We humans are capable of recognizing and understanding environmental situations and their dynamical changes by using auditory information alone or by combining it with visual and other sensory information. Is it possible to realize such an intelligent mechanism on computers? Our lab is tackling CASA based on statistical signal processing techniques. More specifically, we formulate sophisticated computational models by extending well-known general models such as nonnegative matrix factorization (NMF) and independent component analysis (ICA) to deal with complicated mixture signals that have non-linear temporal dynamics. A key feature is to actively incorporate advanced machine learning techniques such as nonparametric Bayes and deep learning and integrate high-level symbol processing for formulating flexible and robust auditory models. We also discuss computer audition in terms of cognitive science, auditory phycology, and artificial intelligence. Main research topics include music information processing, music robots, robot audition, and CASA in natural and disaster environments.
(Senior Lecturer: YOSHII Kazuyoshi, Assistant Professors: ITOYAMA Katsutoshi, NISHIDE Shun)
Intelligence Media Our laboratory studies cooperative distributed processing mechanisms to realize intelligent multi-agent systems in both cyber and physical worlds. Our research areas include (1) 3D Video production of human actions and underwater creature behaviors from multi-view video data, (2) dynamic human-machine unconscious interactions and communications, and (3) smart energy management systems at consumer sides (e.g. households, offices, and factories) by consumers.
(Professor: MATSUYAMA Takashi, Senior Lecturers: KAWASHIMA Hiroaki, NOBUHARA Shohei)
Computational Biology We explore human cognitive functions including attention and executive functions (e.g., inhibition, planning, task-switching, proactive control) under experimental setting (psychophysics, behavior and eye movement, brain imaging, etc.) and applied setting simulating daily activities (simulated driving and IT-device use). In addition, based on these basic properties of human cognitive functions, we develop cognitive interface friendly for all types of users including older adults or brain-damaged patients.
(Professor: KUMADA Takatsune, Assistant Professor: ICHINOSE Natsuhiro)
Application of Multimedia (Academic Center for Computing and Media Studies) Computers convey information as information media, which facilitate human communication. We are exploring information media technology for facilitating smooth communication through computers and aim to observe, archive and recognize human communication in intellectual activities. More specifically, we aim to achieve the following: + a telepresence system for supporting human multimedia communication in the classroom; + recognition of human activities in the kitchen to assist cooking; + extracting 'real world information' for the protection of privacy against observation by various sensory devices; + acquisition of shapes, motion, and colors of various objects to create virtual environments; and + interaction between an actor and virtual objects in a virtual studio system.
(Professor: MINOH Michihiko, Associate Professor: MUKUNOKI Masayuki, Assistant Professor: FUNATOMI Takuya)
Application of Multimedia (Academic Center for Computing and Media Studies) In a ubiquitous networking world, everything is capable of computing and networking, enabling constant Internet connectivity. Our research goal is to achieve just such an environment. For this purpose, we are working on fundamental research issues pertaining to the next-generation Internet, including IPv6 architecture, quality-aware transfer of multimedia data, mobility, zero configuration, and security. We are also working on integration technology of information, communication, and energy. We study how to apply Internet protocols and algorithms, such as routing, matching, reservation, and interruption, to power management.
(Professor: Professor OKABE Yasuo, Associate Professor: MIYAZAKI Shuichi)
Application of Multimedia (Academic Center for Computing and Media Studies) Meta-data indexing and annotation are vital for efficient access to multi-media digital archive such as lectures and meetings. We are studying speech and natural language processing oriented for this application: specifically, (1) automatic speech transcription of lectures and meetings, (2) automatic indexing and summarization, and (3) dialogue strategies for efficient access to very large archive.
(Professor: KAWAHARA Tatsuya, Associate Professor: MORI Shinsuke, Assistant Professor: AKITA Yuya)
Bio-system Informatics (Institute for Chemical Research) We develop algorithms for inferring interactions among genes, proteins and chemical structures, and for analyzing their interactive networks based on mathematical methods. We also develop algorithms and software tools for other problems in bioinformatics, including sequence analysis and inference of higher-order structures and functions of protein.
(Professor: AKUTSU Tatsuya, Assistant Professors: HAYASHIDA Morihiro, TAMURA Takeyuki)
  The i-Energy project aims to develop smart energy management systems at consumer sides (e.g. households, offices, and factories) by consumers. The development consists of four main elements: 1) Smart Tap Network for monitoring detailed power consumption patterns of individual appliances and dynamic activities of people, 2) Energy on Demand Protocol to realize the priority-based best-effort power supply mechanism as well as the automatic ceiling mechanism of power consumption in both Watts (W) and Watt hours (Wh), 3) Power Flow Coloring to allow versatile power flow controls depending on types and costs of power sources, and 4) Smart Community for bi-directional energy trading among households, offices, and factories in a local community.
(Professor: MATSUYAMA Takashi, Associate Professor: KATO Takekazu, Assistant Professor: TAKAI Takeshi)

Social Informatics

Social Information Model Contemporary society relies heavily upon the massive amount of information that is found mostly on the Internet. Social progress will depend upon the establishment and continuous revision of both a) technology to enable the rapid and accurate transmission of data, and b) technology to allow rapid searches of vast volumes of data to retrieve required information in a timely manner. For this reason, we will conduct basic research on databases, information retrieval, XML, Web information systems, Web link analysis, and data security. We will also conduct applied research on development of information systems better adapted to our society.
(Professor: YOSHIKAWA Masatoshi, Associate Professors: MA Qiang and ASANO Yasuhito, Assistant Professor: SHIMIZU Toshiyuki)
Social Information Model Humankind has accumulated an incredibly vast amount of information and knowledge in the form of books, magazines, voice and sound recordings, and still and moving images, to name a few. We will focus on basic research regarding the content that forms the basis of social information, and the environments in which this information is accessed. We will study ways to effectively digitize this content, organize and systematize it, and add powerful retrieval functions to meet the requirements of a wide range of applications. We will look at how to offer useful functions such as ones to recombine retrieved data into a form that makes it easier for users to read through and utilize. Our research and teaching topics cover a wide range of fields, and include databases, multimedia information systems, information retrieval, Web information systems, data mining and data visualization, content processing and digital archiving, and mobile information systems.
(Professor: TANAKA Katsumi, Associate Professors: YAMAKATA Yoko and JATOWT Adam, Assistant Professor: YAMAMOTO Takehiro)
Social Information Model With the rapid progress of information technology, there has been a corresponding rise in interest regarding the issue of intellectual property (information-based intellectual property) related to information technology, such as software patents and copyrights as well as copyrights and design rights stemming from multimedia creations. The issue of intellectual property needs to be considered from both technological and social perspectives and requires ''Π-type'' people who are familiar with the systems and processes of not one field but many. From this perspective, we will study the handling of both information-based intellectual property and information about intellectual property by making maximum use of the methodologies of informatics and sociology and applying them to the domain of information-based intellectual property.
(Professor: TANAKA Katsumi, Associate Professor: YAMADA Atsushi)
Social Information Network This Group aims to help Internet-based worldwide communication and collaborative activities. We will build a real social information system and conduct empirical research in the real world, then analyze the results and effects to get a better understanding of the relationship between IT and society and the best way to develop an information-networked society. Using artificial intelligence and human interface as foundations, the Group works closely with outside research organizations while undertaking participatory simulation, information economics, and cross-cultural collaboration projects.
(Professor: ISHIDA Toru, Associate Professor: MATSUBARA Shigeo, Assistant Professors: LIN Donghui and EMA Arisa)
Social Information Network In today's world, where the Internet is used more and more to conduct electronic transactions such as electronic settlements and bidding in online auctions, or to carry out functions required by the government, such as the filing of tax returns, the maintenance of safe and secure network services is becoming increasingly important. Modern cryptography is a technology to achieve this safety and security, and goes far beyond concealment technology to prevent eavesdropping. It is a field of intense study that is developing rapidly. It involves technical and logical systems which include digital signatures that verify the identity of the party you are communicating with and guarantee the authenticity of the data (which means that the data have not been altered), as well as cryptographic protocols that enable advanced network services which guarantee privacy. In our laboratory, we will study various applied cryptographic technologies commonly used today in public key cryptosystems, electronic cash, electronic voting and other applications, and will logically investigate their safety, present new cryptographic protocols, consider how to use them in working systems, and study their effectiveness in our networked society.
(Professors: OKAMOTO Tatsuaki and ISHIDA Toru, Associate Professor: ABE Masayuki)
Social Information Network The Ubiquitous Network technology, the Internet of things, and cyberphysics, are changing our life. Mobile telephones, broadband Internet, nearfield contact IC chips, and the software industry are all heading towards a major turning point. This unit pursues research themes regarding the reciprocal relationship between information and society, including modeling of new ICT business, cross-boarder collaboration in ICT industry, assessment of intellectual property, and social and technological innovation for sustainable industry. These studies are based on collaborative researches and experiments with a private think-tank, international organizations, industry associations, ICT companies, local communities, and virtual communities.
(Professors: YOKOZAWA Makoto and ISHIDA Toru, Associate Professor: KINOSHITA Takashi)
Biosphere Informatics This Group discusses and studies a wide range of themes that include the building of systems that enable the sustainable production of useful bioresources, the protection of endangered species, and the consideration of systems that seek the revitalization of local communities engaged in bioresource production. In order to gather and analyze the bioresource data that is needed in these themes, we use a number of systems, including GPS and biotelemetry. Some of our study themes include research into the development of new methods involving the use of technologies such as data loggers and image analysis.
(Professor: MORIYA Kazuyuki, Assistant Professor: MITAMURA Hiromichi)
Biosphere Informatics This Group is involved in discussion and study that focus on information about mutually related environments in biospheres that range from forests to oceans. The themes are varied and include the construction of databases of natural and social conditions using GIS (geographic information systems) data that transcend time and space; prediction of the distribution of resources and changes in the environment using various simulations on a range of scales; building of systems to support environmental education; and monetary assessment of ecosystems and environments. Students will use a wide range of methods in these research topics, including remote sensing to gather environmental data over a wide area and analyze the results, contingent valuation methods (CVM) and conjoint analysis, and will use portable information devices in their experiments.
(Associate Professor: KOYAMA Lina, Senior Lecturer: TRIFKOVIC Stanko)
Regional and Disaster Management Information Systems (Disaster Prevention Research Institute) To build a safe and secure society, we need to put in place disaster prevention systems that will enable the planning and implementation of disaster risk control, financing, and other integrated policies in a rational manner. We will take an informational, organizational and economic approach to find out what kind of disaster prevention system will result in cities with greater resistance to natural disasters.
(Professor: TATANO Hirokazu, Associate Professor: HATAYAMA Michinori)
Regional and Disaster Management Information Systems (Disaster Prevention Research Institute) The research in our group is aimed at reducing the destruction caused by major disasters, from social scientific points of view, particularly, from the perspective of social psychology. We do action researches at several research fields both in Japan and overseas. Our practical and theoretical researches are related with the following topics, disaster psychology, disaster risk communication, disaster education, regional crisis management, and disaster information.
(Professor: YAMORI Katsuya, Assistant Professor: SUZUKI Shingo)
Regional and Disaster Management Information Systems (Disaster Prevention Research Institute) In the wake of a disaster, people learn new behaviors in response to the new reality and need a process through which their positions can be accepted in society. Responding to a disaster is an information processing process in which individuals and society have to decide how to comprehend and respond to the reality of what has happened. Our research seeks to gain a better understanding of the information processing process through which people respond to disasters, based on the Business Continuity Management framework of 1) risk assessment, 2) strategic planning, 3) standardized risk management systems, and 4) training that seeks to reduce peoples' suffering caused by disasters.
(Professor: HAYASHI Haruo)
Medical Informatics (Medical Informatics, Kyoto University Hospital) In the 2000s we are faced with the issue of how the hospital information systems that were virtually completed in the 1990s can be used to supply data in a form that can be useful in medical treatment. The Medical Informatics Division carries out research from the perspective of effectively utilizing the data held in a hospital's information system. Our topics include: using natural language processing to assist clinical research, utilizing artificial intelligence to analyze data, hospital management analysis, the building of hospital management simulation models and their use in hospital administration, regional medical collaborative networks supported by electronic medical records, patient services and ward information support through wearable ubiquitous computing, and applications of VR technology in medicine.
(Associate Professor: KURODA Tomohiro, Associate Professor: TAMURA Hiroshi, Senior Lecturer: OKAMOTO Kazuya)
Information Fluencey Education (Academic Center for Computing and Media Studies) Information education provides an important nexus between information and society. In the past it was known as ''information literacy'' and focused mainly on developing students' skills in applying information technology. There is an increasing need for the application of IT to many academic fields and social issues, and it is very important to educate people about the basic concepts of information usage and to foster their intelligent information-use skills so that they can apply information technology. This is what we call ''information fluency education.'' In the Information Fluency Education Division, we use the educational computer systems of the Kyoto University Institute for Information Management and Communication to teach and research in the fields of information education (to train people to use IT in a range of areas), artificial intelligence to support education and learning, the application of information security technology, the systematization of education content, and education methods and assessment techniques.
(Professor: KITA Hajime, Associate Professor: UEDA Hiroshi, Assistant Professor: MORI Mikihiko)

Applied Analysis and Complex Dynamical System

Applied Analysis Applied mathematics seeks to go far beyond the mere application of pure mathematics to the solution of physical and mechanical problems. Through research into mathematical models of phenomena, applied mathematics creates new mathematics. Our Division teaches and carries out research in applied analysis where there is particular emphasis on analysis in fields of applied mathematics. We seek to improve our understanding of existing analytics and create new analytics for the 21st Century. To give specific examples of the kinds of research we do, we analyze mathematical models of physical and mechanical phenomena by applying mathematical and numerical analysis and stochastic theory to get a better understanding of both the analytical methods and the mathematical structure of the model, and to establish new analytical techniques. In this Division, the key words are nonlinear analysis and inverse problem analysis, and our full-time teaching staff constantly interacts with one another while they teach and conduct research.

Analysis in the 21st Century
Faculty Members and Their Research Interests:

ISO Yuusuke (Professor): Numerical Analysis of (Partial) Differential Equations, Numerical Analysis of Ill-posed Problems, Analysis of Inverse Problems; I carry out both mathematical and numerical analysis in research regarding the determination of unknown coefficients and other inverse problems, as well as boundary value problems and other forward problems with respect to partial differential equations that describe mechanical and physical phenomena.

KIGAMI Jun (Professor): Fractal Analysis, Fractal Geometry; I am interested in the mathematical theory of problems concerning heat and wave propagation in fractal concept models – new models for the natural world.

KUBO Masayoshi (Senior Lecturer): Inverse Problem Analysis, Numerical Analysis of (Partial) Differential Equations, Partial Differential Equations, Brain Model Mathematical Research; I mathematically analyze partial differential equations that appear in mathematical physics and mathematically and numerically analyze the inverse problems found in these partial differential equations, where the unknown coefficients of these inverse problems are determined by observed data.

WAKANO Isao (Senior Lecturer): Numerical Analysis of (Partial) Differential Equations, Partial Differential Equations, Mathematical Research in Fracture Mechanics; I am involved in research into the mathematical and numerical analysis of partial differential equations in mechanics. Recently, I have carried out numerical calculations of problems in the field of fracture mechanics.

FUJIWARA Hiroshi (Assistant Professor): Numerical Analysis of Ill-posed Problems, Design and Implementation of Multi-precision Arithmetic Environments; I am involved in research concerning regularization methods and numerical analysis of multiple-precision calculations with the aim of solving inverse problems that occur in mechanics and geophysics and reconstructing them numerically.

Complex Dynamics The dynamic behavior of systems that have a high degree of freedom and engage in nonlinear mutual interactions is both complex and richly diverse, and yet, many of these systems possess qualities in common with each other, such as a regular structure, and are fascinating subjects for research. In this Division, we use logical analysis and computer simulations to gain a better understanding of the complex behavior and control of these kinds of dynamic systems, as well as to clarify their common principles.

Group of fluid dynamics and computational physics
We aim to understand and control the various patterns of complicated behavior of nonlinear dynamical systems such as fluid systems and many-particle systems. In particular, we are trying to clarify, control and utilize in fluid systems and coupled dynamic systems the nonlinear behavior of chaos, synchronization, pattern formation, generation and interaction of nonlinear waves, interaction of vortices, and thermal convection. To achieve this aim, we conduct logical analysis based on the theory of nonlinear dynamic systems, reduction theory, and singular perturbation methods, and apply simulation techniques such as differential calculation, spectral methods, Monte Carlo techniques, and molecular dynamic methods. Our teaching and research also cover the development of computer simulations and theory relating to crystal growth, electrodeposition and surface properties. The application of the simulations to cutting-edge areas in semiconductor engineering and device fabrications such as LSI interconnects is also studied.
(Professor: FUNAKOSHI Mitsuaki, Assistant Professor: KANEKO Yutaka)

Group of nonequilibruim physics and theoretical neuroscience
Physical systems like fluids and chemical reactions are not the only cooperative phenomena that are made up of comparatively simple elements, and yet exhibit complex behavior and advanced functions that are impossible to predict from the individual elements alone. This same characteristic is also found in neural systems and social phenomena. For example, in neural systems, the mutual interaction between the basic elements called neurons all grouped together allows the neural system to acquire the advanced information processing functions of learning, memory and decision-making, or from a more ordinary perspective, they form the dynamic elements in a network (neurons, cities, people, etc.). The network structure and dynamic activity of the elements are simultaneously changing, and the network exhibits the ability to organize itself. Our research looks at these kinds of cooperative phenomena that have multiple elements, and focuses on reduction theory, rhythmic phenomena, and chaos theory from the perspective of nonlinear dynamics and non-equilibrium physics.
(Associate Professor: AOYAGI Toshio, Senior Lecturer: MIYAZAKI Syuji, Assistant Professor: TUTU Hiroki)

Applied Mathematical Sciences Computer simulations: from the development of high-speed computation to the understanding of quantum systems
Numerical simulations are a powerful tool to help us solve many different kinds of problems in science and engineering. Computational mechanics, together with theoretical and experimental mechanics, is an effective method for investigating mechanical phenomena in engineering. Our Group is developing the Boundary Integral Equation Method (BIEM), a major technique in computational mechanics that is particularly effective in the analysis of waves and fractures. We are conducting research into fast BIEMs and their applications to large-scale problems. We are also working to solve periodic problems so we can apply the results to studies — particularly, in optical science. We are carrying out research into simulations of macroscopic phenomena (quantum phase transitions, etc.) that are governed by quantum mechanics and the algorithms that are used in these simulations.
(Professor: NISHIMURA Naoshi, Senior Lecturer: YOSHIKAWA Hitoshi, Assistant Professor: HARADA Kenji)
Applied Mathematical Sciences Controlling systems and signal processing
We are surrounded by a vast number of systems in daily life: natural systems such as water cycles and the weather, and man-made systems ranging from satellites, aircraft and computer networks to robots, production systems, and small electronic devices. For all these systems to function properly, there has to be some kind of control mechanism at work. It is desirable that the control mechanisms of man-made systems work in a more sophisticated and intelligent manner. In our Group we carry out theoretical and advanced applied research into digital robust control, signal processing systems, network systems, and other areas to make control systems more advanced and intelligent, and improve voice processing as well as still- and moving-image processing.
(Professor: YAMAMOTO Yutaka, Senior Lecturer: NAGAHARA Masaaki)

Applied Mathematics and Physics

Applied Mathematics We carry out research in the areas of contemporary soliton research and integrable system research, not only regarding the applied analysis of orthogonal polynomials and special functions that are closely associated with integrable systems, but also regarding the application of the mathematical methods developed by integrable system studies to the solution of various problems hitherto thought to be unrelated to integrable systems (such as numerical calculation and algorithm development). Our Group is a pioneer in this research field, and conducts studies into the applied analysis of integrable systems in the development of algorithms and other new branches of mathematics from the perspective of computer science.
(Professor: NAKAMURA Yoshimasa, Associate Professor: TSUJIMOTO Satoshi, Program-Specific Associate Professor: KIMURA Kinji, Assistant Professor: KAMIOKA Shuhei, Program-Specific Assistant Professor: SEKIDO Hiroto)
Applied Mathematics Topics in discrete mathematics, such as the graphs and network used to represent systems, schedules to enhance the efficiency of production, and the logical analysis of large volumes of data, are closely related to applications of research results. We explore the complexity of the calculations used to solve these problems; design logical approximation algorithms; develop taboo search algorithms, genetic algorithms and other metaheuristic algorithms; and apply them to solving actual problems.
(Professor: NAGAMOCHI Hiroshi)
Applied Mathematical Systems We conduct education and research regarding the theory and methodology of system optimization, which plays an important role as a mathematical approach that is used to resolve many different kinds of practical problems. In particular, we develop efficient mathematical optimization approaches to actual large-scale systems, complex nonlinear systems, and systems with uncertainty, as well as basic research regarding mathematical programming.
(Associate Professor: YAMASHITA Nobuo, Assistant Professor: FUKUDA Ellen Hidemi)
Applied Mathematical Systems We carry out teaching and research regarding the mathematical methodologies of modeling, analysis and design of control systems, and their application with the aim of developing practical and expansive control theories. Our main research themes are robust control, control systems with input/output constraints, networked control systems, algebraic system theory, mathematical optimization in control, stochastic realization, system identification and quantum control theory.
(Professor: OHTA Yoshito, Associate Professor: KASHIMA Kenji, Assistant Professor: OHKI Kentaro, Program-Specific Assistant Professor: MINAMI Yuki)
Applied Mathematical Systems To make information systems useful to our day-to-day lives and industry at large, we need to be able to mathematically model both the behavior of people and the movements of objects that these systems deal with. The form of these models ranges from the conceptual to the numerically precise. We will examine case studies from industry in our research of modeling technology, including methods of using human knowledge (structural modeling) and methods using actual data (multivariate analysis).
(Professor: YAMAMOTO Akira, Associate Professor: FUKUMOTO Takashi)
Mathematical Physics We aim to gain a mathematical and unified understanding of the complex and diverse phenomena that arise out of the intense mutual interactions of multiple elements (units) in a system and apply this understanding to information processing and design of complex engineering system. For example, we will use stochastic process theory, ergodic theory, statistical physics, dynamical system theory, computer simulations, and large-scale data processing techniques to analyze information processing and performance evaluation in neural networks; the structure of the Internet and other complex networks such as social media systems, and the propagation of information within them; and the dynamical properties of price change, stock markets and other economic phenomena.
(Professor: UMENO Ken, Associate Professor: IGARASHI Akito, Assistant Professor: SATO Akihiro)
Mathematical Physics We apply differential geometry and other branches of mathematics in our analysis of the mathematical physical structure of dynamical systems. Examples include reduction theory and chaos in dynamical systems, the differential geometric structure of many-body systems, quantum-classical correspondence, and the analysis of orbital instability. In our research into engineering applications, we use the concepts of differential geometry to analyze problems of how to control dynamical systems with non-holonomic constraints. We are also involved with differential geometric techniques in quantum computation theory.
(Professor: YAGASAKI Kazuyuki, Assistant Professor: YAMAGUCHI Yoshiyuki)

Department of Systems Science

Human Machine Symbiosis –Aiming to design robust and flexible mechanical systems– Advanced control methods that can operate mechanical systems properly under adverse conditions are necessary in order to built systems that have the flexibility to adapt to, and the robustness to withstand, environmental change. Our group focuses on developing this kind of advanced control theory. We also conduct education and research regarding the application of such theory in mechatronics and robotic engineering. More concretely, our theoretical research topics include robust control, system modeling, saturated systems, nonlinear systems, and hybrid systems. Application examples of our research include magnetic levitation systems, crane systems, inverted pendulums, airship control, snake-like robots, and biological systems.
(Professor: SUGIE Toshiharu, Associate Professor: AZUMA Shun-ichi, Assistant Professor: MARUTA Ichiro)
Human Machine Symbiosis — Aiming to Develop Human-Centered System Design Methodology — The society that values humankind is called for now. The situation is similar in the latest industrial science and technology, thus novel system design methodology is required from various positions such as those who develop technology and those who use technology. We perform basic research on developing human-centered system design methodology through understanding the mechanism of human recognition and action. In order to contribute our results to our society, we also perform applied research in various industries such as semiconductor, pharmaceutical, steel, chemical, and automobile. Furthermore, through these studies, we conduct the education that aims at training talented people to take a broad view of things and have high aims.
(Professor: KANO Manabu, Associate Professor: NISHIHARA Osamu, Assistant Professor: FUJIWARA Koichi)
Human Machine Symbiosis — Toward harmonious coexistence between people, systems, and the natural environment — For analysis and design of novel systems to realize symbiosis and synergy of various objects including humans, machines, societies, and environments, it is essential to find out universal principles in modeling, analysis, design, and control of systems. To this end, we conduct researches on novel methodologies to deal with nonlinearities and dynamic optimization, which are often fundamental difficulties in various problems. We also apply our methodologies to a wide range of fields, aiming practical as well as theoretical education and research.
(Professor: OTSUKA Toshiyuki, Assistant Professor: HIRAOKA Toshihiro)
System Synthesis — Theoretical approaches to systems that learn and adapt — We aim to create artificial systems that have the ability to learn, infer, and adapt — like animals and humans do — and are involved in education and research that focuses on various theoretical problems that will have to be overcome for this to happen. Specifically, with interests in the application to artificial intelligence, pattern recognition, data mining, digital information communication, we conduct research into theories of probability-based inference and learning, which explains the efficient acquisition of useful information in an uncertain environment, and the statistical mechanics of information processing, which can be discussed by drawing an analogy between the information mathematics of large-scale probability models and statistical mechanics.
(Professor: TANAKA Toshiyuki, Senior Lecturer: OHKUBO Jun, Assistant Professor: OHZEKI Masayuki)
System Synthesis — For better understanding of mathematical systems theory through stochastic and statistical approaches– Our research and teaching involve the building and analysis of stochastic and statistical models that appear in various systems, and the development of effective algorithms needed for the practical application of these solutions in the real world. In particular, based on signal processing, which provides a framework for extracting useful information from observed raw data, we carry out education and research on various systems especially in the field of telecommunications, such as mobile wireless communications systems and high-speed optical communications systems.
(Associate Professor: HAYASHI Kazunori, Assistant Professor: KANEKO Megumi)
System Synthesis — Data Mining & Pattern Recognition Based on Statistical Machine Learning — Data mining is the technology which discovers significant latent relationships, rule, patterns from huge amount of data like Web contents. It has been widely used in many recommendation systems for products already. We are pursuing statistical machine learning approach to provide highly sophisticated data mining technologies to extract, classify, organize, visualize, and predict latent information hidden in the data. We will offer education and research opportunities in this field.
(Professors: UEDA Naonori and TANAKA Toshiyuki)
Systems Informatics Research interests in the group include mathematical modeling and theoretical analysis of performance issues arising in information and communication systems, transportation systems, and manufacturing systems. Current activities are concerned with the following and related topics: 1. Modeling and performance analysis of information and communication systems 2. Queueing (Traffic) theory and its application to computer communication systems 3. Management and control of autonomic networking 4. Stochastic analysis of discrete event systems. 5. Performance evaluation of wireless/mobile networks.
(Professor: TAKAHASHI Yutaka, Associate Professor: MASUYAMA Hiroyuki)
Systems Informatics — Constructing models of information processing in life and intelligent systems — Intelligence (the brain) and life are complex systems that adapt to uncertain and changing environments. Aiming at elucidating the principles of information processing in those complicated systems, we are focusing on researches in the areas of computational neuroscience, systems biology, and bioinformatics, while conducting applied research, such as the application of these principles in the building of robots that have adaptive information processing mechanisms that we have learned about through our studies of living organisms. We conduct interdisciplinary education and research on life systems.
(Professor: ISHII Shin, Senior Lecturer: OBA Shigeyuki, Assistant Professor: MAEDA Shin-ichi)
Systems Informatics — Learning about the functions and physical characteristics of human bodies — Information systems such as data processing systems used in genetic analysis, diagnostic imaging systems are key technologies of modern medicine. Interdisciplinary collaboration is essential to further progress of medical systems' research that combines the two keywords of ''bio'' and ''information.'' We carry out joint research projects with other research organizations in different fields including the Faculty of Medicine to develop simulation systems of biological functions, medical imaging techniques, and innovative methods to measure physical characteristics of human bodies.
(Professor: MATSUDA Tetsuya, Associate Professor: NAKAO Megumi)
Systems Informatics — Create a brain in order to understand the brain– (a) Humanoid Robot The goal of our study is to control robots by thoughts in the brain. This study is expected to contribute to the connection of humans and robots as a future telecommunication device and to the development of an assistive device for the recovery of motor functions in humans. We aim to understand brain mechanisms especially those of motor control. (b) Brain Machine Interface We aim to understand the brain function through computational neuroscience and to develop a Brain Machine Interface (BMI) for recovery of motor functions in humans as technology for IT and clinical applications.
(Professors: KAWATO Mitsuo and ISHII Shin) — Neural Circuit Information Processing — Neuronal networks play a central role in information processing by the brain. To uncover the principles governing the computation by the brain, we perform theoretical analysis of neural network models, construction of microcircuit models of the brain, and development of mathematical tools for deciphering neural code.Moreover, we will develop and use methods in non-linear dynamical systems, stochastic process, probabilistic inference and machine learning. Furthermore, we give motivated students an interdisciplinary research opportunity to learn theories and applications of brain information processing.
(Professors: FUKAI Tomoki and ISHII Shin) — Computational theory of action learning and the brain's mechanisms for learning — Humans and animals can learn varieties of behaviors under novel, uncertain environments. What is the brain's mechanism for such flexible learning? Its understanding requires integration of the computational theory of action learning and the dynamics of the networks of the neurons, molecules, and genes in the brain. Our laboratory works on the algorithms of reinforcement learning and Bayesian inference, their implementation to robotics and bioinformatics, neural recording from rats' basal ganglia and the brain stem, human brain imaging, and evolution of learning capabilities in a robot colony. We welcome members from a variety of countries and disciplines to enjoy research in the campus overlooking the ocean of Okinawa.
(Professors: DOYA Kenji and ISHII Shin)
Applied Informatics (Affiliated) — Aiming to be at the forefront of computing performance — We are involved in research into supercomputers, their software, and systems that are thousands or tens of thousands of times more powerful than ordinary personal computers. We are studying the basic technologies for high-performance parallel processing, such as parallel systems that link together many computers, languages that simplify parallel processing, and software libraries that can be widely used in a range of fields. Much of this research is in the form of joint research projects that extend beyond the field of computer science to involve researchers in the fields of medicine, physics, engineering, and other areas.
(Professor: NAKASHIMA Hiroshi, Assistant Professor: HIRAISHI Tasuku)

Communications and Computer Engineering

Computer Engineering Our main education and research theme is the design of algorithms for efficiently solving problems by computer. An algorithm is a procedure for solving problems automatically on computers. Arithmetic operations can be performed using logic circuits, or if it is a high-level operation, using a program. Computing the value of pi (π) is a typical example in which computers perform well. On the other hand, scheduling problems, such as time schedules for schools or trains, are known to be computationally difficult problems for computers. We are meeting the challenge of such difficult computational problems from an algorithm engineering standpoint so as to enable computers to make increasingly significant contributions to society.
(Professor: IWAMA Kazuo, Assistant Professor: TAMAKI Suguru)
Computer Engineering With the progress in integrated circuit technology, computers (processors) are being integrated as parts on circuit boards and LSIs, along with memories and various dedicated and peripheral circuits. We conduct education and research on new parallel computing mechanisms and arithmetic operation circuits that are suitable for integrated systems, hardware algorithms for dedicated circuits, and LSI system design technologies.
(Professor: TAKAGI Naofumi, Associate Professor: TAKAGI Kazuyoshi, Assistant Professor: TAKASE Hideki)
Computer Engineering Centering around programming languages, we conduct research and education on theory and practice for building highly efficient and dependable software. Our main focuses are on theory of program verification techniques based on mathematical logic, such as type theory and model checking, and the design and implementation of high-level programming languages, backed by rigorous foundations.
(Professor: IGARASHI Atsushi, Associate Professor: SUENAGA Kohei, Assistant Professor: UMATANI Seiji)
Communications Systems Engineering Wireless communication networks, accelerated by cellular radio together with short-range wireless communications and RFID tag technologies, for instance, have been advancing significantly towards the goal of so-called ubiquitous networks. That is, we are on the verge of an era when people can enjoy various benefits unconsciously from totally connected network where various equipments, devices, and sensors are closely connected each other and linked to the Internet via wireless technologies. With wireless distributed self-organizing information networks which will be expected to play core roles in such a next generation information networks in mind, we are actively working to conduct education and research on highly efficient radio resource management techniques including spectrum sharing among multiple wireless systems, and highly spectrum-efficient signal processing techniques for broadband wireless transmission, etc.
(Professor: HARADA Hiroshi, Associate Professor: MURATA Hidekazu)
Communications Systems Engineering A key technology to realize smart metering for smart gird and vital monitoring for healthcare and medical care is machine-to-machine wireless networking. In the M2M wireless network, narrower bandwidth and longer communication distance are required compared to cellular networks and wireless LANs, and thus enormous number of terminals conflict with each other. In addition, batteryless terminals are required for maintenance-free. For those purposes, we research a unified wireless platform for the future society.
(Professor: MORIKURA Masahiro, Associate Professor: YAMAMOTO Koji, Assistant Professor: NISHIO Takayuki)
Communications Systems Engineering We study high-speed broadband backbone/access network architecture and network control and management technologies with the aim of developing enhanced information networks. Our education and research topics include optimal design technologies for network systems such as optical packet routers, ubiquitous mobile network control technology, QoS control, and management technologies that are indispensable to advanced applications, as well as wired and wireless seamless communications.
(Professor: TAKAHASHI Tatsuro, Associate Professor: SHINKUMA Ryoichi)
Integrated Systems Engineering Architecture design of integrated circuits is a key enabler for exploiting full potential of advance semiconductor technologies. Real-time signal processing on media data, extremely low power operation to prolong battery lifetime, and maximizing reliability of the system are of utmost importance. We conduct researches on the following areas: (1) methodologies for circuit analysis, circuit design techniques, and circuit-performance optimization, (2) architectural design for processors and reconfigurable devices for system LSI, and (3) hardware and embedded software algorithms for codecs, digital communications, image recognition, and their design methodologies.
(Professor: SATO Takashi, Assistant Professor: HIROMOTO Masayuki)
Integrated Systems Engineering Integrated circuits are important devices that enhance functionality, improve performance, and reduce the cost of electronic systems. Since the integration of several devices in 1959, an integrated circuit today can accommodate more than one billion devices. With this rapid growth in circuit scale, how to configure and design circuits has become a key item of concern. Furthermore, as we enter the era of nanoscale integrated circuits, we are facing many challenging issues such as performance variability and reduced manufacturability. This Group is conducting research and education regarding circuit configuration and design technologies for large scale integration and high miniaturization of LSIs; techniques for facilitating the production of highly manufacturable and reliable LSIs; and design methodology for high performance and energy-efficient embedded systems.
(Professor: ONODERA Hidetoshi, Associate Professor: ISHIHARA Tohru, Assistant Professor: TSUCHIYA Akira)
Integrated Systems Engineering The definition of desired information to be extracted from signals is subjective and dependent on its application. It is thus necessary to thoroughly understand the essence of physical phenomena and mathematical formulations. We develop innovative signal processing algorithms through unique approaches by redefining the desired information to achieve significant performance improvements. Our research covers wide range of topics including ultra wide-band radar imaging, medical ultrasound systems and optical fiber communications.
(Professor: SATO Toru, Associate Professor: NORIMATSU Seiji, Assistant Professor: SAKAMOTO Takuya)
Radio Atmospheric Sciences (Research Institute for Sustainable Humanosphere) The Indonesian equatorial region is the driving source of global atmospheric circulation, as well as phenomena such as the El Niño Southern Oscillation (ENSO) in the equatorial region, both of which influence weather in Japan. We have developed a VHF-band Equatorial Atmosphere Radar (EAR), and studied atmospheric phenomena in the equatorial region based on expertise acquired from our Middle and Upper-atmosphere (MU) radar observations. We have also developed a variety of radars for observing specific phenomena. Among such developed radars, the Japan Meteorological Agency adopted for its radar network (WINDAS) our small atmosphere radar specialized to observe the lower atmosphere (below 10 km). This network consists of 33 atmospheric radars and is used for weather forecasting. The scope of our research is not confined solely to the lower atmosphere, but also covers a wide area of the Earth's middle atmosphere (10-100 km) and the ionosphere (above 100 km).
(Professor: YAMAMOTO Mamoru, Associate Professor: HASHIGUCHI Hiroyuki, Assistant Professor: YAMAMOTO Masayuki)
Radio Atmospheric Sciences (Research Institute for Sustainable Humanosphere) We are developing new techniques to observe the atmosphere using radio waves, light, and acoustic waves, and conduct research and education to collect, process, and disseminate global observational atmospheric data. More specifically, our research topics include development of atmospheric monitoring using radio waves of Global Positioning System (GPS) satellites and applications for weather forecasting, and profiling humidity — which was previously hard to monitor — by using radio-acoustic sounding and laser-radar techniques. We also carry out long-term atmospheric observations around the world and combine a variety of techniques such as satellite data analysis and numerical modeling in order to elucidate various phenomena of the Earth's atmosphere, which is a protective coat of the humanosphere. We also develop information systems for these studies.
(Professor: TSUDA Toshitaka, Assistant Professor: FURUMOTO Jun-ichi, Assistant Professor: YABUKI Masanori)
Global30 Geometric structures, especially high dimensional polyhedra, have become essential components of models in many areas of engineering and science. Applications arise in such diverse areas as bio-mechanics, chemistry, embedded systems, game theory, physics, robotics, scheduling and wireless networks. They are also at the heart of discrete optimization, particularly linear and integer programming. Related computational problems are computationally hard, and many important practical problems are currently out of reach with present technology. Our goal is to create new theoretical methods for geometric computation and to implement them in efficient, easily usable software for end-users. Research in this group is divided into three areas.Geometric structures, especially high dimensional polyhedra, have become essential components of models in many areas of engineering and science. Applications arise in such diverse areas as bio-mechanics, chemistry, embedded systems, game theory, physics, robotics, scheduling and wireless networks. They are also at the heart of discrete optimization, particularly linear and integer programming. Related computational problems are computationally hard, and many important practical problems are currently out of reach with present technology. Our goal is to create new theoretical methods for geometric computation and to implement them in efficient, easily usable software for end-users that makes use transparently of multiple cores and GPU processors.
(Professor: David Avis)