研究組織・メンバー

領域代表者

総括班

事務局

班幹事

  • 浅野 哲夫 (北陸先端科学技術大学院大学)
  • 天野 一幸 (群馬大学)
  • 内沢 啓　 (山形大学)
  • 加藤 直樹 (関西学院大学)
  • 河内 亮周 (徳島大学)
  • 河村 彰星 (東京大学)
  • 来嶋 秀治 (九州大学)
  • 玉置 卓　 (京都大学)
  • 垂井 淳　 (電気通信大学)
  • 徳山 豪　 (東北大学)
  • 堀山 貴史 (埼玉大学)
  • 牧野 和久 (京都大学)
  • 渡辺 治　 (東京工業大学)

研究項目A

A01： 数理論理学からの計算限界解析

  • 牧野 和久 (京都大学)
  • 河村 彰星 (東京大学)
  • 垣村 尚徳 (東京大学)
  • 小林 佑輔 (東京大学)
  • 研究協力者： Rossman Benjamin (UC Berkeley)
  • 研究協力者： Stephen A. Cook (トロント大学)
  • 研究協力者： Martin Ziegler (韓国科学技術院（KAIST）)
  • 研究協力者： Endre Boros (ラトガース大学)
  • 研究協力者： Vladimir Gurvich (ラトガース大学)
  • 研究協力者： Vorapong Suppakitpaisarn (国立情報学研究所)
  • 研究協力者： Michael Lampis (Universite Paris Dauphine)
  • 研究協力者： Valia Mitsou (Hungarian Academy of Sciences)
  • 公募研究： 論理式の探索と自動合成による計算限界解析
    • Skip Jordan (北海道大学)
  • 公募研究： パラメータ化計算に関する未解決問題の調査と探求による計算複雑さ解明
    • 宇野 裕之 (大阪府立大学)

A02： 情報理論・符号理論からの計算限界研究

  • 河原林 健一 (国立情報学研究所)
  • 伊藤 大雄 (電気通信大学)
  • 脊戸 和寿 (成蹊大学)
  • 玉置 卓　 (京都大学)
  • 吉田 悠一 (国立情報学研究所)
  • 長尾 篤樹 (電気通信大学)
  • 公募研究： 符号理論における計算限界の解明
    • 安永 憲司 (金沢大学)

A03： 記憶領域制限シナリオにおける計算限界の解明

  • 浅野 哲夫 (北陸先端科学技術大学院大学)
  • 垂井 淳　 (電気通信大学)
  • 上原 隆平 (北陸先端科学技術大学院大学)
  • 小野 廣隆 (九州大学)
  • 清見 礼　 (横浜市立大学)
  • 大舘 陽太　(北陸先端科学技術大学院大学)
  • 研究協力者： Guenter Rote (ベルリン自由大学)
  • 研究協力者： Wolfgang Mulzer (ベルリン自由大学)
  • 研究協力者： Ovidiu Daescu (テキサス大学ダラス校)
  • 研究協力者： 小長谷 松雄 (北陸先端科学技術大学院大学)
  • 公募研究： 分散並列計算と逐次計算における計算限界導出技法の融合と深化
    • 泉 泰介 (名古屋工業大学)
  • 公募研究：Time-Space Trade-off algorithms for Sensor Networks
    • Korman Matias (国立情報学研究所)

研究項目B

B01： 最適化技法との融合による計算限界解析法の深化

  • 加藤 直樹 (関西学院大学)
  • 岩田 覚　 (東京大学)
  • 岡本 吉央 (電気通信大学)
  • 来嶋 秀治 (九州大学)
  • 神山 直之 (九州大学)
  • Rémy Belmonte (京都大学)
  • 公募研究： 非線形整数計画問題の組合せ構造解析による計算限界の解明
    • 塩浦 昭義 (東北大学)

B02： 大規模数理計画による計算限界解析法の展開

  • David Avis (京都大学 & マギル大学)
  • 天野 一幸 (群馬大学)
  • 連携研究者： 青野 良範 (情報通信研究機構)
  • 研究協力者： 福田 公明 (チューリッヒ工科大学)
  • 研究協力者： Antoine Deza (マックマスター大学)
  • 研究協力者： Oliver Friedmann (ミュンヘン大学)
  • 研究協力者： Samuel Fiorini (ブリュッセル自由大学)
  • 研究協力者： Hans Raj Tiwary (ブリュッセル自由大学)
  • 研究協力者： David Bremner (University of New Brunswick)
  • 研究協力者： 上野 賢哉 (京都大学)
  • 研究協力者: William J. Cook (Waterloo大学)

B03： 計算限界解析法から革新的データ構造化技術への展開

  • 徳山 豪　 (東北大学)
  • 宇野 毅明 (国立情報学研究所)
  • 渋谷 哲朗 (東京大学)
  • 堀山 貴史 (埼玉大学)
  • 連携研究者： 定兼 邦彦 (東京大学)
  • 連携研究者： 山中 克久 (岩手大学)
  • 公募研究： 解空間のパラメータ化解析による計算困難性と容易性の解明
    • 伊藤 健洋 (東北大学)

研究項目C

C01： 統計力学からの計算限界解明へのアプローチ

  • 渡辺 治　 (東京工業大学)
  • 伊東 利哉 (東京工業大学)
  • 小柴 健史 (埼玉大学)
  • 山本 真基 (成蹊大学)
  • 安藤 映 (崇城大学)
  • 森 立平 (東京工業大学)
  • Navid Talebanfard (東京工業大学)
  • 連携研究者： 樺島 祥介 (東京工業大学)
  • 連携研究者： 福島 孝治 (東京大学)
  • 研究協力者： Florent Krzakala (ESPCI パリ)
  • 研究協力者： Lenka Zdeborova (ロスアラモス国立研究所)
  • 研究協力者： Haijun Zhou (中国科学院)
  • 研究協力者： Amin Coja-Oghlan (ウォーリック大学)

C02： 量子力学からの計算限界解明へのアプローチ

  • 山下 茂　 (立命館大学)
  • 河内 亮周 (徳島大学)
  • 西村 治道 (名古屋大学)
  • Le Gall Francois (東京大学)
  • 中西 正樹 (山形大学)
  • 連携研究者： 小林 弘忠 (国立情報学研究所)
  • 連携研究者： 谷 誠一郎 (日本電信電話株式会社)
  • 連携研究者： 村尾 美緒 (東京大学)
  • 連携研究者： 根本 香絵 (国立情報学研究所)
  • 研究協力者： 伊藤 剛志 (NECラボラトリーズ アメリカ)
  • 公募研究： 計算量的仮定に基づくノンユニバーサル量子計算の研究－ＳＢＱＰと多項式階層
    • 森前 智行 (群馬大学)

C03： 学習理論からの計算限界解明へのアプローチ

  • 瀧本 英二 (九州大学)
  • 畑埜 晃平 (九州大学)
  • 正代 隆義 (九州大学)
  • 篠原 歩　 (東北大学)
  • 内沢 啓　 (山形大学)
  • 吉仲 亮　 (京都大学)
  • 研究協力者： 津田 宏治 (産業技術総合研究所)
  • 研究協力者： Cuturi Marco (京都大学)
ページの先頭へ