• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

多面的アプローチの統合による計算限界の解明

総括班

研究領域多面的アプローチの統合による計算限界の解明
研究課題/領域番号 24106001
研究種目

新学術領域研究(研究領域提案型)

配分区分補助金
審査区分 理工系
研究機関東京工業大学

研究代表者

渡辺 治  東京工業大学, 情報理工学院, 教授 (80158617)

連携研究者 浅野 孝夫  中央大学, 理工学部, 教授 (90124544)
茨木 俊秀  京都情報大学院大学, その他, 学長 (50026192)
今井 浩  東京大学, 情報理工学系研究科, 教授 (80183010)
戸田 誠之助  日本大学, 文理学部, 教授 (90172163)
丸岡 章  東北大学, その他, 名誉教授 (50005427)
湊 真一  北海道大学, 情報科学研究科, 教授 (10374612)
牧野 和久  京都大学, 数理解析研究所, 教授 (60294162)
河原林 健一  国立情報学研究所, 情報プリンシプル系, 教授 (40361159)
浅野 哲夫  北陸先端科学技術大学院大学, その他, 学長 (90113133)
加藤 直樹  関西学院大学, 理工学部, 教授 (40145826)
エイビス デビッド  京都大学, 情報学研究科, 研究員 (90584110)
徳山 豪  東北大学, 情報科学研究科, 教授 (40312631)
山下 茂  立命館大学, 情報理工学部, 教授 (30362833)
瀧本 英二  九州大学, システム情報学研究院, 教授 (50236395)
堀山 貴史  埼玉大学, 理工学研究科, 准教授 (60314530)
森 立平  東京工業大学, 情報理工学院, 助教 (60732857)
研究期間 (年度) 2012-06-28 – 2017-03-31
研究課題ステータス 完了 (2016年度)
配分額 *注記
134,030千円 (直接経費: 103,100千円、間接経費: 30,930千円)
2016年度: 28,210千円 (直接経費: 21,700千円、間接経費: 6,510千円)
2015年度: 27,690千円 (直接経費: 21,300千円、間接経費: 6,390千円)
2014年度: 27,820千円 (直接経費: 21,400千円、間接経費: 6,420千円)
2013年度: 27,690千円 (直接経費: 21,300千円、間接経費: 6,390千円)
2012年度: 22,620千円 (直接経費: 17,400千円、間接経費: 5,220千円)
キーワード計算限界解明 / 研究連携促進 / 研究拠点形成 / 若手研究者の育成 / 成果の総括 / 成果の波及 / 計算複雑さの理論 / アルゴリズム理論 / 計算量上下界解析 / 成果の総括と公表 / 計算限界解明手法の開拓 / 多視点からの連携研究 / 国際研究者交流 / 各種啓発・研究成果波及 / 若手研究者育成 / 多視点からの統合的解析 / 計算限界研究センター / 計算理論若手研究者育成 / ELC 秋学校 / ELC Seminar / ELC Workshop
研究成果の概要

本課題の目的は,計算限界の解明を目指す新学術領域研究の総括班活動である。本領域では,革新的な計算の活用の鍵となる計算の理解の深化のため,計算限界に関する研究を数理科学の多様な観点から行うことを目指した。多様な観点からの研究が力を発揮するには,領域の研究者ならびに世界の研究者との研究連携が必須である。本総括課題では,その研究連携を促進させるため,研究者招聘と活用,研究ワークショップの開催などを実施した。若手育成のために,秋学校や学生勉強会などを実施した。また,国際会議の主催,専門家へのセミナーなど,本領域の成果の公表や波及のための事業を行った。

報告書

(6件)
  • 2016 実績報告書   研究成果報告書 ( PDF )
  • 2015 実績報告書
  • 2014 実績報告書
  • 2013 実績報告書
  • 2012 実績報告書
  • 研究成果

    (70件)

すべて 2017 2016 2015 2014 2013 2012 その他

すべて 雑誌論文 (15件) (うち査読あり 4件、 謝辞記載あり 2件) 学会発表 (26件) (うち国際学会 2件、 招待講演 13件) 図書 (5件) 備考 (2件) 学会・シンポジウム開催 (22件)

  • [雑誌論文] 解説:スーパーコンピューティングコンテスト 20162017

    • 著者名/発表者名
      渡辺治
    • 雑誌名

      数学セミナー

      巻: 1月号

    • 関連する報告書
      2016 実績報告書
  • [雑誌論文] アルゴリズム研究から2017

    • 著者名/発表者名
      茨木俊秀
    • 雑誌名

      情報処理(チューリング賞50周年によせて)

      巻: Vol.58, No. 5 ページ: 358-359

    • 関連する報告書
      2016 実績報告書
  • [雑誌論文] 符号理論(情報理論特集)2016

    • 著者名/発表者名
      森立平
    • 雑誌名

      数学セミナー

      巻: 8月号

    • 関連する報告書
      2016 実績報告書
  • [雑誌論文] Optimal online algorithms for the multi-objective time series search problem2016

    • 著者名/発表者名
      S. Hasegawa and T. Itoh
    • 雑誌名

      Proc. of the 10th International Workshop on Algorithms and Computation (WALCOM'16)

      巻: LNCS 9627 ページ: 301-312

    • DOI

      10.1007/978-3-662-49192-8_2

    • ISBN
      9783662491911, 9783662491928
    • 関連する報告書
      2015 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] On the limit of some algorithmic approach to circuit lower bounds2014

    • 著者名/発表者名
      Osamu Watanabe
    • 雑誌名

      Computing with New Resources

      巻: LNCS8808 ページ: 394-405

    • DOI

      10.1007/978-3-319-13350-8_29

    • ISBN
      9783319133492, 9783319133508
    • 関連する報告書
      2014 実績報告書
    • 謝辞記載あり
  • [雑誌論文] ~ふしぎの国のスウガク使い~「離散数学がおもしろくて役に立つ!」2014

    • 著者名/発表者名
      内村直之(協力:河原林健一 )
    • 雑誌名

      大学への数学

      巻: June ページ: 74-76

    • 関連する報告書
      2014 実績報告書
  • [雑誌論文] 数学を利用する感覚(リレー連載:数学的な感覚の探求-思考法の源を探る第15回)2014

    • 著者名/発表者名
      徳山豪
    • 雑誌名

      数理科学

      巻: No. 610 ページ: 59-64

    • 関連する報告書
      2013 実績報告書
  • [雑誌論文] スーパーコンピューティング・コンテスト (SuperCon13)2014

    • 著者名/発表者名
      渡辺治,遠藤敏雄
    • 雑誌名

      数学セミナー

      巻: 53(1) ページ: 50-55

    • 関連する報告書
      2013 実績報告書
  • [雑誌論文] 計算限界の解明-その意義とシナリオ(前編)2013

    • 著者名/発表者名
      徳山豪
    • 雑誌名

      情報処理

      巻: 54( 4) ページ: 374-384

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] 計算限界の解明-その意義とシナリオ(後編)2013

    • 著者名/発表者名
      徳山豪
    • 雑誌名

      情報処理

      巻: 54( 5) ページ: 528-538

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] 小特集「計算限界の解明への多面的アプローチ-- P vs NPに向けた最前線」2013

    • 著者名/発表者名
      今井佳子(編集),徳山豪,内沢啓,上野賢哉,玉置卓
    • 雑誌名

      電子情報通信学会会誌

      巻: 96( 9) ページ: 671-687

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] 特集:P ≠ NP 予想最前線2013

    • 著者名/発表者名
      渡辺治,西村治道,垂井淳,岡本吉央,瀧本英二,吉田悠一,上原隆平
    • 雑誌名

      数学セミナー

      巻: .52(12) ページ: 8-43

    • 関連する報告書
      2013 実績報告書
  • [雑誌論文] 計算限界の解明:その意義とシナリオ(前編)2013

    • 著者名/発表者名
      徳山豪
    • 雑誌名

      情報処理

      巻: 54-4

    • 関連する報告書
      2012 実績報告書
  • [雑誌論文] 計算限界の解明:その意義とシナリオ(後編)2013

    • 著者名/発表者名
      徳山豪
    • 雑誌名

      情報処理

      巻: 54-5

    • 関連する報告書
      2012 実績報告書
  • [雑誌論文] 組合せ剛性理論に基づく構造物列挙2012

    • 著者名/発表者名
      加藤直樹, 谷川眞一(加藤直樹)
    • 雑誌名

      電子情報通信学会

      巻: 95(6) ページ: 498-504

    • NAID

      10030864807

    • 関連する報告書
      2012 実績報告書
  • [学会発表] 新学術領域「計算限界解明」の紹介2016

    • 著者名/発表者名
      渡辺治
    • 学会等名
      WINTER FESTA
    • 発表場所
      一橋講堂,東京
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Foundations of innovative algorithms for big data2016

    • 著者名/発表者名
      Naoki Katoh
    • 学会等名
      JST-NSF Big Data Joint Workshop
    • 発表場所
      Akiba Hall, Tokyo
    • 関連する報告書
      2016 実績報告書
  • [学会発表] CREST「ビッグデータ時代に向けた革新的アルゴリズム基盤」の紹介2016

    • 著者名/発表者名
      加藤直樹
    • 学会等名
      情報系 Winter Festa Episode2
    • 発表場所
      一橋講堂,東京
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Theoretical Computer Science for data science2016

    • 著者名/発表者名
      徳山豪
    • 学会等名
      FIT2018
    • 発表場所
      富山大学,富山
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 離散構造処理系プロジェクトと超高速グラフ列挙技法2016

    • 著者名/発表者名
      湊真一
    • 学会等名
      2016年度 統計学会連合大会
    • 発表場所
      金沢大学,金沢
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 離散構造処理系に関する最近の研究と今後の展望2016

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会2016ソサイエティ大会
    • 発表場所
      北海道大学,札幌
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Power of enumeration - BDD/ZDD-based techniques for discrete structure manipulation2016

    • 著者名/発表者名
      S. Minato
    • 学会等名
      in Proc. of IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016)
    • 発表場所
      北海道大学,札幌
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 量子力学の原理に基づく盗聴できない未来の暗号通信の体験2016

    • 著者名/発表者名
      山下茂
    • 学会等名
      JSPSひらめきときめきサイエンス
    • 発表場所
      学術振興会,東京
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 新学術領域「計算限界解明」の紹介2015

    • 著者名/発表者名
      渡辺治
    • 学会等名
      NII 情報系 Winter Festa
    • 発表場所
      国立情報学研究所
    • 年月日
      2015-12-23
    • 関連する報告書
      2015 実績報告書
    • 招待講演
  • [学会発表] Sublinear space complexity2015

    • 著者名/発表者名
      Osamu Watanabe
    • 学会等名
      Workshop on Connection between Algorithm Design and Complexity Theory
    • 発表場所
      Simons Institute (UC. Berkley)
    • 年月日
      2015-09-28
    • 関連する報告書
      2015 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] 量子情報処理の基礎2015

    • 著者名/発表者名
      河内亮周
    • 学会等名
      基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」
    • 発表場所
      京都大学
    • 年月日
      2015-07-13
    • 関連する報告書
      2015 実績報告書
    • 招待講演
  • [学会発表] Reduction of computational steps for topological quantum circuits2015

    • 著者名/発表者名
      Shigeru Yamashita
    • 学会等名
      Quantum Programming and Circuits Workshop
    • 発表場所
      University of Waterloo
    • 年月日
      2015-06-10
    • 関連する報告書
      2015 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] 組合せ最適化活用の開拓:計算幾何学,画像処理,そしてデータマイニング2015

    • 著者名/発表者名
      徳山豪
    • 学会等名
      「計算機科学・OR・建築のこれから」ワークショップ
    • 発表場所
      京都大学
    • 年月日
      2015-03-13
    • 関連する報告書
      2014 実績報告書
    • 招待講演
  • [学会発表] 「多面的アプローチの統合による計算限界の解明」について2015

    • 著者名/発表者名
      渡辺治
    • 学会等名
      JST ERATO 合同ワークショップ
    • 発表場所
      日本未来館
    • 年月日
      2015-01-24
    • 関連する報告書
      2014 実績報告書
    • 招待講演
  • [学会発表] 計算限界への挑戦:P=NPの世界を目指して2014

    • 著者名/発表者名
      渡辺治
    • 学会等名
      OR学会第26回RAMPシンポジウム
    • 発表場所
      法政大学
    • 年月日
      2014-10-17
    • 関連する報告書
      2014 実績報告書
    • 招待講演
  • [学会発表] 理論計算機科学への招待2014

    • 著者名/発表者名
      徳山豪
    • 学会等名
      科学者の卵講座
    • 発表場所
      東北大学
    • 年月日
      2014-09-18
    • 関連する報告書
      2014 実績報告書
    • 招待講演
  • [学会発表] 計算複雑さへの招待(2):アルゴリズムから攻める計算複雑さの下界証明2013

    • 著者名/発表者名
      河内亮周
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      岐阜大学(岐阜県)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 計算理論の意義と影響力:情報社会における役割2013

    • 著者名/発表者名
      徳山豪
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      岐阜大学(岐阜県)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 組合せ剛性理論の最近の進歩と応用2013

    • 著者名/発表者名
      加藤直樹
    • 学会等名
      オペレーションズリサーチ学会関西支部総会
    • 発表場所
      大阪大学(大阪府)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 新学術領域「計算限界解明」発足にあたって2012

    • 著者名/発表者名
      渡辺治
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      法政大学(東京都)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 計算複雑さへの招待(1):基本+平均時計算複雑さ2012

    • 著者名/発表者名
      渡辺治
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      九州大学(福岡県)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 計算限界への挑戦:P=NPの世界を目指して

    • 著者名/発表者名
      渡辺治
    • 学会等名
      E-サイエンスに向けた革新的アルゴリズム基盤第4回シンポジウム
    • 発表場所
      京都大学,日本
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] データ圧縮と構造化:理論革新とその未来

    • 著者名/発表者名
      徳山豪
    • 学会等名
      E-サイエンスに向けた革新的アルゴリズム基盤第4回シンポジウム
    • 発表場所
      京都大学,日本
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] 計算限界解明:なぜ限界を?&なぜ今?

    • 著者名/発表者名
      渡辺治
    • 学会等名
      第12回情報科学技術フォーラム
    • 発表場所
      鳥取大学,日本
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] 理論計算機科学への招待

    • 著者名/発表者名
      徳山豪
    • 学会等名
      科学者の卵プロジェクト
    • 発表場所
      東北大学,日本
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] 計算複雑さの理論とその進展

    • 著者名/発表者名
      渡辺治
    • 学会等名
      東北大数学教室談話会
    • 発表場所
      東北大学,日本
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [図書] Algorithms and Computation, 26th International Symposium ISAAC 20152015

    • 著者名/発表者名
      K. Elbassioni and K. Makino (Eds)
    • 総ページ数
      793
    • 出版者
      Springer-Verlag
    • 関連する報告書
      2015 実績報告書
  • [図書] Reviews and Lectures: Exploring the Limits of Computation II2015

    • 著者名/発表者名
      T. Tokuyama, A. Shioura, and T. Ito (Eds)
    • 総ページ数
      110
    • 出版者
      東北大学情報科学研究科
    • 関連する報告書
      2015 実績報告書
  • [図書] コンピュータサイエンス2015

    • 著者名/発表者名
      渡辺治
    • 総ページ数
      182
    • 出版者
      丸善サイエンスパレット
    • 関連する報告書
      2015 実績報告書
  • [図書] 今度こそわかるP≠NP予想2014

    • 著者名/発表者名
      渡辺治
    • 出版者
      講談社
    • 関連する報告書
      2013 実績報告書
  • [図書] Reviews and Lectures: Exploring the Limits of Computation, Interdisciplinary Information Sciences2014

    • 著者名/発表者名
      Takeshi Tokuyama, Akiyoshi Shioura, Takehiro Ito Eds
    • 出版者
      東北大学情報科学研究科
    • 関連する報告書
      2013 実績報告書
  • [備考] 「多面的アプローチの統合による計算限界の解明」プロジェクトホームページ

    • URL

      http://www.al.ics.saitama-u.ac.jp/elc/

    • 関連する報告書
      2015 実績報告書 2014 実績報告書
  • [備考] 計算限界の解明

    • URL

      http://www.al.ics.saitama-u.ac.jp/elc/

    • 関連する報告書
      2013 実績報告書
  • [学会・シンポジウム開催] JCDCG^32016

    • 発表場所
      東京理科大学,東京
    • 年月日
      2016-09-02
    • 関連する報告書
      2016 実績報告書
  • [学会・シンポジウム開催] WAAC20162016

    • 発表場所
      函館シティーホール,北海道
    • 年月日
      2016-08-30
    • 関連する報告書
      2016 実績報告書
  • [学会・シンポジウム開催] CC16 Kyoto Satellite Workshop2016

    • 発表場所
      京都大学,京都
    • 年月日
      2016-06-02
    • 関連する報告書
      2016 実績報告書
  • [学会・シンポジウム開催] Computational Complexity Conference2016

    • 発表場所
      一橋ホール,東京
    • 年月日
      2016-05-29
    • 関連する報告書
      2016 実績報告書
  • [学会・シンポジウム開催] ELC School on Parameterized Algorithms2016

    • 発表場所
      関西学院大学
    • 年月日
      2016-03-17
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] CCC16 Tokyo Satellite Workshop2016

    • 発表場所
      学士会館,東京
    • 関連する報告書
      2016 実績報告書
  • [学会・シンポジウム開催] The 26th International Symposium on Algorithms and Computation (ISAAC2015)2015

    • 発表場所
      名古屋マリオットアソシアホテル
    • 年月日
      2015-12-09
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] Workshop around BQP2015

    • 発表場所
      東京工業大学 (Center for ELC)
    • 年月日
      2015-12-07
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] ELC Workshop on Algorithms and Computation2015

    • 発表場所
      京都大学
    • 年月日
      2015-12-05
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] The 29th International Symposium on Distributed Computing (DISC 2015)2015

    • 発表場所
      法政大学
    • 年月日
      2015-10-05
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] The 20th International Conference on Computability and Complexity in Analysis2015

    • 発表場所
      明治大学
    • 年月日
      2015-07-12
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015)2015

    • 発表場所
      京都プリンスホテル
    • 年月日
      2015-07-06
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] Workshop on Quantum Computational Complexity2015

    • 発表場所
      京都大学
    • 年月日
      2015-07-04
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] The 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its2015

    • 発表場所
      明治大学
    • 年月日
      2015-06-02
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] ELC Workshop on Exponential Lower Bounds for Pivoting Algorithms2015

    • 発表場所
      東京工業大学 (Center for ELC)
    • 年月日
      2015-03-24
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] ELC Workshop on Parameterized Algorithms2015

    • 発表場所
      電気通信大学
    • 年月日
      2015-02-28
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] ELC Workshop on Boolean Functions2014

    • 発表場所
      東京工業大学 (Center for ELC)
    • 年月日
      2014-11-06
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] Asian Conference on Quantum Information Science (AQIS2014)2014

    • 発表場所
      京都大学
    • 年月日
      2014-08-20
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] AQIS 2014 Satellite Workshop2014

    • 発表場所
      東京大学
    • 年月日
      2014-08-18
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] ELC Workshop on Extension Complexity2014

    • 発表場所
      京都大学
    • 年月日
      2014-06-09
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] The 30th Annual Symposium on Computational Geometry (SoCG 2014)2014

    • 発表場所
      京都大学
    • 年月日
      2014-06-08
    • 関連する報告書
      2014 実績報告書
  • [学会・シンポジウム開催] Japanese-Swiss Workshop on Combinatorics and Computational Geometry2014

    • 発表場所
      東京大学
    • 年月日
      2014-06-04
    • 関連する報告書
      2014 実績報告書

URL: 

公開日: 2012-11-27   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi