Foundations of Informatics

速水 謙

numerical computation,
numerical linear algebra,
systems of linear equations,
least squares problems,
iterative solvers

HAYAMI Ken(Professor)

Foundations of Informatics

numerical computation,
numerical linear algebra,
systems of linear equations,
least squares problems,
iterative solvers

Teaching and research supervision on the theory and application of numerical computation. Emphasis is on the mathematical analysis of numerical algorithms and the development of new algorithms. The main area of interest is numerical linear algebra (iterative solution of linear systems, least squares problems, inverse problems, ill-posed problems, etc.).

岩田 陽一

Discrete Algorithms
Parameterized Complexity
Heuristics

IWATA Yoichi(Assistant Professor)

Foundations of Informatics

Discrete Algorithms
Parameterized Complexity
Heuristics

Education and research supervision on exact algorithms for NP-hard problems from both theoretical and practical viewpoint. In particular, by using tools from theoretical fields including graph theory and parameterized complexity, we aim to develop efficient algorithms exploiting nice structures appeared in real-world instances and to provide theoretical analysis to practically efficient methods.

金沢 誠

formal grammar,
proof theory

KANAZAWA Makoto(Associate Professor)

Foundations of Informatics

formal grammar,
proof theory

My field of specialization is the mathematics of language (mathematical linguistics), including related topics in theoretical linguistics (especially semantics) and mathematical logic. A student who wishes to work with me can choose an area of his or her interest within this range. The topic I am currently focusing on is Abstract Categorial Grammar, a grammar formalism based on the typed lambda calculus which unifies and generalizes diverse types of grammar that have been proposed for the description of natural language.

河原林 健一

Discrete Math,
Graph Theory,
Algorithm,
heoretical Computer Science

KAWARABAYASHI Ken’ichi(Professor)

Foundations of Informatics

Discrete Math,
Graph Theory,
Algorithm,
heoretical Computer Science

Education and research supervision on Discrete Math with special emphasis on Structural Graph Theory and Graph Minor Theory. We also consider their algorithmic applications. Most likely, the following topics will be covered.
1. Perfect graphs and its applications.
2. The Four Color Theorem and its generalization.
3. Structural Graph Theory.
4. Disjoint paths problem and Network
5. Matching theory and its applications
6. Graph Minor Theory and its applications.

岸田 昌子

Control theory
Optimization
Uncertain systems
Networked systems

KISHIDA Masako(Associate Professor)

Foundations of Informatics

Control theory
Optimization
Uncertain systems
Networked systems

Students are welcome who are interested in the broad area of control theory and its related areas in applied mathematics such as optimization and linear algebra. My research aims at developing theories and algorithms for systems that are not well-addressed by existing methods. The focus is placed on the systems theory that takes uncertainties into account for the applications to complex systems and networked systems.

小林 亮太

Computational neuroscience,
Data mining,
Statistical sciences

KOBAYASHI Ryota(Assistant Professor)

Foundations of Informatics

Computational neuroscience,
Data mining,
Statistical sciences

We are developing a method to identify (hidden) rules from the data and analyzing experimental data to understand information processing in the brain. Specifically, we are developing a statistical method to estimate the input signals and ion channel state from a membrane voltage trace and studying computational mechanism in single neurons.

松本 啓史

quantum information,
quanutum computation,
statistics,
information theory,
entanglement

MATSUMOTO Keiji(Associate Professor)

Foundations of Informatics

quantum information,
quanutum computation,
statistics,
information theory,
entanglement

It is well-known that quantum mechanical view of the world is quite conter-intuitive.
Indeed, it contradicts with many basic concepts which information sciences are based on. Therefore, it is necessary to built new information sciences to be consistent with quantum mechanics, which is fundamental law of the nature. Recently, it has been found out that quantum information processing has wide range of application to technologically important problems, such as integer factoring, secure communication and so on. In this lecture, starting from basic concepts, we review the recent developments of the field. The audiences of the lecuture are expected to be familiar with elementary linear algebra, probability, and information theory, but no background in quantum mechanics.

根本 香絵

Quantum information and computation,
Quantum optics,
Theoretical physics

NEMOTO Kae(Professor)

Foundations of Informatics

Quantum information and computation,
Quantum optics,
Theoretical physics

Kae Nemoto is interested in supervising students in topics related to quantum computation, quantum communication and quantum metrology.
Her main research interests and efforts are currently focused around
– Development of scalable quantum information devices.
– Architecture and system design for quantum computer and quantum communication.
– Application of quantum information devices and quantum information systems.
– Modeling of quantum and complex systems.
A number of projects are available for these topics.

龍田 真

programming logic,
lambda calculus,
type theory,
constructive logic

TATSUTA Makoto(Professor)

Foundations of Informatics

programming logic,
lambda calculus,
type theory,
constructive logic

Foundational theory of computer science related to mathematical logic, and mathematical logic for computer science are studied.
1. Type theory (higher order type theory, type inference, Curry-Howard isomorphism, inductive types)
2. Constructive logic (constructive set theory, inductive definitions, realizability interpretations, linear logic)
3. Theory of programs (program verification, program synthesis, program transformation, lambda-calculus)

宇野 毅明

algorithms,
computation,
optimization,
data mining,
data engineering

UNO Takeaki(Professor)

Foundations of Informatics

algorithms,
computation,
optimization,
data mining,
data engineering

The main topic of the seminar is theoretical fundamentals of discrete algorithms. The sub topics are time and space complexities, extension to general problems of discrete algorithms, especially, fundamental algorithms appearing in optimization algorithms. Studies on efficient applications for practical systems are also researched. The goal is to have knowledge and techniques of general algorithms, not for minor area, and to be able to pertinently research whatever algorithmic problems.

横井 裕

Algorithms
Mechanism design
Discrete convex analysis

YOKOI Yu(Assistant Professor)

Foundations of Informatics

Algorithms
Mechanism design
Discrete convex analysis

Education and research supervision on discrete mathematics, algorithms, and their applications to mechanism design. In particular, we investigate problems in game-theoretic settings, such as the stable matching model. We design algorithms and analyze discrete structures using techniques of combinatorial optimization.

吉田 悠一

Algorithms, Theoretical
Computer Science,
(Combinatorial)
Optimizations

YOSHIDA Yuichi(Associate Professor)

Foundations of Informatics

Algorithms, Theoretical
Computer Science,
(Combinatorial)
Optimizations

Education and research supervision on theoretically and/or practically efficient algorithms. In particular, our research focus includes (but not limited to) theory and applications of “sublinear algorithms” such as property testing, streaming algorithms, compressed sensing, and theoretical analysis and the development of efficient algorithms, with the theory lens, of optimization problems that arise in practical areas such as machine learning.

Information Infrastructure Science

阿部 俊二

Information Networks,
Network Performance Analysis,
QoS Control

ABE Shunji(Associate Professor)

Information Infrastructure Science

Information Networks,
Network Performance Analysis,
QoS Control

Aims are as follows:
1. understanding network systems (switching system, application server system, etc.) and their functions to realize advanced network services;
2. developing ability to create a new functionally advanced network system.
From experimental research and development based on traffic analysis for network design and QoS control methods in a high-speed Internet, a study subject is chosen. Methods to resolve the subject and a dissertation are directed.

合田 憲人

parallel computing,
grid computing,
scheduling

AIDA Kento(Professor)

Information Infrastructure Science

parallel computing,
grid computing,
scheduling

The Aida Laboratory is a research group devoted to the study of parallel and distributed computing systems. Our goal is to develop fundamental/practical technologies to effectively utilize IT resources in parallel and distributed computing platforms, including clusters, grids and a clouds.

福田 健介

Internet protocol,
traffic measurement,
analysis and modeling,
scale-free network,
small-world network

FUKUDA Kensuke(Associate Professor)

Information Infrastructure Science

Internet protocol,
traffic measurement,
analysis and modeling,
scale-free network,
small-world network

The research area includes an efficient Internet architecture based on the statistical aspect of temporal and spatial dynamics appeared in the Internet.
1. The research area includes an efficient Internet architecture based on the statistical aspect of temporal and spatial dynamics appeared in the Internet.
2. Statistical properties of Internet topology and efficiency of information flows on the network
3. A novel Internet architecture based on statistical properties of the Internet.

五島 正裕

Computer Architecture
Microarchitecture
Digital Circuitn

GOSHIMA Masahiro(Professor)

Information Infrastructure Science

Computer Architecture
Microarchitecture
Digital Circuitn

Continuous speeding-up of computers provides the basis for developmentof the information society. In order to extend this speeding-up of computers to the future, we have to solve various problems. The research theme of this laboratory is computer architecture. The research area includes architecture of computing systems with a focus on processor architecture, and digital circuit as the basis of computer architecture

計 宇生

network architecture,
quality of service,
traffic control,
communication protocol,
resource management,
performance evaluation

JI Yusheng(Professor)

Information Infrastructure Science

network architecture,
quality of service,
traffic control,
communication protocol,
resource management,
performance evaluation

Education and research supervision on theory, principle and methodology of communication systems. Research topics can be the problems of design, modeling, and evaluation of the control disciplines, protocols, and management schemes related to a diversity of network and switching architectures, transmission media, and service requirements. Through specific doctoral research projects, such as network traffic analysis and control, resource management in high-speed optical networks, quality of service provisioning in the next generation wireless communication, etc., students are expected to obtain the insight understanding of communication systems and the ability of problem solving.

金子 めぐみ

wireless communications
radio resource allocation
cellular systems
Cloud Radio Access Networks (CRAN)
Machine-to- Machine (M2M)/ Internet of Things (IoT)

KANEKO Megumi(Associate Professor)

Information Infrastructure Science

wireless communications
radio resource allocation
cellular systems
Cloud Radio Access Networks (CRAN)
Machine-to- Machine (M2M)/ Internet of Things (IoT)

With the rapidly increasing number of mobile users and data traffic, current mobile communication systems will soon be unable to support the exponentially growing amount of wireless data. One of the main challenges of next generation wireless communication systems will be to satisfy increasingly diverse and stringent Quality of Service (QoS) requirements. We address (but not limited to) the following research issues: radio resource allocation and interference coordination for Cloud Radio Access Networks (CRAN), protocol design for jointly guaranteeing high system throughput and user fairness, spectral/energy-efficient wireless access for M2M/IoT systems.

鯉渕 道紘

Parallel computers,
interconnection networks,
Network-on-Chip,
System Area Networks
high-performance computing

KOIBUCHI Michihiro(Associate Professor)

Information Infrastructure Science

Parallel computers,
interconnection networks,
Network-on-Chip,
System Area Networks
high-performance computing

The research areas include parallel and distributed computer systems, such as system-on-a-chip (SoC), on-chip multiprocessors, PC clusters, or super computers. Since these systems are characterized by interconnection networks that connect computation logic and memory, I have recently focused on their network architecture including topology, routing, switching technique, and router architecture.

栗本 崇

Network protocol
Network node architecture

KURIMOTO Takashi(Associate Professor)

Information Infrastructure Science

Network protocol
Network node architecture

To realize an advanced and sophisticated information network, it is required to develop the various kinds of evolved network technology and network architecture. My research activity is focused on the network protocol, network node architecture and network node implementation technology ensuring the next generation network. Also, I work on research for the virtual network technique to create a new network service flexibly.

高倉 弘喜

Cyber Security
High Performance Network
Secure Networking
Data Mining

TAKAKURA Hiroki(Professor)

Information Infrastructure Science

Cyber Security
High Performance Network
Secure Networking
Data Mining

Our research focuses on various types of countermeasures to deal with cyber attacks that cause serious international and social issues. Especially,
– Attack prevention
– Early detection and containment
– Network management
are studied to protect our important information and systems, to minimize the damage of a cyber attack and to support business continuity and swift recovery. Also we develop methods to realize secure environment for critical infrastructure and IoT (Internet of Things).

竹房 あつ子

parallel and distributed computing
resource management technologies
Cloud computing
Inter-cloud

TAKEFUSA Atsuko(Associate Professor)

Information Infrastructure Science

parallel and distributed computing
resource management technologies
Cloud computing
Inter-cloud

Our research group studies technologies for next-generation parallel and distributed computing infrastructure over a Cloud or multiple Clouds interconnecting via high bandwidth and high quality networks. The research area includes resource management technologies for computers, networks and storage in a Cloud, and federation technologies of multiple Cloud resources including the networks between Clouds.

漆谷 重雄

Network Architecture,
Network Service Systems

URUSHIDANI Shigeo(Professor)

Information Infrastructure Science

Network Architecture,
Network Service Systems

The education and research supervision on advanced networking technologies and network systems technologies for a variety of telecommunication network services. The research area includes the network architecture, advanced networking protocols, high-end system architecture, large-scale switching fabric architecture, and quality-of-service control architecture for high-speed, high-quality, highly-reliable and multi-functional telecommunication networks.

米田 友洋

Formal verification,
asynchronous systems
real-time systems,
dependable systems,
CAD tool development

YONEDA Tomohiro(Professor)

Information Infrastructure Science

Formal verification,
asynchronous systems
real-time systems,
dependable systems,
CAD tool development

Theory and approach for designing reliable and dependable hardware and/or software are studied. Topics of interests include formal verification of real-time hardware/software, high-level synthesis of timed asynchronous circuits, and formal analysis of hybrid systems. The aim of our research is not theoretical consideration, but to implement CAD tools based on the algorithms developed.

Software Science

橋爪 宏達

human interface,
man-machine interface,
digital signal processing

HASHIZUME Hiromichi(Professor)

Software Science

human interface,
man-machine interface,
digital signal processing

In the graduate school research I will introduce historical human-interface devices and the historic background of computation systems to extract the main concept of man-machine interface which should be invariant
of time. Then I will instruct the designs of future interface devices, the technology which gives the shapes to the devices especially algorithms of digital signal processing.

蓮尾 一郎

logic
automaton
category theory
formal methods
cyber-physical system
optimization
machine learning

HASUO Ichiro(Associate Professor)

Software Science

logic
automaton
category theory
formal methods
cyber-physical system
optimization
machine learning

Formal methods refer to a body of mathematical techniques that aim at supporting quality assurance in software development. With their theoretical core lying in logic and automata theory, formal methods have been attracting a lot of research efforts, with some significant successes in software industry. My specific research style in this field comprises: pursuing essences of formal methods techniques via mathematical abstraction; using the abstract theory thus obtained to achieve general techniques that apply to a variety of systems; and actually applying those techniques to cyber-physical systems, a field of industrial significance. My research supervision will be on this abstract and mathematical approach to formal methods. Specific topics include: generalization of automata theory in the language of category theory (coalgebras, more specifically); verification algorithms for probabilistic and other quantitative systems; verification and analysis of continuous dynamics using real algebraic geometry; and collaboration of formal methods and optimization/learning algorithms.

胡 振江

Programming Languages,
Functional Programming,
Parallel Computation,
Software Engineering

HU Zhenjiang(Professor)

Software Science

Programming Languages,
Functional Programming,
Parallel Computation,
Software Engineering

Education and research supervision on discipline of programming, programming languages, and software engineering. Current research topics include:
1. Programming Languages: functional programming, program transformation, program optimization;
2. Parallel Computation: high-level parallel programming model, MapReduce, automatic parallelization;
3. Software Engineering: dependable software construction, model-driven software development;
4. Bidirectional Transformation: bidirectional transformation languages, bidirectional model transformation, data synchronization based on bidirectional transformation.

加藤 弘之

XML,
databases,
functional programming,
XQuery

KATO Hiroyuki(Assistant Professor)

Software Science

XML,
databases,
functional programming,
XQuery

For XML which has emerged as a standard format for data exchange on the Web, the following topics are studied.
1. From a functional programming point of view, program composition or program transformation on XQuery which is a functional query language standardized by the W3C.
2. From a data engineering point of view, XML application techniques such as Topic Map or RDF are studied.

北本 朝展

Image Information Processing,
Pattern Recognition
Database,
Earth Environment Information,
Digital Archive

KITAMOTO Asanobu(Associate Professor)

Software Science

Image Information Processing,
Pattern Recognition
Database,
Earth Environment Information,
Digital Archive

The main topics of the laboratory are advanced processing and analysis of image information, the recognition and semantic analysis of imagery and other media, the mining of meaningful information from large-scale real-world databases, the construction of the cyber infrastructure for earth environment information such as satellite imagery, and a proposal on the new framework for the study of culture using information technology. The focus of the research is both in the proposal of a good theory and in the application of a theory to the society.

中島 震

Formal Methods,
Formal Specification and Verification,
Modeling

NAKAJIMA Shin(Professor)

Software Science

Formal Methods,
Formal Specification and Verification,
Modeling

Software Engineering placing focus on achieving the required reliability levels of open systems that have strong coupling with their externals. Education and research supervision on modeling, formal methods, and automated verification techniques as well as their applications to embedded systems or Web services.

坂本 一憲

Software testing.
Software development environments and methodologies.
Computer programming education.

SAKAMOTO Kazunori(Assistant Professor)

Software Science

Software testing.
Software development environments and methodologies.
Computer programming education.

To achieve high quality software development, we study 1)software testing, 2)development environments and methodologies, and 3)computer programming education.
Specifically, our research topics are
1. measuring quality of software tests, automated test code generation,
2. improving software reusability, programming languages to apply refactoring,repository mining,
3. supporting beginners to learn programming using gamification techniques.

佐藤 一郎

Cloud computing,
Ubiquitous computing,
Middleware,
OS,
Distributed computing

SATOH Ichiro(Professor)

Software Science

Cloud computing,
Ubiquitous computing,
Middleware,
OS,
Distributed computing

This course trains advanced issues on distributed/ubiquitous computing systems. Next-generation distributed/ubiquitous computing systems, e.g., cloud computing and ambient computing, need new software technologies, in OS, middleware, and programming languages. The course discusses such technologies with their theoretical foundations and implementations.

高須 淳宏

Data Engineering,
Data Analysis and Machine Learning,
Text Pattern Analysis

TAKASU Atsuhiro(Professor)

Software Science

Data Engineering,
Data Analysis and Machine Learning,
Text Pattern Analysis

Our research group studies text mining algorithms for large scale database. First, we are interested in extracting latent structure from large amount of text data and developing statistical models like latent Dirichlet allocation (LDA). We apply the models to text stream analysis where we extract topical trends in text stream. We also apply the technique to data integration. Latent structure helps us to know the similarity and identity of the data that seems differently.
Second, we are studying efficient algorithm for tree matching. Tree structure is very useful and it is used for representing various data such as semi-structured text and computational biology. We are interested in developing an indexing method for matching trees in large tree databases. Recently, we begin the study of stream data mining from sensor streams and log data.

鄭 顕志

Sensor Network
Software Architecture
Middleware

TEI Kenji(Associate Professor)

Software Science

Sensor Network
Software Architecture
Middleware

Education and reserarch supervision on issues of physical world-oriented software systems. For example, we focus on middleware, modeling, and development process for sensor and actuator network, which has capabilities to monitor and affect physical world.

対馬 かなえ

Programming languages
Types
Type Inference
Type debugging.

TSUSHIMA Kanae(Assistant Professor)

Software Science

Programming languages
Types
Type Inference
Type debugging.

Types are important in programming languages, because they ensure well-typed program never go wrong. This lecture will introduce type theory, some implementation of type inference, type debugging systems.

吉岡 信和

multi-agent systems,
mobile agents,
security patterns

YOSHIOKA Nobukazu(Associate Professor)

Software Science

multi-agent systems,
mobile agents,
security patterns

Students will be instructed and supervised in flexible or secure distributedsystems architecture or development methods. In addition, formal verification of such systems will be investigated as well. Particularly, a next-generation distributed systems on pervasive networks will be targeted.

Multimedia Information Science

相原 健郎

Human-Computer Interaction,
User-Centered Design

AIHARA Kenro(Associate Professor)

Multimedia Information Science

Human-Computer Interaction,
User-Centered Design

The objective of this course is to provide the student with a general understanding of User Modeling and how it can be used. One of our main focuses will be on the acquiring of fundamental theoretical knowledge. Besides, the course will give course participants to discuss. The course will cover many topics, some in more depth than others:
– What is users?
– Models of users
– User-centered design
– Evaluation of usability

安東 遼一

Computer Graphics
Physics Simulation
Computational Fluid Dynamics (CFD)

ANDO Ryoichi(Assistant Professor)

Multimedia Information Science

Computer Graphics
Physics Simulation
Computational Fluid Dynamics (CFD)

The purpose of visual simulation is to reproduce the beautiful physics phenomena by means of computer simulation. This lecture aims to understand both mathematical and numerical backgrounds for simulating fluids for computer graphics. First, we start with the discretization of the Navier-Stokes equation, which describes the motion of a fluid, using Finite-Volume Method and an iterative linear system solver for computing pressure. Next, we continue to a variational discretization of the equation, accurate time integration, second-order accurate boundary embedding, and the corresponding matrix operations. Lastly, we learn about the level-set method and particle-based surface-trackers to track the deforming free-surfaces of a liquid. Through the lecture, we get the deeper insight of the fundamental techniques to solve partial-differential equations, which help solve a large variety of engineering problems.

新井 紀子

knowledge sharing,
distance learning

ARAI Noriko(Professor)

Multimedia Information Science

knowledge sharing,
distance learning

Survey of various ideas of distance education and their systems, including Computer Assisted Instruction (CAI), Computer Supported Collaborative Learning and Working (CSCL, CSCW)

CHEUNG Gene

Video compression
Media streaming & transport
Immersive communication

CHEUNG Gene(Associate Professor)

Multimedia Information Science

Video compression
Media streaming & transport
Immersive communication

As the volume of media content on the Internet continues to grow exponentially, video compression, transmission and interaction remains important research themes in constructing efficient networked media systems. Relevant research topics include:
1. Single-view / Multi-view video compression and streaming over heterogeneous networks
2. Video delivery system leveraging peer cooperation and diversity
3. Compression & representation for networked navigation of large media data set

越前 功

Content security,
Information security,
Information hiding

ECHIZEN Isao(Professor)

Multimedia Information Science

Content security,
Information security,
Information hiding

Our goal is to establish content security technologies and systems for fair use of digital content. We have developed and continue to develop fundamental content security technologies, such as information hiding and content anonymization, content security systems that provide copyright protection, information leakage protection, and authenticity assurance, and other security measures.

後藤田 洋伸

3D modeling,
rendering,
animation

GOTODA Hironobu(Associate Professor)

Multimedia Information Science

3D modeling,
rendering,
animation

One of the principal missions of computer graphics is to provide a systematic way to represent and visualize various types of objects including abstract, mathematical formulas as well as concrete, real-world shapes. For example, recent achievements in computer graphics have been applied to mixed reality systems, where Real-world objects and synthetic ones will coexist and interact with each other. On the other hand, new modeling schemes such as image-based rendering or non-photorealistic rendering have been developed. Ph.D. candidates interested in graphical modeling and representation, not necessarily limited to the topics above, are invited to join our research group to enhance their knowledge about, and experiences in visual Information processing through theoretical analysis, prototyping, and system development.

池畑 諭

computer vision
3D reconstruction
multi-view stereo
photometric stereo
deep learning

IKEHATA Satoshi(Assistant Professor)

Multimedia Information Science

computer vision
3D reconstruction
multi-view stereo
photometric stereo
deep learning

Students will be educated and supervised in the field of the computer vision and the image processing. The main research topic is the 3D reconstruction from the image(s) and the sensor information. The potential applications of 3D reconstruction range from the robotics, 3D mapping, VR/AR, autonomous driving and more. We will especially focus on the algorithms of the 3D reconstruction building on the machine learning techniques which may help to add rich contextual information to the 3D geometry or choose a reconstruction algorithm that is suitable for the specific task and object.

片山 紀生

multimedia information processing,
multimedia information retrieval

KATAYAMA Norio(Associate Professor)

Multimedia Information Science

multimedia information processing,
multimedia information retrieval

My research interest is the information processing methods for multimedia, e.g., multimedia information retrieval. By the advancement of computer technologies, the scale of multimedia information processing is increasing rapidly. This invokes the need for the sophisticated processing methods that are efficient and scalable. My research investigates such methods from the viewpoint of algorithms, data structures, software systems, etc.

児玉 和也

Image Sensing,
Image Restoration/
Reconstruction,
Image/Video Coding,
Visual Communications

KODAMA Kazuya(Associate Professor)

Multimedia Information Science

Image Sensing,
Image Restoration/
Reconstruction,
Image/Video Coding,
Visual Communications

This course will cover topics related to visual communication systems which are based on integration of image processing and sensors/cameras. Particular emphases will be laid on:
1. image enhancement by merging multiple visual sources
2. image/video transformation/coding by statistical signal processing
3. application to visual communication systems

孟 洋

Pattern recognition,
Video content analysis

MO Hiroshi(Assistant Professor)

Multimedia Information Science

Pattern recognition,
Video content analysis

Education and research supervision on multi-media information processing focusing on the following topics.
1. Basic theory of feature extraction and pattern recognition on image/video
2. Content analysis for image/video retrieval
3. Application system based on image/video processing

小野 順貴

acoustic signal processing,
music signal processing,
array signal processing,
pattern recognition

ONO Nobutaka(Associate Professor)

Multimedia Information Science

acoustic signal processing,
music signal processing,
array signal processing,
pattern recognition

This course will cover topics related to signal processing, pattern recognition, and machine learning for acoustic and music signals. Specific topics can be as follows.
1. Sound source separation, sound source localization, noise reduction, de-reverberation using microphone array
2. Analysis, separation, modification, coding of music and acoustic signals based on time-frequency representation
3. Probabilistic modeling and recognition of speech and music

佐藤 いまり

Image-based Modeling and Rendering,
Computational Photography

SATO Imari(Professor)

Multimedia Information Science

Image-based Modeling and Rendering,
Computational Photography

Students are encouraged to explore the latest topics in image-based modeling and rendering and computational photography ( convertion technologies for computer graphics, computer vision, and photography).

杉本 晃宏

Computer Vision,
Human-Computer Interaction

SUGIMOTO Akihiro(Professor)

Multimedia Information Science

Computer Vision,
Human-Computer Interaction

In the coming ubiquitous computing environment, the computer itself has to autonomously understand human situation, intention or activities, and then provide us with useful information at the teachable moment. To establish such technology based on visual information, we concern not only fundamental theories but also developing application systems. A wide varieties of topics will be covered in my supervision.

高山 健志

Computer graphics
Shape modeling
Geometry processing
Animation

TAKAYAMA Kenshi(Assistant Professor)

Multimedia Information Science

Computer graphics
Shape modeling
Geometry processing
Animation

Visual content creation with computer graphics is today still a very laborious task, demanding technical innovations in terms of both user-oriented intuitive interfaces and mathematically-sound efficient algorithms. In particular, our research focus includes (but not limited to): creation and editing of high-quality quadrilateral/hexahedral meshes, intuitive control of object deformations and animations, and geometric/appearance modeling of complex objects via advanced measurement techniques such as CT.

山岸 順一

Speech information processing
Statistical learning
Speech-based human machine interaction
Speech database
Speech assistive technology

YAMAGISHI Junichi(Associate Professor)

Multimedia Information Science

Speech information processing
Statistical learning
Speech-based human machine interaction
Speech database
Speech assistive technology

The main research theme of our group is the speech information processing. We supervise undergraduate, postgraduate, and PhD students as well as postdoctoral researchers on the speech information processing, especially speech recognition and speech synthesis using large-scale speech data. The speech information processing is the cross-disciplinary research field consisting of several fundamental research fields such as signal processing, natural language processing, statistical learning, and speech perception/production, and of applied research fields such as human-computer interaction and assistive technologies for the disabled. Examples of the state-of-the-art research topics are

1. statistical learning using large-scale voice data streams,
2. speech assistive technologies to improve the quality-of-life (QoL) of individuals with vocal or hearing disabilities, and
3. context-aware reactive and adaptive speech synthesis. We shall conduct such innovative speech research that contributes to both the society and the academic field in cooperation with the Centre for Speech Technology Research, University of Edinburgh, UK.

YU Yi

Social interactions
Geo-tagged multimedia data
Location-aware preference mining
Geographic popularity
Geo-social behaviors
Location recommendations
Multimedia content diffusion

YU Yi(Assistant Professor)

Multimedia Information Science

Social interactions
Geo-tagged multimedia data
Location-aware preference mining
Geographic popularity
Geo-social behaviors
Location recommendations
Multimedia content diffusion

Geographic-aware social multimedia data, relevant to various aspects of users’ daily life, is generated and aggregated over time on the Internet. Such data contains rich context of users and has two implications: individual user interest and geographic-social behaviors. Exploiting these multimedia landscapes helps mine personal preferences, geographic interests and social connections. In this course, we focus on 1) fundamental omponents related to geographic-aware social media, mobile users, social activities and multimedia content delivery and 2) location-enabled advanced topics and approaches related to personal preference mining, social knowledge learning, geographic distribution of social activities and multimedia content diffusion.

鄭 銀強

Geometric Computer Vision
3D Reconstruction
Photometric Computer Vision
Hyperspectral Imaging
Mathematical Optimization

ZHENG Yinqiang(Assistant Professor)

Multimedia Information Science

Geometric Computer Vision
3D Reconstruction
Photometric Computer Vision
Hyperspectral Imaging
Mathematical Optimization

Our research focus is on the geometric and photometric branches of computer vision. As for the geometric aspect, the major task is to reconstruct 3D scenes and locate cameras in large-scale scenarios. The photometric aspect aims to sense the illumination environment and optical properties of scene objects. We are interested in exploring physical models and developing appropriate mathematical optimization algorithms to solve various problems in these two branches.

Intelligent Systems Science

坊農 真弓

Sociolinguistics,
Conversational informatics,
Utterance,
Body movement,
Sign language,
Conversation analysis,
Social Interaction

BONO Mayumi(Associate Professor)

Intelligent Systems Science

Sociolinguistics,
Conversational informatics,
Utterance,
Body movement,
Sign language,
Conversation analysis,
Social Interaction

This course will cover the theoretical frameworks and methodologies to understand conversational organization in our daily lives. Within conversation, talk is constituted through the mutual interaction of speaker and hearer using various modalities such as
speech, gazing, body movement, and so on. My research interests mainly include the analysis of face-to-face conversation, human interaction, Japanese signed conversation, and the design of human-computer interaction.

市瀬 龍太郎

machine learning,
data mining,
semantic web

ICHISE Ryutaro(Associate Professor)

Intelligent Systems Science

machine learning,
data mining,
semantic web

Providing computers with the ability to learn is the goal
of our research. In this course, we will explore the artificial intelligence technologies that let computers learn. The topics include machine learning, data mining, and semantic web.

稲邑 哲也

Human-Robot Interaction,
Intelligent Robots,
Cognitive Development,
Probabilistic information processing

INAMURA Tetsunari(Associate Professor)

Intelligent Systems Science

Human-Robot Interaction,
Intelligent Robots,
Cognitive Development,
Probabilistic information processing

My interest is development of intelligent robots that support human in real-world environment. Especially, we aim to realize developmental intelligence with human-robot interaction subsystem and understanding of the mechanism human cognition. I provide education based on probabilistic information processing, machine learning, symbol emergence systems, imitation learning and so on.

井上 克巳

Inferene and Learning,
Abduction and Induction,
Logic Programming,
Constraint Programming,
Multi-Agent Systems,
Systems Biology,
Cellular Automata

INOUE Katsumi(Professor)

Intelligent Systems Science

Inferene and Learning,
Abduction and Induction,
Logic Programming,
Constraint Programming,
Multi-Agent Systems,
Systems Biology,
Cellular Automata

In this course, the principles of Artificial Intelligence are studied. Relevant topics include, but are not limited to, the following:
* logical foundations of intelligent systems
* knowledge representation
* inductive logic programming
* Boolean functions, propositional logic, SAT
* predicate logic, theorem proving, consequence finding
* logic programming, answer set programming
* belief revision, updates, abduction
* constraint programming, CSP
* distributed reasoning, distributed learning
* network inference, biological inference
* Boolean networks, cellular automata

宮尾 祐介

Natural Language Processing
Computational Linguistics

MIYAO Yusuke(Associate Professor)

Intelligent Systems Science

Natural Language Processing
Computational Linguistics

This course focuses on computational linguistics and natural language processing, which study theories and technologies to enable computers to process human languages such as Japanese and English. The research topics include theoretical frameworks for natural language such as syntactic/semantic theories and machine learning, fundamental technologies including syntactic/semantic parsing and knowledge acquisition, and natural language applications such as machine translation, information extraction, and intelligent search systems.

水野 貴之

Econophysics
Boom-Bubble phenomenon
Big data mining
Web mining
Statistical physics
Macroeconomics

MIZUNO Takayuki(Associate Professor)

Intelligent Systems Science

Econophysics
Boom-Bubble phenomenon
Big data mining
Web mining
Statistical physics
Macroeconomics

Econophysics is studied. We empirically analyze the big data for Boom-Bubble Phenomenon on the basis of economics and physics, and find the interaction between diverse economic agents generating the Boom-Bubble Phenomenon. We apply the research results to economic policy and management.
1. Boom of product and asset market that information causes.
2. Interaction between regions causing real estate boom.
3. Connection between firms causing industrial boom.
4. Alleviation of excessive competition in the boom period

大向 一輝

Semantic Web,
Social Network Analysis,
Knowledge Sharing

OHMUKAI Ikki(Associate Professor)

Intelligent Systems Science

Semantic Web,
Social Network Analysis,
Knowledge Sharing

My research interest is supporting communication in the web. We will discuss design and development of communication systems based on the semantic web technology and social network analysis.

PRENDINGER Helmut

Life-like characters,
Automatic content creation for virtual worlds and the 3D internet,
Emotion and sentiment recognition from text,
Multimodal interface

PRENDINGER Helmut(Professor)

Intelligent Systems Science

Life-like characters,
Automatic content creation for virtual worlds and the 3D internet,
Emotion and sentiment recognition from text,
Multimodal interface

The overall goal is to investigate techniques for the creation of more intuitive and effective human-computer interfaces, including methods from artificial intelligence, multi-modal behavior generation/recognition, multimedia presentation, and affective computing. The two main topics are:
1. Embodied interfaces that emulate aspects of human face-to-face communication by using animated interface agents, with applications in online product and information presentation, interactive computer-based
services, e-learning, and interactive entertainment.
2. Virtual worlds like “Second Life” and Open Simulator as platforms for simulation, experimentation, visualization, collaboration, interaction, and co-experience.

佐藤 健

Reasoning,
Knowledge Representation,
Multi-Agent Systems,
Machine Learning,
Computational Logic

SATOH Ken(Professor)

Intelligent Systems Science

Reasoning,
Knowledge Representation,
Multi-Agent Systems,
Machine Learning,
Computational Logic

We study theoretical foundations of artificial intelligence and applications based on such foundations. Specifically, we investigate theoretical foundations of the following reasoning mechanisms, their implementations and applications. The field includes:
1. Reasoning under incomplete information such as non monotonic reasoning: In this research, we focus on analyses of logical foundations of non monotonic reasoning such as circumscription and their efficient implementation.
2. Reasoning based on experiences such as case-based reasoning: In this research, we focus on relationship between case-based reasoning and machine learning theory and multi-media case-based reasoning.

杉山 麿人

Machine learning
Data mining
Statistics
Knowledge discovery
Bioinformatics

SUGIYAMA Mahito(Associate Professor)

Intelligent Systems Science

Machine learning
Data mining
Statistics
Knowledge discovery
Bioinformatics

We study data analysis methodologies such as data mining and statistics from theory to practice with focusing on the machine learning theory. In particular, our research focus includes scalable algorithms to extract valuable information from data and statistical theories that support reliability of the discovery. Moreover, we discuss how to use data analysis methods in scientific fields such as bioinformatics to achieve scientific discovery.

武田 英明

Semantic Web,
Knowledge Sharing,
Community-Support System,
Design Theory

TAKEDA Hideaki(Professor)

Intelligent Systems Science

Semantic Web,
Knowledge Sharing,
Community-Support System,
Design Theory

His primary research interests are in the areas of techniques for knowledge sharing systems that enable people collaborate to each other to develop their knowledge. His current research focuses on ontology engineering including theoretical foundation of ontology and its developing methodology, and community support methodologies that can support community activities to generate community knowledge.

山田 誠二

Human-Agent Interaction,
Human-Robot Interaction

YAMADA Seiji(Professor)

Intelligent Systems Science

Human-Agent Interaction,
Human-Robot Interaction

We will discuss the design of human-agent interaction. For preparation, we will survey on the design of intelligent agents, especially life-like agent and machine learning, action selection. If necessary, reading papers round a class will be done. The topics are in the following
– Design of intelligent agents
– Human-robot interaction
– Adaptation between humans
– Adaptation between a human and a robot
– Design of human-agent interaction

Information Environment Science

神門 典子

Information Retrieval,
Information Access Technologies,
Text Processing,
Evaluation Methodology and Metrics

KANDO Noriko(Professor)

Information Environment Science

Information Retrieval,
Information Access Technologies,
Text Processing,
Evaluation Methodology and Metrics

Principles and methods of information retrieval. An examination of the central concept in Information Retrieval, methods, consideration for the relationship to user’s context, retrieval purpose, task and need as well as characteristic of information objects.

西澤 正己

Scientmetrics,
Bibliometrics,
Research trends,
statistical analysis

NISHIZAWA Masaki(Associate Professor)

Information Environment Science

Scientmetrics,
Bibliometrics,
Research trends,
statistical analysis

This course focus on methodology and case analysis of the scientmetorics for measuring scientist’s research activity, research trends and development of science. We discuss technique to extract internal factor to explain the characteristics of the empirical distribution with comparing a mathematical model in natural science.

岡田 仁志

Electronic Commerce,
IT-enabled Services,
Electronic Money

OKADA Hitoshi(Associate Professor)

Information Environment Science

Electronic Commerce,
IT-enabled Services,
Electronic Money

We would like to think about how Electronic Commerce and Electronic Money affair on our Economic activity or Social Structure. In this course, we will see the recent business cases around the world, analyze the user activity using several statics methods. Then we shall achieve the research ability to find some institutional matters on Information Society and to give some policy proposals.

大山 敬三

data engineering,
information retrieval,
information systems,
web information processing,
information access technology,
text processing

OYAMA Keizo(Professor)

Information Environment Science

data engineering,
information retrieval,
information systems,
web information processing,
information access technology,
text processing

Investigate methods for efficiently accessing to rapidly expanding and diversifying information resources, in stages from elemental techniques to application systems, including: (1) application of text processing techniques such as information retrieval and text classification to Web page data and large scale databases; (2) organization among and unified access to various information systems and information services.

孫 媛

bibliometrics,
bibliometric data,
statistical methods

SUN Yuan(Associate Professor)

Information Environment Science

bibliometrics,
bibliometric data,
statistical methods

Bibliometrics has become a standard tool of science policy and research management in the last decades. In this course we introduce the fundamental techniques of bibliometrics, together with related statistical methods. Topics include citation analysis, co-authorship analysis, basic and advanced data-analytical methods.

A-E

F-J

K-O

P-T

U-Z