GRADUATE Program

Research field introductions

Foundations of Informatics

Developing mathematical theories underpinning all of informatics

Foundations of Informatics concerns theoretical underpinnings of informatics. In addition to their intrinsic importance, basic theories in informatics serve as foundations for all application areas, including networks, software, artificial intelligence, and information extraction. Special emphasis is placed on mathematical theories about computer programs, data structures and algorithms, numerical computation, natural language, quantum computation and communication, and biological data processing.

Research Introduction

nemoto.png
Quantum Information Science and Technology - Prof. NEMOTO, Kae

The last decade has seen that our understanding of the principles of quantum mechanics lead to the development of technologies underpinned by it. These quantum principles of superposition and entanglement can be used to process, store, and transport information in radically new and powerful ways. We can now coherently observe, explore and manipulate the quantum properties of many different physical systems. We have extended both our theoretical and experimental capabilities to understand and fabricate quantum systems well beyond the few qubits level. This is where novel features and new science & technologies possibilities are emerging. Our research focuses around quantum computation, quantum communication, quantum metrology and sensing, high precision measurements, programming quantum computers and quantum complex systems. While our approach is theoretical, we have a strong emphasis through collaboration on the realization of these new and emerging quantum information based technologies. There are thus natural opportunities to engage with experimental research collaboratively with our partners.

Keyword list
HAYAMI, Ken numerical computation, numerical linear algebra, systems of linear equations, least squares problems, iterative solvers
IWATA, Yoichi Discrete Algorithms, Parameterized Complexity, Heuristics
KANAZAWA, Makoto Formal Language Theory, Grammatical Inference, Mathematical Linguistics, Proof Theory, Nonclassical Logic, Natural Language Semantics
KWARABAYASHI, Ken'ichi Discrete Math, Graph Theory, Algorithm, heoretical Computer Science
KISHIDA, Masako Control theory, Optimization, Uncertain systems, Networked systems
KOBAYASHI, Ryota Computational neuroscience, Web mining, Time series analysis
MATSUMOTO, Keiji quantum information, quantum computation, statistics, information theory, entanglement
NEMOTO, Kae Quantum information and computation, Quantum optics, Theoretical physics
TATSUTA, Makoto programming logic, lambda calculus, type theory, constructive logic
UNO, Takeaki algorithms, computation, optimization, data mining, data engineering
YOKOI, Yu Algorithms, Mechanism design, Discrete convex analysis
YOSHIDA, Yuichi Algorithms, Theoretical, Computer Science, (Combinatorial)Optimizations

Information Infrastructure Science

Contributing to the construction and enhancement of information infrastructure through researches on computer system and communication network technologies

Computer systems and information-communication networks form the foundation of information systems. In Information Infrastructure Science field, lectures and research instructions are provided to address the theoretical and practical issues in the topics of computer architecture, parallel and distributed processing, high-performance and dependable computing, network architecture, protocol, security, resource management, and performance evaluation methodology.

Research Introduction

goshima.png
The past 10 years and the next 10 years - Prof. GOSHIMA, Masahiro

A processor is the heart of a computer system. However, some say no more speedup of the processors is needed. I heard such opinions 10 and 20 years ago. If so, can they live with computers of 10 or 20 years ago? A good programmer only writes programs that can neatly work on existing processors. From another aspect, precisely because the processor speedup has been promising, wide variety of new applications have been developed. This continuous speedup provides the basis for the information society. A speedup in clock frequency, which had been one of the major factors for the processor speedup, stopped more than 10 years ago. Even after that, the performance improvement of processors has been continued by architectural means. My laboratory tries to extend the performance improvement of processors to the next 10 or 20 years, not by reforming existing techniques, but by a fundamental reconsideration on processor architecture.

Keyword list
ABE, Shunji Information Networks, Network Performance Analysis, QoS Control
AIDA, Kento parallel and distributed computing, grid computing, cloud computing
FUKUDA, Kensuke Internet protocol, traffic measurement, analysis and modeling, scale-free network, small-world network
GOSHIMA, Masahiro Computer Architecture, Microarchitecture, Digital Circuitn
JI, Yusheng network architecture, quality of service, traffic control, communication protocol, resource management, performance evaluation
KANEKO, Megumi wireless communications, radio resource allocation, cellular systems, Cloud Radio Access Networks (CRAN), Machine-to- Machine (M2M)/ Internet of Things (IoT)
KOIBUCHI, Michihiro Parallel computers, interconnection networks, Network-on-Chip, System Area Networks, high-performance computing
KURIMOTO, Takashi Network protocol, Network node architecture
TAKAKURA, Hiroki Cyber Security, High Performance Network, Secure Networking, Data Mining
TAKEFUSA, Atsuko parallel and distributed computing, resource management technologies, Cloud computing, Inter-cloud
URUSHIDANI, Shigeo Network Architecture, Network Service Systems
YONEDA, Tomohiro Formal verification, asynchronous systems, real-time systems, dependable systems, CAD tool development

Software Science

Software: enabling technologies for IT

Software is the foundation of all industries and activities and generates their added value, whose key factor is having high quality and highly functional and reliable software. This field addresses the important academic issues of software science, which is indispensable for developing next generation information systems from basic research to application research and from fundamental software technologies such as programming languages, software engineering (especially program verification), and distributed systems to advanced software technologies such as data engineering (especially data mining) and signal processing.

Research Introduction

img_takasu.png
Big sensor data management and analysis - Prof. TAKASU, Atsuhiro

Nowadays many devices like smartphones are equipped with various kinds of sensors and big sensor data are gathered from them. By analyzing them, we can detect various events in real world. We study technology for managing and analyzing the big sensor data. We developed distributed spatio-temporal index for processing those big data, which speeds up sensor data retrieval by the order of magnitude. We also study latent models and peak detection algorithms for detecting anomalies in sensor streams. These techniques are applied to real world problems such as detecting incidents in large traffic network from GPS data from cars. We are tackling the problem of detecting the symptom of bridge faults from health monitoring sensors installed at bridges.

Keyword list
HASHIZUME, Hiromichi human interface, man-machine interface, digital signal processing
HASUO, Ichiro logic, automaton, category theory, formal methods, cyber-physical system, optimization, machine learning
HU, Zhenjiang Programming Languages, Functional Programming, Parallel Computation, Software Engineering
KATO, Hiroyuki XML, databases, functional programming, XQuery
KITAMOTO, Asanobu Image Information Processing, Pattern Recognition, Database, Earth Environment Information, Digital Archive
NAKAJIMA, Shin Formal Methods, Formal Specification and Verification, Modeling
SAKAMOTO, Kazunori Software testing, Software development environments and methodologies, Computer programming education
SATOH, Ichiro Cloud computing, Ubiquitous computing, Middleware, OS, Distributed computing
TAKASU, Atsuhiro Data Engineering, Data Analysis and Machine Learning, Text Pattern Analysis
TEI, Kenji Sensor Network, Software Architecture, Middleware
TSUSHIMA, Kanae Programming languages, Types, Type Inference, Type debugging.
YOSHIOKA, Nobukazu Security Software Engineering, Security Patterns, Privacy, Software Engineering

Multimedia Information Science

Tackles challenges of information systems behave as "media" that appropriately offers relevant information to people

This field studies a variety of different problems from "media": theories and technologies that are necessary for processing target information consisting of different media; theories and technologies as the foundation for efficiently handling large amounts of media information; basic technologies for media processing in general, such as pattern recognition and signal processing; and media utility for interactions between people and information systems or among people.

Research Introduction

img_aihara_en.png
Crowdsourced Mobile Sensing for Grasping the Current Physical Situation in Town - Prof. AIHARA, Kenro

Crowdsensing is one of smart city applications to collect sensor data reflecting personal-scale, or microscopic, roadside phenomena using crowdsourcing. To collect data, a driving recorder smartphone application that records not only sensor data but also videos from the driver's view is used. To extract specific roadside phenomena,
collected data are integrated and analyzed at the service platform. One example is estimating road surface conditions.

Keyword list
AIHARA, Kenro Human-Computer Interaction, User-Centered Design
ANDO, Ryoichi Computer Graphics, Physics Simulation, Computational Fluid Dynamics (CFD)
ARAI, Noriko knowledge sharing, distance learning
CHEUNG Gene Video compression, Media streaming & transport, Immersive communication
ECHIZEN, Isao Content security, Information security, Information hiding
GOTODA, Hironobu 3D modeling, rendering, animation
IKEHATA, Satoshi computer vision、3D reconstruction、multi-view stereo、photometric stereo、deep learning
KATAYAMA, Norio multimedia information processing, multimedia information retrieval
KODAMA, Kazuya Image Sensing, Image Restoration/Reconstruction, Image/Video Coding, Visual Communications
MO, Hiroshi Pattern recognition, Video content analysis
ONO, Nobutaka source separation, microphone array, acoustic scene analysis, acoustic signal processing
SATO, Imari Image-based Modeling and Rendering, Computational Photography
SUGIMOTO, Akihiro Computer Vision, Human-Computer Interaction
TAKAYAMA, Kenshi Computer graphics, Shape modeling, Geometry processing, Animation
YAMAGISHI, Junichi Speech information processing, Statistical learning, Speech-based human machine interaction, Speech database, Speech assistive technology
YU Yi Social interactions
Geo-tagged multimedia data, Location-aware preference mining, Geographic popularity, Geo-social behaviors, Location recommendations, Multimedia content diffusion
ZHENG, Yinqiang Geometric Computer Vision, 3D Reconstruction, Photometric Computer Vision, Hyperspectral Imaging, Mathematical Optimization

Intelligent Systems Science

AI technology enhancing human intelligent tasks

Artificial Intelligence (AI) is an emergent technology which enhances human intelligent tasks by intelligent computer systems. The intelligent systems science course offers studies on intelligent systems to give students a full understanding of various advanced research topics in the field and aims to foster human resources to create core technology on intelligent systems.

Research Introduction

takeda.png
Exploring social knowledge through Web - Prof. TAKEDA, Hideaki

Our society is deeply engaged with Web, i.e., various social activities are mostly done with Web and they have furthermore been changed by Web. Web Informatics is the area of research in which data on Web is analyzed and modeled as social behavior to create new mechanism and architecture for future Web. It includes social network analysis of social media data such as Twitter and knowledge extraction from Wikipedia as collective intelligence. For instance, we collect and analyze NicoNico Douga data to model how people create new movies as massively collaborative process. We are also building the knowledge graph by RDF from data in the Web. The knowledge graph is built by collecting and connecting various knowledge sources including DBpedia Japanese. It is expected to work as artificial social intelligence.

Keyword list
BONO, Mayumi Sociolinguistics, Conversational informatics, Utterance, Body movement, Sign language, Conversation analysis, Social Interaction
ICHISE, Ryutaro machine learning, data mining, semantic web
INAMURA, Tetsunari Human-Robot Interaction, Intelligent Robots, Cognitive Development, Probabilistic information processing
INOUE, Katsumi Artificial Intelligence, Knowledge Representation and Reasoning, Machine Learning, Logic Programming, Constraint Programming, Multi-Agent Systems
MIYAO, Yusuke Natural Language Processing, Computational Linguistics
MIZUNO, Takayuki Econophysics, Boom-Bubble phenomenon, Big data mining, Web mining, Statistical physics, Macroeconomics
OHMUKAI, Ikki Semantic Web, Social Network Analysis, Knowledge Sharing
PRENDINGER Helmut Life-like characters, Automatic content creation for virtual worlds and the 3D internet, Emotion and sentiment recognition from text, Multimodal interface
SATOH, Ken Reasoning, Knowledge Representation, Multi-Agent Systems, Machine Learning, Computational Logic
SUGIYAMA, Mahito Machine learning, Data mining, Statistics, Knowledge discovery, Bioinformatics
TAKEDA, Hideaki Semantic Web, Knowledge Sharing, Community-Support System, Design Theory
YAMADA, Seiji Human-Agent Interaction, Human-Robot Interaction

Information Environment Science

An indispensable academic system for achieving the information society

The information environment is a new concept for viewing the following as a whole: information, information-communication infrastructures, information management, circulation and retrieval systems, people, and social foundations. It has been regarded as an indispensable academic system for achieving the information society. This field sets digital documents and academic information environments as the core subjects and studies the basics to application.

Research Introduction

img_nishizawa.png
Relationship between press release and scientific publication - Prof. NISHIZAWA, Masaki

Scientometrics is the study of measuring and analyzing science, technology and innovation.
We are exploring the basic points of academic research from the relationship between excellent research and support / investment of funds. Recently, we analyze factors posted from the correlation between academic research press release and newspaper publication. Research on press releases related to top-tier Japanese universities has shown a generally increasing trend over time, and the number of organizations with active press release programs has grown rapidly in recent years. In addition, academic articles related to universities in newspapers have been increasing with increase in press releases. On the other hand, it turns out that the carrying rate in newspapers varies considerably depending on the journals and fields in which the original paper was published. We are conducting multidimensional factor analysis from academic journal impact factor, Altmetrics, and other measurable quantities.
Through these studies, we are trying to find effective investment methods and timing for research, factors of newspaper publication and effective methods of dissemination.

Keyword list
KANDO, Noriko Information Retrieval, Information Access Technologies, Text Processing, Evaluation Methodology and Metrics
NISHIZAWA, Masaki Scientmetrics, Bibliometrics, Research trends, Statistical Analysis
OKADA, Hitoshi Electronic Commerce, IT-enabled Services, Electronic Money
OYAMA, Keizo data engineering, information retrieval, information systems, web information processing, information access technology, text processing
SUN, Yuan bibliometrics, bibliometric data, statistical methods

SOKENDAI (The Graduate University for Advanced Studies)School of Multidisciplinary Sciences,Department of Informatics

国立大学法人 総合研究大学院大学 大学共同利用機関法人 情報・システム研究機構 国立情報学研究所 / National Institute of Informatics