AFSA Project: Home (in Japanese)

領域代表者

湊真一（京都大学）

総括班

研究代表者
- 湊真一（京都大学）
研究分担者
- 宇野毅明（国立情報学研究所） / A01班代表
- 安田宜仁（NTT CS基礎研） / A02班代表
- 堀山貴史（北海道大学） / B01班代表
- 河原林健一（国立情報学研究所） / B02班代表
- 山下茂（立命館大学） / B03班代表
- 牧野和久（京都大学） / B04班代表
- 上原隆平（北陸先端科学技術大学院大学） / B01班補佐
- 瀧本英二（九州大学） / B04班分担
- 玉置卓（兵庫県立大学） / 領域補佐　B04分担
研究協力者（計画班代表補佐）
- 石畠正和（NTT CS基礎研） / A01班補佐
- 西野正彬（NTT CS基礎研） / A02班補佐
- 平原秀一（国立情報学研究所） / B02班補佐
- 西村治道（名古屋大学） / B03班補佐
- 小野廣隆（名古屋大学） / B04班補佐
- 河村彰星（京都大学） / B04班補佐
総括班評価者（領域外部評価委員）
- 今井浩（東京大学）
- 岡部寿男（京都大学）
- 土井美和子（情報通信研究機構）
- 徳山豪（関西学院大学）
- 丸山宏（Preferred Networks）
- 渡辺治（東京工業大学）

[研究項目A]

A01: 新しい概念に基づいたアルゴリズム・最適化の問題創出とその効率的求解方法の研究

研究代表者
- 宇野毅明（国立情報学研究所）
研究分担者
- 石畠正和（NTT CS基礎研） / A01班補佐
- 久保山哲二（学習院大学）
- 瀧川一学（理研AIP/北海道大学）
- 山本章博（京都大学）
- 中小路久美代（はこだて未来大学）
研究協力者（副所属）
- 西野正彬（NTT CS基礎研） / A02班分担
- 有村博紀（北海道大学） / A02班分担
- 井上武（NTT 未来研）/ A02班分担
- 堀山貴史（北海道大学） / B01班代表
- 湊真一（京都大学） / B01班分担領域代表
- 上原隆平（北陸先端科学技術大学院大学） / B01班分担
- 宇野裕之（大阪府立大学）/ B01班分担
- 松井泰子（東海大学）/ B01班分担
- 河原林健一（国立情報学研究所） / B02班代表
- 岩田覚（東京大学）/ B02班分担
- 福永拓郎（中央大学）/ B02班分担
- 𠮷田悠一（国立情報学研究所）/ B02班分担
- 牧野和久（京都大学） / B04班代表
- 瀧本英二（九州大学） / B04班分担
- 玉置卓（兵庫県立大学） / B04分担
- 渋谷哲朗（東京大学）/ B04班分担

A02: 社会を志向した革新的アルゴリズムの実装

研究代表者
- 安田宜仁（NTT CS基礎研）
研究分担者
- 西野正彬（NTT CS基礎研） / A02班補佐
- 有村博紀（北海道大学）
- 鍋島英知（山梨大学）
- 井上武（NTT 未来研）
研究協力者（副所属）
- 久保山哲二（学習院大学）/ A01班分担
- 中小路久美代（はこだて未来大学）/ A01班分担
- 堀山貴史（北海道大学） / B01班代表
- 湊真一（京都大学） / B01班分担領域代表
- 番原睦則（名古屋大学）/ B01班分担
- 宇野裕之（大阪府立大学）/ B01班分担
- 森立平（東京工業大学）/ B03班分担
- 河村彰星（京都大学） / B04班分担

[研究項目B]

B01: 大規模離散構造の理解と革新的アルゴリズム基盤の創出

研究代表者
- 堀山貴史（北海道大学）
研究分担者
- 湊真一（京都大学）
- 上原隆平（北陸先端科学技術大学院大学） / B01班補佐
- 番原睦則（名古屋大学）
- 宇野裕之（大阪府立大学）
- 竹田正幸（九州大学）
- 松井泰子（東海大学）
公募研究
- 伝住周平（東京大学）
  「より高階の離散構造を扱うための近似を用いたデータ構造の研究」
- Koeppl Dominik（東京医科歯科大学）
  「Resource‑Constraint Privacy‑Aware Data Structures Tackling Problems in Bioinformatics」
- 斎藤寿樹（九州工業大学）
  「フロンティア法によるグラフ同型性における標準形列挙アルゴリズムの開発」
研究協力者（副所属）
- 宇野毅明（国立情報学研究所） / A01班代表
- 石畠正和（NTT CS基礎研） / A01班分担
- 安田宜仁（NTT CS基礎研） / A02班代表
- 鍋島英知（山梨大学）/ A02班分担
- 山下茂（立命館大学） / B03班代表
- 西村治道（名古屋大学） / B03班分担
- 谷誠一郎（NTT CS基礎研）/ B03班分担
- 瀧本英二（九州大学） / B04班分担
- 玉置卓（兵庫県立大学） / B04分担
- 定兼邦彦（東京大学）/ B04分担
- 小野廣隆（名古屋大学） / B04分担

B02: 新計算モデルにおけるアルゴリズム・最適化

研究代表者
- 河原林健一（国立情報学研究所）
研究分担者
- 平原秀一（国立情報学研究所） / B02班補佐
- 岩田覚（東京大学）
- 福永拓郎（中央大学）
- 𠮷田悠一（国立情報学研究所）
- エイビスデイビッド（京都大学）
公募研究
- スッパキットパイサンウォラポン（東京大学）
  「Precision Analysis of Frameworks for Publishing Graph Information under Differential Privacy」
- 谷川眞一（東京大学）
  「工学システム解析に現れるシンボリック行列に対する離散構造論の展開」
- シュワルツマングレゴリー（北陸先端科学技術大学院大学）
  「New frontiers in distributed property ...」
- 泉泰介（大阪大学）
  「分散計算における細粒度設計抽象化技法の創出とその応用」
研究協力者（副所属）
- 鍋島英知（山梨大学）/ A02班分担
- 湊真一（京都大学） / B01班分担領域代表
- 山本直樹（慶応大学）/ B03班分担
- 森立平（東京工業大学）/ B03班分担
- ルガルフランソワ（名古屋大学）/ B03班分担
- 瀧本英二（九州大学） / B04班分担

B03: 量子アルゴリズムの理論と実装を接続する革新的基盤の創出

研究代表者
- 山下茂（立命館大学）
研究分担者
- 西村治道（名古屋大学） / B03班補佐
- 山本直樹（慶応大学）
- 谷誠一郎（NTT CS基礎研）
- 森立平（東京工業大学）
- ルガルフランソワ（名古屋大学）
研究協力者（副所属）
- 山本章博（京都大学）/ A01班分担
- 中小路久美代（はこだて未来大学）/ A01班分担
- 湊真一（京都大学） / B01班分担領域代表
- 定兼邦彦（東京大学）/ B04分担
- 小野廣隆（名古屋大学） / B04分担
- 河村彰星（京都大学） / B04班分担

B04: アルゴリズム基礎理論の追究・発展

研究代表者
- 牧野和久（京都大学）
研究分担者
- 玉置卓（兵庫県立大学）
- 定兼邦彦（東京大学）
- 瀧本英二（九州大学）
- 小野廣隆（名古屋大学） / B04班補佐
- 河村彰星（京都大学） / B04班補佐
- 渋谷哲朗（東京大学）
公募研究
- 脊戸和寿（北海道大学）
  「強指数時間仮説に基づく計算限界の理解と探究」
- 大久保潤（埼玉大学）
  「双対過程に基づくサンプリング不要な統計量計算手法のアルゴリズム論的解析と効率化」
- 塩浦昭義（東京工業大学）
  「プロダクトミックスオークション実装のためのアルゴリズムの構築」
- 土中哲秀（名古屋大学）
  「効用関数付きグラフ最適化問題に対するアルゴリズムに関する研究」
- 栗田和宏（国立情報学研究所）
  「部分グラフ列挙問題で用いる多項式遅延列挙アルゴリズム設計技法の拡張に関する研究」
研究協力者（副所属）
- 瀧川一学（理研AIP/北海道大学）/ A01班分担
- 湊真一（京都大学） / B01班分担領域代表
- 竹田正幸（九州大学）/ B01班分担
- 松井泰子（東海大学）/ B01班分担
- 平原秀一（国立情報学研究所） / B02班分担
- エイビスデイビッド（京都大学）/ B02班分担
- 西村治道（名古屋大学） / B03班分担
- 谷誠一郎（NTT CS基礎研）/ B03班分担

公募研究について：

2021年9月10日に採択内定通知が送られました。本研究領域では12件（B01班3件、B02班4件、B04班5件）の公募研究が採択されました。研究組織の各研究項目の欄に研究者名を記載しました。
2021年1月26日に公募要領が公開されました（文科省サイト）。
応募期限は2021年3月31日（水）16:30（厳守）、採否通知は8月下旬の見込みです。
第1期公募の研究期間は2022年度末までの約1年7か月、応募上限額は単年度当たり200万円、採択予定件数は17件程度です。

公募の概要：
本研究領域では、アルゴリズム技術および理論計算機科学に興味を持つ若手・中堅の有力な研究者集団をより一層活性化し、その先の社会変革の源泉となる成果を生み出すような研究活動を促すことを目指している。公募申請者が専門分野として個人的に強みを持つ理論や技法の知見をベースとして、以下の研究項目に示すような本研究領域の活動に資する研究提案を募集する。
研究項目A01: 情報科学分野の未来を切り開く新しい問題群を議論し、新しいアプローチによるアルゴリズムを設計する。
研究項目A02: 理論計算機科学の成果を広く社会に利用可能な形として実装するための研究開発を行う。
研究項目B01: 理論および実装の研究者が互いのマインドを理解しながら、指数関数的に大規模な離散構造に立ち向かい、その構造を利用した列挙、数え上げ、グラフ、文字列処理、SATなどのアルゴリズムの設計技法を研究する。
研究項目B02: 離散数学・アルゴリズム・最適化分野の基礎的研究、および機械学習分野（おもにオンライン最適化、深層学習）の解析、巨大グラフ、巨大データの高速・スケーラブルアルゴリズムの開発に関する研究を行う。
研究項目B03: 量子アルゴリズムの理論と実装を接続する革新的基盤の創出を目指している。計算理論の研究知見と量子計算機を実際に利用する研究知見を融合して、古典計算機も活用しながら効果的な計算を行うための理論的基盤を構築することを目標としている。
研究項目B04: アルゴリズムにおける基礎理論をさらに追及し展開させることを目指す。具体例としては、アルゴリズムの性能保証や精度保証、公平性、安定性、均衡性の解析、離散と連続の融合、新しい価値観に基づく計算モデルや計算量解析方法などが挙げられるが、それらに限定せず幅広く理論計算機科学に関連する研究を行う。
なお、公募研究は上記のいずれかの研究項目に所属するが、それに加えて少なくとも１つの研究項目を副所属として領域内部で設定し、分野横断的な研究活動を積極的に行うことを期待している。