Fundamental Science and EngineeringCreative Science and EngineeringAdvanced Science and EngineeringⅠ FeaturesⅡ History and ProfileⅢ RequirementsCONTENTS Specifically, the content of the research guidance is as follows:1. Knowledge information processingOur research goal is to develop a framework for computation and programming that adequately addresses (i) modern computing platforms comprising many processors connected in various forms and (ii) a quest for future software technology that enhances our intellectual activities in a reliable manner. This seems to demand novel computational models for various high-level information such as human knowledge and mathematical concepts (as opposed to bits and bytes) and advanced programming languages as enabling technology. We tackle these challenges by designing and implementing high-level languages for programming, modeling, simulation, reasoning and verification, all with rigorous foundations. Research in this direction closely relates to Artificial Intelligence as well as to programming languages.2. Computer programming languagesA computer programming language is a formal language for writing computer programs, which specify the behavior of computation or algorithms. Programming languages is one of the oldest and most well-established branches of computer science, and an active area of research. Research in programming languages concerns, among others, design and implementation of programming languages and programming language features, programming techniques such as functional programming and logic programming, methods for reasoning about programs such as type systems, program verification, and program synthesis, research in theoretical foundations such as programming language semantics and type theory, and applications of programming language research techniques to other areas of science such as computer security.3. Artificial Intelligence: Machine Learning Technology Based on Data ScienceIt is essential to understand the nature of human-produced data in order to amplify our intellectual ability. We study the fundamental nature of human data as complex systems by the use of statistical mechanics methodology. From the acquired knowledge, we develop machine learning methodologies, including neural computing, to enhance the functionality of computers and software in the form of artificial intelligence.◇ Advanced SoftwareIn the current information society, the need for software to control computers has become enormous and production has not been able to keep up with the demand for a long time. The purpose of this research area is to conduct research and education on theoretical and practical methods to produce highly reliable and sophisticated software in response to the demands of society.Specifically, the content of the research guidance is as follows:1. Software development engineeringTo efficiently develop and maintain good software, various methodologies and a group of software tools to support it are essential. For the purpose of realizing these things, research 63
元のページ ../index.html#69