Fundamental Science and EngineeringCreative Science and EngineeringAdvanced Science and EngineeringⅠ FeaturesⅡ History and ProfileⅢ RequirementsCONTENTS themes are focused on design and implementation of software with a variety of new concepts and establishment of their theoretical basis. Studies are also conducted on the development of hardware architectures, support for their designs, and various systems to implement such software.2. Distributed intelligent agents softwareStudies are conducted from basics to applications of autonomous agents and multi-agent systems. Multiple programs often work in a cooperative manner to achieve their own goals or the shared goals that are difficult to achieve alone. For example, services on the Internet are provided by a number of programs that may be developed in different groups, and multiple robots often have to coordinate each other for their individual actions. These programs are called intelligent agents in the field of artificial intelligence and they autonomously decide their course of actions for their goals. Research and educations are carried out the theoretical foundation including game theoretic and machine learning approaches, social learning and network analysis in a multi-agent context, and applications to multi-agent social simulations and network systems. 3. Reliable software engineeringStudies are conducted on software engineering technologies and knowledge systems which are essential to efficiently develop and maintain various kinds of highly functional and high-quality software. Specifically, we deal with highly efficient development technologies such as modeling, design, reuse, and auto-generation to fill the gap between requirements and programs, and high-quality development technologies such as review, test, measurement, and formal verification. We try to establish practically useful methodologies and tools backed by theory and experience and develop empirically derived knowledge. Furthermore, security problems, incorporation, processes, management, etc. can be listed as studies on applications.4. Software development for computational biology Recent progress in genome sequence technology has encouraged large scale cohort studies, which produce huge amount of biological/biomedical data. In this research project, we aim to develop an efficient software for analyzing such biological/biomedical big data. The project includes various topics such as fast biological sequence analysis and privacy-preserving data mining for genome data. 5. Autonomous agent engineeringSoftware systems embedded in the real world are exposed to various and uncertain changes occurred in the environment. We deal with engineering techniques to develop autonomous agent-based software that be able to adapt and/or evolve flexibly in response to the changes. Our research topics include self-adaptive systems that be able to change the software itself in response to the changes monitored at runtime, automated software evolution that updates software systems at runtime, Models@runtime that is a set of techniques to enable the self-adaptation and/or automated software evolution by utilizing models at runtime, and automatic program repair that automatically identifies and fixes program faults causing failures.64
元のページ ../index.html#70