Philosophy and Goals of Education and Research Purpose of Human Resource Development Our mission is to nurture individuals who embody excellence in mathematics and informatics—grounded in a solid foundation, equipped with broad knowledge of mathematical informatics, and distinguished by critical thinking and problem-solving skills—so that they may contribute meaningfully to the highly information-oriented society of the future. Guided by this mission, we are committed to developing graduates who combine fundamental and applied knowledge of mathematics, informatics, and related fields, and who acquire advanced expertise in mathematical informatics that fosters innovation and supports industry. Through the integration of mathematics and informatics, they are prepared to advance excellence in mathematical information science, computer science, and information processing technologies. Profile of the Desired Human Resources Graduates will possess a solid foundation in mathematics and informatics, broad knowledge of mathematical informatics, and well-developed skills in critical thinking and problem solving, enabling them to make meaningful contributions to the highly information-oriented society of the future. Features of Mathematics and Informatics Program Main Research Areas Mathematical AnalysisNumber theory, Differential geometry, Topology, Complex analysis, Real analysis, and so on. Mathematical Science of Informationgebra, Theory of functional equations, Applied analysis, Numerical analysis, Probability theory, and so on. Computer Software SystemWe conduct education and research on digital signal processing and its applications. Signals of interest include audio, imaging, economics, finance, cosmic rays, biological signal, and, many others. The processing of such signals includes denoising, compression, visualization techniques, and brain-computer interfaces. Medical Information SensingWe conduct education and research on the theory and applications of noninvasive ultrasonic imaging and sensing of morphological and functional information of biological bodies. In particular, we develop advanced signal- and image-processing techniques, such as ultrasonic beamforming, target motion estimation, and tissue viscoelasticity estimation, for ultrasonic measurements. Biological Information ProcessingWe conduct education and research in bioinformatics. We investigate the relationship between gene sequence, protein structure/function, eural/cardiac function, behavior, and disease using computer protein structure modeling, in-silico pathogenicity prediction, and electrophysiological/behavioral measurements. We also conduct education and research on visual information processing engineering, color engineering, evaluation and analysis of CG/3- D visible images, optical and visual environment engineering, traffic visual environment engineering, urban landscape lighting, and the development of universal designs for elderly persons and people with synesthesia. Cosmic Science InformaticsWe conduct research and education on data science and related modeling for astrophysics and astronomy (e.g.,black holes and galaxies). Analyses for multi-dimensional data and time series data, as well as modeling in mathematical sciences are included. Artificial IntelligenceWe conduct education and research on the design, analysis, and evaluation of various artificial intelligent methodologies, including the artificial neural networks which are inspired by the human brain’s architecture and information processing mechanisms, the deep learning which is able to learn by itself, particle swarm optimization, ant colony optimization, error backpropagation method, genetic algorithm, evolutionary strategy, and other machine learning technologies. Quantum InformationWe are working on quantum information where application of quantum mechanics offers revolutionary improvements to information processing. In particular, we are aiming at the realization of quantum communication, such as quantum key distribution and quantum repeaters. Computational BiophotonicsWe conduct research and education aimed at creating basic principles of next-generation medical measurement and diagnostic technology and building an academic system by combining photon science, laser spectroscopy, optical communication technology and information science. Human- Computer InteractionWe conduct education and research on the analysis and evaluation of human cognition and social interaction, and on the design of information technologies that support people’s intellectual activities in real life. For this purpose, we use a combination of multimodal measurement of brain, psychological, physiological, and behavioral activities with data science and artificial intelligence techniques. Mathematical AnalysisNumber theory, Differential geometry, Topology, Complex analysis, Real analysis, and so on. Mathematical Science of Informationgebra, Theory of functional equations, Applied analysis, Numerical analysis, Probability theory, and so on. Computer Software SystemWe conduct education and research on digital signal processing and its applications. Signals of interest include audio, imaging, economics, finance, cosmic rays, biological signal, and, many others. The processing of such signals includes denoising, compression, visualization techniques, and brain-computer interfaces. Medical Information SensingWe conduct education and research on the theory and applications of noninvasive ultrasonic imaging and sensing of morphological and functional information of biological bodies. In particular, we develop advanced signal- and image-processing techniques, such as ultrasonic beamforming, target motion estimation, and tissue viscoelasticity estimation, for ultrasonic measurements. Biological Information ProcessingWe conduct education and research in bioinformatics. We investigate the relationship between gene sequence, protein structure/function, eural/cardiac function, behavior, and disease using computer protein structure modeling, in-silico pathogenicity prediction, and electrophysiological/behavioral measurements. We also conduct education and research on visual information processing engineering, color engineering, evaluation and analysis of CG/3- D visible images, optical and visual environment engineering, traffic visual environment engineering, urban landscape lighting, and the development of universal designs for elderly persons and people with synesthesia. Cosmic Science InformaticsWe conduct research and education on data science and related modeling for astrophysics and astronomy (e.g.,black holes and galaxies). Analyses for multi-dimensional data and time series data, as well as modeling in mathematical sciences are included. Artificial IntelligenceWe conduct education and research on the design, analysis, and evaluation of various artificial intelligent methodologies, including the artificial neural networks which are inspired by the human brain’s architecture and information processing mechanisms, the deep learning which is able to learn by itself, particle swarm optimization, ant colony optimization, error backpropagation method, genetic algorithm, evolutionary strategy, and other machine learning technologies. Quantum InformationWe are working on quantum information where application of quantum mechanics offers revolutionary improvements to information processing. In particular, we are aiming at the realization of quantum communication, such as quantum key distribution and quantum repeaters. Computational BiophotonicsWe conduct research and education aimed at creating basic principles of next-generation medical measurement and diagnostic technology and building an academic system by combining photon science, laser spectroscopy, optical communication technology and information science. Human- Computer InteractionWe conduct education and research on the analysis and evaluation of human cognition and social interaction, and on the design of information technologies that support people’s intellectual activities in real life. For this purpose, we use a combination of multimodal measurement of brain, psychological, physiological, and behavioral activities with data science and artificial intelligence techniques. Educational Objectives, Educational Goals, and Three Policies Diploma Policy Policy on Certification and Degree Awarding The Graduate School of Science and Engineering aims to contribute to the development of natural science and technology by teaching and researching the academic theories and applications of science and engineering and their related fields, delving into their depths, and cultivating deep knowledge, excellent abilities, and ethics required for highly specialized professions. Based on this educational objective, a master’s degree (Mathematical Informatics) is awarded to those who have acquired extensive knowledge of the basics and applications of informatics and mathematics and their related fields, advanced expertise in mathematical informatics that can contribute to related industries and innovation, and have achieved the learning outcomes specified below. Achievement Goals and Indicators Fundamental Abilities Learning Outcomes: Possess rich knowledge that forms the foundation of the field of mathematical informatics, basic English proficiency and logical thinking skills necessary for global activities, and the ability to view various issues from multiple perspectives. Indicators: Possess rich knowledge that forms the foundation of the field of science and engineering, English proficiency, logical thinking skills, and the ability to view various issues from multiple perspectives. Specialized Knowledge Learning Outcomes: Possess specialized knowledge, research abilities, and the specialized knowledge required for highly specialized professions in the fields of mathematics and informatics. Indicators: Possess advanced specialized knowledge and research abilities in the field of science and engineering, and practical abilities required for highly specialized professions. Ethics Learning Outcomes: Possess a normative awareness of research ethics necessary for activities as highly specialized professionals and researchers in the field of mathematical informatics. Indicators: Possess a normative awareness of research ethics. Creativity Learning Outcomes: Possess the ability to create new knowledge in scientific issues, including mathematical informatics, generate further value from that knowledge, and present new solutions to societal challenges. Indicators: Possess the ability to create new knowledge in science and engineering, generate further value, and present solutions to societal challenges. Curriculum Policy Policy on Curriculum Organization The Mathematical Informatics Program organizes a systematic curriculum to acquire the four abilities listed in the diploma policy (policy on certification and degree awarding). Policy on Curriculum Implementation The curriculum is implemented to enable students to learn actively and autonomously over two years of study. In addition to compulsory courses such as lectures, exercises, and special research, elective courses are offered and conducted in various methods and forms such as lectures, exercises, experiments, and practical training. Evaluation is based on objective grading criteria for the achievement of learning outcomes in each ability. Learning Content, Learning Methods, and Evaluation Methods of Learning Outcomes Fundamental Abilities Learning Content: To acquire rich knowledge and the ability to view issues from multiple perspectives, students learn subjects in academic fields other than their specialized fields. They also acquire English proficiency, which is the basis for understanding and disseminating international information. Learning Methods: Students take common subjects offered by the Graduate School of Science and Engineering and common subjects offered by the entire university. Evaluation Methods of Learning Outcomes: Evaluated through exams, reports, and presentations in each class. Specialized Knowledge Learning Content: Students acquire specialized knowledge in the fields of mathematics and informatics and prepare a master’s thesis. Learning Methods: Students take specialized subjects in the Mathematical Informatics Program and prepare a master’s thesis based on the knowledge and research abilities they have acquired. Evaluation Methods of Learning Outcomes: Evaluated through the master’s thesis examination based on separately defined evaluation criteria. Ethics Learning Content: To acquire a normative awareness of research ethics, students acquire knowledge of information security and researcher ethics. Learning Methods: Students take common subjects offered by the Graduate School of Science and Engineering that contribute to the cultivation of ethics. Evaluation Methods of Learning Outcomes: Evaluated through exams, reports, and presentations in each class. Creativity Learning Content: Students acquire creativity and problem-solving skills by engaging in specialized research, presentations, and discussions. Learning Methods: Students engage in special research and write a master’s thesis. Evaluation Methods of Learning Outcomes: Evaluated through final exams and presentations. Admission Policy Policy on Accepting Students The Mathematical Informatics Program seeks individuals who have the qualities to become highly specialized professionals and researchers in mathematical informatics who can lead technological innovation from the perspective of mathematics and informatics and contribute to the improvement of the happiness of local people. Curriculum Model Curriculum Model Research Theme: Data Science and Artificial Intelligence Related Fields Specific profile of the desired human resources: Highly skilled science and engineering professionals who can plan products and services utilizing data science, and develop software and systems equipped with artificial intelligence. Graduate School Common Subjects Interdisciplinary Common Subjects Program Specialized Subjects Specialized Subjects Research Guidance 1st Year 1T Research Ethics 1 Science, Technology, and Sustainable Society 1 English Paper Writing I 1 Introduction to Social Implementation of Natural Science (Mathematics/Information Engineering) 1 Advanced Data Analysis 1 Advanced Artificial Intelligence I 1 Advanced Analysis A1 1 Special Research in Mathematical Informatics 10 2T English Paper Writing II 1 Advanced Experimental Safety I 1 Introduction to Social Implementation of Natural Science (Physics/Applied Physics) 1 Logical Thinking 1 Exercises in Mathematical Informatics 1 1 Advanced Artificial Intelligence II 1 Advanced Analysis A2 1 3T Exercises in Mathematical Informatics 2 1 Introduction to Neuroinformatics 1 4T Exercises in Mathematical Informatics 3 1 Advanced Medical Ultrasound Engineering 1 2nd Year 1T Advanced Geometry B1 1 2T Advanced Geometry B2 1 3T 4T Total Credits 4 4 12 10 22 Total Credits: 30 Research Theme: Cryptography Theory Based on Mathematical Informatics Specific profile of the desired human resources: Science and engineering researchers who can contribute to the construction of cryptographic theories that dramatically improve the security of next-generation network communications, and middle and high school teachers who pass on the mathematical theories that form the basis of cryptographic technology to the next generation. Graduate School Common Subjects Interdisciplinary Common Subjects Program Specialized Subjects Specialized Subjects Research Guidance 1st Year 1T Research Ethics 1 Science, Technology, and Sustainable Society 1 English Paper Writing I 1 Introduction to Social Implementation of Natural Science (Mathematics/Information Engineering) 1 Advanced Information Statistical Mechanics 1 Advanced Mathematics A1 1 Special Research in Mathematical Informatics 10 2T English Paper Writing II 1 Advanced Experimental Safety I 1 Introduction to Social Implementation of Natural Science (Physics/Applied Physics) 1 Logical Thinking 1 Exercises in Mathematical Informatics 1 1 Advanced Mathematics A2 1 3T Exercises in Mathematical Informatics 2 1 Advanced Algebra B1 1 4T Exercises in Mathematical Informatics 3 1 Advanced Algebra B2 1 2nd Year 1T 2T Advanced Quantum Information Processing 1 3T Advanced Communication Systems 1 Advanced Algebra A1 1 4T Advanced Algebra A2 1 Total Credits 4 4 12 10 22 Total Credits: 30 Career Information Licenses, Qualifications, and Examination Eligibility Advanced Teaching License for Junior High School (Mathematics) Advanced Teaching License for High School (Mathematics) Career Paths After Graduation Highly skilled information technology professionals in the IT industry, leaders in digital transformation (DX) across various industries, researchers in mathematical informatics, and other highly skilled science and engineering professionals who support the foundation of Society 5.0, as well as mathematics teachers in junior high and high schools. Faculty List Research Area Faculty Name Research Theme Link Mathematical Analysis Professor Masato Kikuchi Researching martingale theory in rearrangement-invariant spaces, such as Lorentz spaces. Researcher Profile (Pure) Mathematical Analysis Professor Takashi Koda Researching geometry on manifolds, especially homogeneous spaces. Researcher Profile (Pure) Mathematical Analysis Professor Setsuo Nagai Researching the field of submanifold theory, which investigates how surfaces are embedded in space using calculus. Researcher Profile (Pure) Mathematical Analysis Professor Keiko Fujita Researching analytic functional analysis, integral formulas of analytic functions, and their applications. Researcher Profile (Pure) Mathematical Analysis Associate Professor Tatsuya Kawabe Researching discontinuous group actions on manifolds and the geometry of their quotient spaces. Researcher Profile (Pure) Mathematical Analysis Associate Professor Iwao Kimura Researching Iwasawa theory of algebraic number fields, arithmetic of algebraic function fields over finite fields, and computational number theory. Researcher Profile (Pure) Mathematical Analysis Assistant Professor Yuki Shimizu Researcher Profile (Pure) Mathematical Analysis Assistant Professor Naoki Genra Researcher Profile (Pure) Mathematical Science of Information Professor Keiichi Ueda Investigating the mechanisms and dynamics of various self-organizing phenomena observed in nature. Researcher Profile (Pure) Mathematical Science of Information Professor Hiroyuki Yamane Researching super Lie algebras and quantum groups while developing the theory of Coxeter semigroups. Researcher Profile (Pure) Mathematical Science of Information Specially Appointed Professor Katsuhiko Sato Researcher Profile (Pure) Mathematical Science of Information Associate Professor Masakazu Akiyama Aiming to conduct interdisciplinary research that bridges biology, medicine, neuroscience, and materials science through mathematics. Researcher Profile (Pure) Mathematical Science of Information Associate Professor Hideo Deguchi Conducting research on partial differential equations using Colombo’s theory of generalized functions. Researcher Profile (Pure) Mathematical Science of Information Specially Appointed Lecturer Tomoki Uda Researcher Profile (Pure) Mathematical Science of Information Assistant Professor Ken Furukawa Researcher Profile (Pure) Computer Software System Professor Shigeki Hirobayashi Conducting research on signal representation methods, high-resolution frequency analysis, creation of virtual acoustic spaces, musical instrument analysis, next-generation encoding technologies for audio, images, and video, and time series forecasting focusing on periodicity in economic data. Researcher Profile (Pure) Computer Software System Associate Professor Tadanobu Misawa Engaged in education and research on the theory and application of artificial intelligence, including elucidation of cognitive functions through brain function measurement, complex systems (such as multi-agent systems), and machine learning. Researcher Profile (Pure) Computer Software System Assistant Professor Masaya Hasegawa Researcher Profile (Pure) Medical Information Sensing Professor Hideyuki Hasegawa Engaged in education and research on the theory and application of ultrasonic field control technologies for non-invasive imaging of biological tissues, and measurement methods and signal/image processing techniques for evaluating biological structures and functions using high temporal resolution ultrasound imaging. Researcher Profile (Pure) Medical Information Sensing Associate Professor Ryo Nagaoka Engaged in education and research on non-invasive imaging and evaluation of biological structures and functions using ultrasound. Researcher Profile (Pure) Medical Information Sensing Assistant Professor Zihang Zhang Researcher Profile (Pure) Biological Information Processing Professor Toshihide Tabata Engaged in education and research on the mechanisms of cognition, learning, and memory in human and animal nervous systems, utilizing electrophysiology, fluorescence imaging, electrochemistry, genetics, behavioral science, and bioinformatics, with the aim of gaining insights into the development of more human-like artificial intelligence. Researcher Profile (Pure) Biological Information Processing Associate Professor Mamoru Takamatsu Engaged in research and education on visual information processing and affective engineering, modeling the information processing mechanisms of human vision and the brain. In particular, focusing on improving drivers’ visual environments to prevent traffic accidents and enhance safety, and revitalizing urban spaces through illuminated lighting. Researcher Profile (Pure) Cosmic Science Informatics Professor Toshihiro Kawaguchi Engaged in education and research on the processing and analysis of multidimensional and time-series data observed and measured in fields such as astronomy, as well as theoretical computations using mathematical science methods. Research subjects include black holes and galaxies. Researcher Profile (Pure) Cosmic Science Informatics Junior Associate Professor Takuma Watanabe Researcher Profile (Pure) Artificial Intelligence Professor Shangce Gao Engaged in education and research on the development, analysis, and evaluation of a wide range of machine learning techniques, including artificial neural networks inspired by the human brain, deep learning where AI learns autonomously, swarm intelligence optimization such as ant colony systems, backpropagation, genetic algorithms, and evolutionary strategies. Researcher Profile (Pure) Artificial Intelligence Associate Professor Masaaki Omura Researcher Profile (Pure) Artificial Intelligence Assistant Professor Zhenyu Lei Researcher Profile (Pure) Quantum Information Professor Kiyoshi Tamaki Engaged in education and research on quantum information processing enabled by the principles of quantum mechanics. In particular, focusing on theoretical studies necessary for realizing quantum communication technologies such as quantum key distribution and quantum repeaters. Researcher Profile (Pure) Quantum Information Junior Associate Professor Akihiro Mizutani Researcher Profile (Pure) Quantum Control Theory Specially Appointed Professor Koji Maruyama Aiming to establish quantum control theory for realizing new technologies that utilize quantum mechanical effects, such as quantum computers and quantum devices. Engaged in theoretical research and education on quantum technologies, including mathematical approaches to controlling many-body quantum systems. Researcher Profile (Pure) Computational Biophotonics Professor Takashi Katagiri Engaged in education and research aimed at establishing fundamental principles and academic frameworks for next-generation biomedical optical measurement and diagnostic technologies, through the integration of photonic quantum science, laser spectroscopy, optical communication technologies, and information science. Researcher Profile (Pure) Computational Biophotonics Assistant Professor Takuya Koyama Researcher Profile (Pure) Computer Vision Specially Appointed Professor Chao Zhang Engaged in research and education to realize the function of human vision through machines (cameras), enabling recognition, tracking, and inspection of components. A “machine eye” that never tires can perform tasks continuously, replacing human visual capabilities. Researcher Profile (Pure) Clinical optical information engineering Specially Appointed Professor Yusuke Oshima Aiming for real-world implementation by applying cutting-edge laser and microscopy technologies, photodynamic therapy, image processing, and AI techniques to life sciences and medicine. Engaged in systematic study and research on the interaction between light and biological tissues, in collaboration with engineers, biologists, and clinicians. Researcher Profile (Pure) Human- Computer Interaction Professor Takayuki Nozawa Engaged in research on methods to understand, evaluate, and support healthy human cognition and social interaction by utilizing multimodal measurements of brain, psychology, behavior, and physiology, combined with data science and artificial intelligence techniques. Researcher Profile (Pure) Human- Computer Interaction Associate Professor Shigeyuki Ikeda Researcher Profile (Pure)
