Member

Steering Committee

Steering Chair
Shin-ichi Minato (Kyoto University)
Steering Members
  • Takeaki Uno (National Institute of Informatics) / A01 Principal Investigator
  • Norihito Yasuda (NTT Communication Science Laboratories) / A02 Principal Investigator
  • Takashi Horiyama (Hokkaido University) / B01 Principal Investigator
  • Ken-ichi Kawarabayashi (National Institute of Informatics) / B02 Principal Investigator
  • Shigeru Yamashita (Ritsumeikan University) / B03 Principal Investigator
  • Kazuhisa Makino (Kyoto University) / B04 Principal Investigator
  • Ryuhei Uehara (Japan Advanced Institute of Science and Technology) / B01 Principal-Assistant Investigator
  • Eiji Takimoto (Kyushu University) / B04 Co-Investigator
  • Suguru Tamaki (University of Hyogo) / Project Leader-Assistant, B04 Co-Investigator
Assistant Members
  • Masakazu Ishihata (NTT Communication Science Laboratories) / A01 Principal-Assistant Investigator
  • Masaaki Nichino (NTT Communication Science Laboratories) / A02 Principal-Assistant Investigator
  • Shuichi Hirahara (National Institute of Informatics) / B02 Principal-Assistant Investigator
  • Harumichi Nishimura (Nagoya University) / B03 Principal-Assistant Investigator
  • Hirotaka Ono (Nagoya University) / B04 Principal-Assistant Investigator
  • Akitoshi Kawamura (Kyoto University) / B04 Principal-Assistant Investigator
Advisory Board Members
  • Hiroshi Imai (The University of Tokyo)
  • Yasuo Okabe (Kyoto University)
  • Miwako Doi (National Institute of Information and Communications Technology)
  • Takeshi Tokuyama (Kwansei Gakuin University)
  • Hiroshi Maruyama (Preferred Networks, Inc.)
  • Osamu Watanabe (Tokyo Institute of Technology)

Category A

A01 New Problem Formulation on Next Generation Informatics and Researches on their Algorithms

Principal Investigator
Takeaki Uno (National Institute of Informatics)
Co-Investigators
  • Masakazu Ishihata (NTT Communication Science Laboratories) / A01 Principal-Assistant
  • Tetsuji Kuboyama (Gakushuin University)
  • Ichigaku Takigawa (Riken AIP / Hokkaido University)
  • Akihiro Yamamoto (Kyoto University)
  • Kumiyo Nakakoji (Future University Hakodate)
Research Collaborators
  • Masaaki Nichino (NTT Communication Science Laboratories) / A02 member
  • Hiroki Arimura (Hokkaido University) / A02 member
  • Takeru Inoue (NTT Network Innovation Laboratories) / A02 member
  • Takashi Horiyama (Hokkaido University) / B01 member
  • Shin-ichi Minato (Kyoto University) / B01 member
  • Ryuhei Uehara (Japan Advanced Institute of Science and Technology) / B01 member
  • Uno Yushi (Osaka Prefecture University) / B01 member
  • Yasuko Matsui (Tokai University) / B01 member
  • Ken-ichi Kawarabayashi (National Institute of Informatics) / B02 member
  • Satoru Iwata (The University of Tokyo) / B02 member
  • Takuro Fukunaga (Chuo University) / B02 member
  • Yuichi Yoshida (National Institute of Informatics) / B02 member
  • Kazuhisa Makino (Kyoto University) / B04 member
  • Suguru Tamaki (University of Hyogo) / B04 member
  • Eiji Takimoto (Kyushu University) / B04 member
  • Tetsuo Shibuya (University of Tokyo) / B04 member

A02 Socially-Oriented Algorithm Implementation

Principal Investigator
Norihito Yasuda (NTT Communication Science Laboratories)
Co-Investigators
  • Masaaki Nichino (NTT Communication Science Laboratories) / A02 Principal-Assistant
  • Hiroki Arimura (Hokkaido University)
  • Hidetomo Nabeshima (University of Yamanashi)
  • Takeru Inoue (NTT Network Innovation Laboratories)
Research Collaborators
  • Tetsuji Kuboyama (Gakushuin University) / A01 member
  • Kumiyo Nakakoji (Future University Hakodate) / A01 member
  • Takashi Horiyama (Hokkaido University) / B01 member
  • Shin-ichi Minato (Kyoto University) / B01 member
  • Mutsunori Banbara (Nagoya University) / B01 member
  • Uno Yushi (Osaka Prefecture University) / B01 member
  • Ryuhei Mori (Tokyo Institute of Technology) / B03 member
  • Akitoshi Kawamura (Kyoto University) / B04 member

Category B

B01 Algorithmic Foundations Based on Large-Scale Discrete Structures

Principal Investigator
Takashi Horiyama (Hokkaido University)
Co-Investigators
  • Shin-ichi Minato (Kyoto University)
  • Ryuhei Uehara (Japan Advanced Institute of Science and Technology) / B01 Principal-Assistant
  • Mutsunori Banbara (Nagoya University)
  • Uno Yushi (Osaka Prefecture University)
  • Masayuki Takeda (Kyushu University)
  • Yasuko Matsui (Tokai University)
Publicly Offered Research Investigators
  • Shuhei Denzumi (The University of Tokyo)
  • Koeppl Dominik (Tokyo Medical and Dental University)
  • Toshiki Saito (Kyushu Institute of Technology)
Research Collaborators
  • Takeaki Uno (National Institute of Informatics) / A01 member
  • Masakazu Ishihata (NTT Communication Science Laboratories) / A01 member
  • Norihito Yasuda (NTT Communication Science Laboratories) / A02 member
  • Hidetomo Nabeshima (University of Yamanashi) / A02 member
  • Shigeru Yamashita (Ritsumeikan University) / B03 member
  • Harumichi Nishimura (Nagoya University) / B03 member
  • Seiichiro Tani (NTT Communication Science Laboratories) / B03 member
  • Suguru Tamaki (University of Hyogo) / B04 member
  • Kunihiko Sadakane (University of Tokyo) / B04 member
  • Eiji Takimoto (Kyushu University) / B04 member
  • Hirotaka Ono (Nagoya University) / B04 member

B02 New Computational Models for Algorithms and Discrete Optimization

Principal Investigator
Ken-ichi Kawarabayashi (National Institute of Informatics)
Co-Investigators
  • Shuichi Hirahara (National Institute of Informatics) / B02 Principal-Assistant
  • Satoru Iwata (The University of Tokyo)
  • Takuro Fukunaga (Chuo University)
  • Yuichi Yoshida (National Institute of Informatics)
  • David Avis (Kyoto University)
Publicly Offered Research Investigators
  • Vorapong Suppakitpaisarn (The University of Tokyo)
  • Shin-ichi Tanigawa (The University of Tokyo)
  • Gregory Schwartzman (Japan Advanced Institute of Science and Technology)
  • Taisuke Izumi (Osaka University)
Research Collaborators
  • Hidetomo Nabeshima (University of Yamanashi) / A02 member
  • Shin-ichi Minato (Kyoto University) / B01 member
  • Naoki Yamamoto (Keio University) / B03 member
  • Ryuhei Mori (Tokyo Institute of Technology) / B03 member
  • Francois Le Gall (Nagoya University) / B03 member
  • Eiji Takimoto (Kyushu University) / B04 member

B03 Creation of Innovative Foundations to Bridge Theory and Practice of Quantum Algorithms

Principal Investigator
Shigeru Yamashita (Ritsumeikan University)
Co-Investigators
  • Harumichi Nishimura (Nagoya University) / B03 Principal-Assistant
  • Naoki Yamamoto (Keio University)
  • Seiichiro Tani (NTT Communication Science Laboratories)
  • Ryuhei Mori (Tokyo Institute of Technology)
  • Francois Le Gall (Nagoya University)
Research Collaborators
  • Akihiro Yamamoto (Kyoto University) / A01 member
  • Kumiyo Nakakoji (Future University Hakodate) / A01 member
  • Shin-ichi Minato (Kyoto University) / B01 member
  • Kunihiko Sadakane (University of Tokyo) / B04 member
  • Hirotaka Ono (Nagoya University) / B04 member
  • Akitoshi Kawamura (Kyoto University) / B04 member

B04 Exploration and Development of the Basic Theory of Algorithms

Principal Investigator
Kazuhisa Makino (Kyoto University)
Co-Investigators
  • Suguru Tamaki (University of Hyogo)
  • Kunihiko Sadakane (University of Tokyo)
  • Eiji Takimoto (Kyushu University)
  • Hirotaka Ono (Nagoya University) / B04 Principal-Assistant
  • Akitoshi Kawamura (Kyoto University) / B04 Principal-Assistant
  • Tetsuo Shibuya (University of Tokyo)
Publicly Offered Research Investigators
  • Kazuhisa Seto (Hokkaido University)
  • Jun Ohkubo (Saitama University)
  • Akiyoshi Shioura (Tokyo Institute of Technology)
  • Tesshu Hanaka (Nagoya University)
  • Kazuhiro Kurita (National Institute of Informatics)
Research Collaborators
  • Ichigaku Takigawa (Riken AIP / Hokkaido University) / A01 member
  • Shin-ichi Minato (Kyoto University) / B01 member
  • Masayuki Takeda (Kyushu University) / B01 member
  • Yasuko Matsui (Tokai University) / B01 member
  • Shuichi Hirahara (National Institute of Informatics) / B02 member
  • David Avis (Kyoto University) / B02 member
  • Harumichi Nishimura (Nagoya University) / B03 member
  • Seiichiro Tani (NTT Communication Science Laboratories) / B03 member

Open call for participants, etc.

The application guidelines were released on January 26, 2021 (Ministry of Education, Culture, Sports, Science and Technology website). The application deadline is March 31, 2021 (Wednesday) 16:30 (strict adherence), and the acceptance / rejection notification is expected in late August. The research period for the first open call for participants is approximately one year and seven months until the end of 2022, the maximum application amount is 2 million yen per year, and the number of applications scheduled to be adopted is about 17.

Outline of open call for participants

In this research area, we will further activate a group of young and mid-career influential researchers who are interested in algorithm technology and theoretical computer science, and promote research activities that will produce results that will be the source of social change in the future. want to be. Based on the knowledge of theories and techniques that the applicant has personal strengths as a specialized field, we are soliciting research proposals that contribute to the activities of this research area as shown in the following research items.

Category A

Research items A01:
Discuss new problems that will open up the future in the field of informatics, and design algorithms with a new approach.
Research items A02:
Research and development to implement the results of theoretical computer science in a form that can be widely used in society.

Category B

Research items B01:
While understanding each other’s minds, theoretical and implementation researchers confront large-scale discrete structures exponentially and use them to design algorithms such as enumeration, enumeration, graphs, string processing, and SAT. To study.
Research items B02:
Conducts basic research in the fields of discrete mathematics, algorithms, and optimization, analysis in the field of machine learning (mainly online optimization and deep learning), and research on the development of high-speed and scalable algorithms for huge graphs and huge data.
Research items B03:
We aim to create an innovative foundation that connects the theory and implementation of quantum algorithms. The goal is to combine the research knowledge of theory of computation with the research knowledge of actually using quantum computers to build a theoretical foundation for effective calculations while also utilizing classical computers.
Research items B04:
We aim to further pursue and develop the basic theory of algorithms. Specific examples include algorithm performance guarantee and accuracy guarantee, fairness, stability, and equilibrium analysis, discrete and continuous fusion, calculation models based on new values, and computational complexity analysis methods. Conducts a wide range of research related to theoretical computer science without limitation.

In addition to the open-call research belonging to any of the above research items, it is expected that at least one research item will be set as a sub-affiliation within the area and active cross-disciplinary research activities will be carried out. ing.