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 Nishino (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)
Postdoctoral Researcher
  • Takao Yuyama (Kyoto University) / B04 Postdoctoral Researcher
Administrative Assistant
  • Sachie Omae (Kyoto University)
  • Kazumi Sato (National Institute of Informatics)

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 (Center for Innovative Research and Education in Data Science, Institute for Liberal Arts and Sciences, Kyoto University)
  • Akihiro Yamamoto (Kyoto University)
  • Kumiyo Nakakoji (Future University Hakodate)
Project Associate Professor
  • Natsuhiro Ichinose (Kyoto University)(until March, 2023)
Postdoctoral Researchers
  • Yuka Takedomi (National Institute of Informatics)
  • Towa Suda (National Institute of Informatics)
  • Koki Suetsugu (National Institute of Informatics)
  • Tomoaki Abuku (National Institute of Informatics)
  • Susumu Hashimoto (National Institute of Informatics)
  • Giulia Punzi (National Institute of Informatics) PD
Research Assistants
  • Kazuki Maeyama (SOKENDAI, the Graduate University for Advanced Studies)
  • Siqi Peng (Kyoto University)
Administrative Assistant
  • Shizuko Kuwata (National Institute of Informatics)
Research Collaborators
  • Masaaki Nishino (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 Metropolitan 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 Nishino (NTT Communication Science Laboratories) / A02 Principal-Assistant
  • Hiroki Arimura (Hokkaido University)
  • Hidetomo Nabeshima (University of Yamanashi)
  • Takeru Inoue (NTT Network Innovation Laboratories)
  • Kazuki Yoshizoe (Kyushu University)
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 Metropolitan University) / B01 member
  • Ryuhei Mori (Nagoya University) / 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 Metropolitan University)
  • Yasuko Matsui (Tokai University)
Publicly Offered Research Investigators
      
First Term
      
  • Shuhei Denzumi (NTT Communication Science Laboratories)
  • Koeppl Dominik (Tokyo Medical and Dental University)
  • Toshiki Saito (Kyushu Institute of Technology)

Second Term
      
  • Shuhei Denzumi (NTT Communication Science Laboratories)
  • Takuya Mieno(The University of Electro-Communications)
  • Yuto Nakajima(Kyushu University)
Project Researchers
  • Duc A. Hoang (Kyoto University)(until February, 2023)
Administrative Assistant
  • Sachiko Soma (Hokkaido University)
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
First Term
  • 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)

Second Term
      
  • Vorapong Suppakitpaisarn (The University of Tokyo)
  • 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 (Nagoya University) / 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 (Nagoya University)
  • Francois Le Gall (Nagoya University)
Publicly Offered Research Investigators
2nd Term
  • Yuichiro Matsuzaki(Chuo University)
Project Researchers
  • Hideaki Kawaguchi (Keio University)
  • Rosmanis Ansis (Nagoya University)
Administrative Assistant
  • Shino Aizawa (Keio 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
First Term
  • Kazuhisa Seto (Hokkaido University)
  • Jun Ohkubo (Saitama University)
  • Akiyoshi Shioura (Tokyo Institute of Technology)
  • Tesshu Hanaka (Kyushu University)
  • Kazuhiro Kurita (Nagoya University)
 

Second Term
  • Tesshu Hanaka (Kyushu University)
Project Researchers
  • Niranka Banerjee (Kyoto University)
  •         
  • Takao Yuyama (Kyoto University) / Steering Committee Researcher
Research Collaborators
  • Ichigaku Takigawa (Riken AIP / Hokkaido University) / A01 member
  • Shin-ichi Minato (Kyoto 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.


Application Procedures for the second Publicly Offered Research weze released on August 1, 2022.
The deadline for applications is Wednesday, October 5, 2022 at 4:30 p.m. Notification of acceptance or rejection is expected in late February 2023.。
The research period is 2 years, until the end of FY2024, with a maximum application amount of 2 million yen per fiscal year and approximately 17 projects to be adopted.
Briefing sessions for Publicly Offered Research were held (September 5th and 7th)。


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.