• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Multifaced Approach Toward Understanding the Limitations of Compuation

Administrative Group

Project AreaA multifaceted approach toward understanding the limitations of computation
Project/Area Number 24106001
Research Category

Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionTokyo Institute of Technology

Principal Investigator

Watanabe Osamu  東京工業大学, 情報理工学院, 教授 (80158617)

Co-Investigator(Renkei-kenkyūsha) ASANO Takao  中央大学, 理工学部, 教授 (90124544)
IBARAKI Toshihide  京都情報大学院大学, その他, 学長 (50026192)
IMAI Hiroshi  東京大学, 情報理工学系研究科, 教授 (80183010)
TODA Seinosuke  日本大学, 文理学部, 教授 (90172163)
MARUOKA Akira  東北大学, その他, 名誉教授 (50005427)
MINATO Shinichi  北海道大学, 情報科学研究科, 教授 (10374612)
MAKINO Kazuhisa  京都大学, 数理解析研究所, 教授 (60294162)
KAWARABAYASHI Kazuhisa  国立情報学研究所, 情報プリンシプル系, 教授 (40361159)
ASANO Tetsuo  北陸先端科学技術大学院大学, その他, 学長 (90113133)
KATOH Naoki  関西学院大学, 理工学部, 教授 (40145826)
AVIS David  京都大学, 情報学研究科, 研究員 (90584110)
TOKUYAMA Takeshi  東北大学, 情報科学研究科, 教授 (40312631)
YAMASHITA Shigeru  立命館大学, 情報理工学部, 教授 (30362833)
TAKIMOTO Eiji  九州大学, システム情報学研究院, 教授 (50236395)
HORIYAMA Takashi  埼玉大学, 理工学研究科, 准教授 (60314530)
MORI Ryuhei  東京工業大学, 情報理工学院, 助教 (60732857)
Project Period (FY) 2012-06-28 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥134,030,000 (Direct Cost: ¥103,100,000、Indirect Cost: ¥30,930,000)
Fiscal Year 2016: ¥28,210,000 (Direct Cost: ¥21,700,000、Indirect Cost: ¥6,510,000)
Fiscal Year 2015: ¥27,690,000 (Direct Cost: ¥21,300,000、Indirect Cost: ¥6,390,000)
Fiscal Year 2014: ¥27,820,000 (Direct Cost: ¥21,400,000、Indirect Cost: ¥6,420,000)
Fiscal Year 2013: ¥27,690,000 (Direct Cost: ¥21,300,000、Indirect Cost: ¥6,390,000)
Fiscal Year 2012: ¥22,620,000 (Direct Cost: ¥17,400,000、Indirect Cost: ¥5,220,000)
Keywords計算限界解明 / 研究連携促進 / 研究拠点形成 / 若手研究者の育成 / 成果の総括 / 成果の波及 / 計算複雑さの理論 / アルゴリズム理論 / 計算量上下界解析 / 成果の総括と公表 / 計算限界解明手法の開拓 / 多視点からの連携研究 / 国際研究者交流 / 各種啓発・研究成果波及 / 若手研究者育成 / 多視点からの統合的解析 / 計算限界研究センター / 計算理論若手研究者育成 / ELC 秋学校 / ELC Seminar / ELC Workshop
Outline of Final Research Achievements

The purpose of this project is to manage, as a headquarter, the whole research project for exploring the limits of computation (in short, the ELC project). Deepening the understanding of computation is a key for developing yet stronger and new methods of using computation, and for this purpose, the ELC project investigates the limits of computation from various view points from a wide area of mathematical science. For obtaining significant advancements by such a multi-disciplinary approach, the collaboration of researchers in the world is necessary. The main task of this project is to prepare an appropriate environment for promoting such collaborations. For this, we invited many researchers, organized a good number of research workshops, and organized several international symposiums from small to large. We also organized tutorial seminars, fall schools, and group study sessions for promoting our research and fostering young researchers.

Report

(6 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (70 results)

All 2017 2016 2015 2014 2013 2012 Other

All Journal Article (15 results) (of which Peer Reviewed: 4 results,  Acknowledgement Compliant: 2 results) Presentation (26 results) (of which Int'l Joint Research: 2 results,  Invited: 13 results) Book (5 results) Remarks (2 results) Funded Workshop (22 results)

  • [Journal Article] 解説:スーパーコンピューティングコンテスト 20162017

    • Author(s)
      渡辺治
    • Journal Title

      数学セミナー

      Volume: 1月号

    • Related Report
      2016 Annual Research Report
  • [Journal Article] アルゴリズム研究から2017

    • Author(s)
      茨木俊秀
    • Journal Title

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

      Volume: Vol.58, No. 5 Pages: 358-359

    • Related Report
      2016 Annual Research Report
  • [Journal Article] 符号理論(情報理論特集)2016

    • Author(s)
      森立平
    • Journal Title

      数学セミナー

      Volume: 8月号

    • Related Report
      2016 Annual Research Report
  • [Journal Article] Optimal online algorithms for the multi-objective time series search problem2016

    • Author(s)
      S. Hasegawa and T. Itoh
    • Journal Title

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

      Volume: LNCS 9627 Pages: 301-312

    • DOI

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

    • ISBN
      9783662491911, 9783662491928
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] On the limit of some algorithmic approach to circuit lower bounds2014

    • Author(s)
      Osamu Watanabe
    • Journal Title

      Computing with New Resources

      Volume: LNCS8808 Pages: 394-405

    • DOI

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

    • ISBN
      9783319133492, 9783319133508
    • Related Report
      2014 Annual Research Report
    • Acknowledgement Compliant
  • [Journal Article] ~ふしぎの国のスウガク使い~「離散数学がおもしろくて役に立つ!」2014

    • Author(s)
      内村直之(協力:河原林健一 )
    • Journal Title

      大学への数学

      Volume: June Pages: 74-76

    • Related Report
      2014 Annual Research Report
  • [Journal Article] 数学を利用する感覚(リレー連載:数学的な感覚の探求-思考法の源を探る第15回)2014

    • Author(s)
      徳山豪
    • Journal Title

      数理科学

      Volume: No. 610 Pages: 59-64

    • Related Report
      2013 Annual Research Report
  • [Journal Article] スーパーコンピューティング・コンテスト (SuperCon13)2014

    • Author(s)
      渡辺治,遠藤敏雄
    • Journal Title

      数学セミナー

      Volume: 53(1) Pages: 50-55

    • Related Report
      2013 Annual Research Report
  • [Journal Article] 計算限界の解明-その意義とシナリオ(前編)2013

    • Author(s)
      徳山豪
    • Journal Title

      情報処理

      Volume: 54( 4) Pages: 374-384

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 計算限界の解明-その意義とシナリオ(後編)2013

    • Author(s)
      徳山豪
    • Journal Title

      情報処理

      Volume: 54( 5) Pages: 528-538

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 小特集「計算限界の解明への多面的アプローチ-- P vs NPに向けた最前線」2013

    • Author(s)
      今井佳子(編集),徳山豪,内沢啓,上野賢哉,玉置卓
    • Journal Title

      電子情報通信学会会誌

      Volume: 96( 9) Pages: 671-687

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 特集:P ≠ NP 予想最前線2013

    • Author(s)
      渡辺治,西村治道,垂井淳,岡本吉央,瀧本英二,吉田悠一,上原隆平
    • Journal Title

      数学セミナー

      Volume: .52(12) Pages: 8-43

    • Related Report
      2013 Annual Research Report
  • [Journal Article] 計算限界の解明:その意義とシナリオ(前編)2013

    • Author(s)
      徳山豪
    • Journal Title

      情報処理

      Volume: 54-4

    • Related Report
      2012 Annual Research Report
  • [Journal Article] 計算限界の解明:その意義とシナリオ(後編)2013

    • Author(s)
      徳山豪
    • Journal Title

      情報処理

      Volume: 54-5

    • Related Report
      2012 Annual Research Report
  • [Journal Article] 組合せ剛性理論に基づく構造物列挙2012

    • Author(s)
      加藤直樹, 谷川眞一(加藤直樹)
    • Journal Title

      電子情報通信学会

      Volume: 95(6) Pages: 498-504

    • NAID

      10030864807

    • Related Report
      2012 Annual Research Report
  • [Presentation] 新学術領域「計算限界解明」の紹介2016

    • Author(s)
      渡辺治
    • Organizer
      WINTER FESTA
    • Place of Presentation
      一橋講堂,東京
    • Related Report
      2016 Annual Research Report
  • [Presentation] Foundations of innovative algorithms for big data2016

    • Author(s)
      Naoki Katoh
    • Organizer
      JST-NSF Big Data Joint Workshop
    • Place of Presentation
      Akiba Hall, Tokyo
    • Related Report
      2016 Annual Research Report
  • [Presentation] CREST「ビッグデータ時代に向けた革新的アルゴリズム基盤」の紹介2016

    • Author(s)
      加藤直樹
    • Organizer
      情報系 Winter Festa Episode2
    • Place of Presentation
      一橋講堂,東京
    • Related Report
      2016 Annual Research Report
  • [Presentation] Theoretical Computer Science for data science2016

    • Author(s)
      徳山豪
    • Organizer
      FIT2018
    • Place of Presentation
      富山大学,富山
    • Related Report
      2016 Annual Research Report
  • [Presentation] 離散構造処理系プロジェクトと超高速グラフ列挙技法2016

    • Author(s)
      湊真一
    • Organizer
      2016年度 統計学会連合大会
    • Place of Presentation
      金沢大学,金沢
    • Related Report
      2016 Annual Research Report
  • [Presentation] 離散構造処理系に関する最近の研究と今後の展望2016

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会2016ソサイエティ大会
    • Place of Presentation
      北海道大学,札幌
    • Related Report
      2016 Annual Research Report
  • [Presentation] Power of enumeration - BDD/ZDD-based techniques for discrete structure manipulation2016

    • Author(s)
      S. Minato
    • Organizer
      in Proc. of IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016)
    • Place of Presentation
      北海道大学,札幌
    • Related Report
      2016 Annual Research Report
  • [Presentation] 量子力学の原理に基づく盗聴できない未来の暗号通信の体験2016

    • Author(s)
      山下茂
    • Organizer
      JSPSひらめきときめきサイエンス
    • Place of Presentation
      学術振興会,東京
    • Related Report
      2016 Annual Research Report
  • [Presentation] 新学術領域「計算限界解明」の紹介2015

    • Author(s)
      渡辺治
    • Organizer
      NII 情報系 Winter Festa
    • Place of Presentation
      国立情報学研究所
    • Year and Date
      2015-12-23
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] Sublinear space complexity2015

    • Author(s)
      Osamu Watanabe
    • Organizer
      Workshop on Connection between Algorithm Design and Complexity Theory
    • Place of Presentation
      Simons Institute (UC. Berkley)
    • Year and Date
      2015-09-28
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 量子情報処理の基礎2015

    • Author(s)
      河内亮周
    • Organizer
      基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」
    • Place of Presentation
      京都大学
    • Year and Date
      2015-07-13
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] Reduction of computational steps for topological quantum circuits2015

    • Author(s)
      Shigeru Yamashita
    • Organizer
      Quantum Programming and Circuits Workshop
    • Place of Presentation
      University of Waterloo
    • Year and Date
      2015-06-10
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 組合せ最適化活用の開拓:計算幾何学,画像処理,そしてデータマイニング2015

    • Author(s)
      徳山豪
    • Organizer
      「計算機科学・OR・建築のこれから」ワークショップ
    • Place of Presentation
      京都大学
    • Year and Date
      2015-03-13
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 「多面的アプローチの統合による計算限界の解明」について2015

    • Author(s)
      渡辺治
    • Organizer
      JST ERATO 合同ワークショップ
    • Place of Presentation
      日本未来館
    • Year and Date
      2015-01-24
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 計算限界への挑戦:P=NPの世界を目指して2014

    • Author(s)
      渡辺治
    • Organizer
      OR学会第26回RAMPシンポジウム
    • Place of Presentation
      法政大学
    • Year and Date
      2014-10-17
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 理論計算機科学への招待2014

    • Author(s)
      徳山豪
    • Organizer
      科学者の卵講座
    • Place of Presentation
      東北大学
    • Year and Date
      2014-09-18
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 計算複雑さへの招待(2):アルゴリズムから攻める計算複雑さの下界証明2013

    • Author(s)
      河内亮周
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      岐阜大学(岐阜県)
    • Related Report
      2012 Annual Research Report
  • [Presentation] 計算理論の意義と影響力:情報社会における役割2013

    • Author(s)
      徳山豪
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      岐阜大学(岐阜県)
    • Related Report
      2012 Annual Research Report
  • [Presentation] 組合せ剛性理論の最近の進歩と応用2013

    • Author(s)
      加藤直樹
    • Organizer
      オペレーションズリサーチ学会関西支部総会
    • Place of Presentation
      大阪大学(大阪府)
    • Related Report
      2012 Annual Research Report
  • [Presentation] 新学術領域「計算限界解明」発足にあたって2012

    • Author(s)
      渡辺治
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      法政大学(東京都)
    • Related Report
      2012 Annual Research Report
  • [Presentation] 計算複雑さへの招待(1):基本+平均時計算複雑さ2012

    • Author(s)
      渡辺治
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      九州大学(福岡県)
    • Related Report
      2012 Annual Research Report
  • [Presentation] 計算限界への挑戦:P=NPの世界を目指して

    • Author(s)
      渡辺治
    • Organizer
      E-サイエンスに向けた革新的アルゴリズム基盤第4回シンポジウム
    • Place of Presentation
      京都大学,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] データ圧縮と構造化:理論革新とその未来

    • Author(s)
      徳山豪
    • Organizer
      E-サイエンスに向けた革新的アルゴリズム基盤第4回シンポジウム
    • Place of Presentation
      京都大学,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 計算限界解明:なぜ限界を?&なぜ今?

    • Author(s)
      渡辺治
    • Organizer
      第12回情報科学技術フォーラム
    • Place of Presentation
      鳥取大学,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 理論計算機科学への招待

    • Author(s)
      徳山豪
    • Organizer
      科学者の卵プロジェクト
    • Place of Presentation
      東北大学,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 計算複雑さの理論とその進展

    • Author(s)
      渡辺治
    • Organizer
      東北大数学教室談話会
    • Place of Presentation
      東北大学,日本
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Book] Algorithms and Computation, 26th International Symposium ISAAC 20152015

    • Author(s)
      K. Elbassioni and K. Makino (Eds)
    • Total Pages
      793
    • Publisher
      Springer-Verlag
    • Related Report
      2015 Annual Research Report
  • [Book] Reviews and Lectures: Exploring the Limits of Computation II2015

    • Author(s)
      T. Tokuyama, A. Shioura, and T. Ito (Eds)
    • Total Pages
      110
    • Publisher
      東北大学情報科学研究科
    • Related Report
      2015 Annual Research Report
  • [Book] コンピュータサイエンス2015

    • Author(s)
      渡辺治
    • Total Pages
      182
    • Publisher
      丸善サイエンスパレット
    • Related Report
      2015 Annual Research Report
  • [Book] 今度こそわかるP≠NP予想2014

    • Author(s)
      渡辺治
    • Publisher
      講談社
    • Related Report
      2013 Annual Research Report
  • [Book] Reviews and Lectures: Exploring the Limits of Computation, Interdisciplinary Information Sciences2014

    • Author(s)
      Takeshi Tokuyama, Akiyoshi Shioura, Takehiro Ito Eds
    • Publisher
      東北大学情報科学研究科
    • Related Report
      2013 Annual Research Report
  • [Remarks] 「多面的アプローチの統合による計算限界の解明」プロジェクトホームページ

    • URL

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

    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
  • [Remarks] 計算限界の解明

    • URL

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

    • Related Report
      2013 Annual Research Report
  • [Funded Workshop] JCDCG^32016

    • Place of Presentation
      東京理科大学,東京
    • Year and Date
      2016-09-02
    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] WAAC20162016

    • Place of Presentation
      函館シティーホール,北海道
    • Year and Date
      2016-08-30
    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] CC16 Kyoto Satellite Workshop2016

    • Place of Presentation
      京都大学,京都
    • Year and Date
      2016-06-02
    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] Computational Complexity Conference2016

    • Place of Presentation
      一橋ホール,東京
    • Year and Date
      2016-05-29
    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] ELC School on Parameterized Algorithms2016

    • Place of Presentation
      関西学院大学
    • Year and Date
      2016-03-17
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] CCC16 Tokyo Satellite Workshop2016

    • Place of Presentation
      学士会館,東京
    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] The 26th International Symposium on Algorithms and Computation (ISAAC2015)2015

    • Place of Presentation
      名古屋マリオットアソシアホテル
    • Year and Date
      2015-12-09
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] Workshop around BQP2015

    • Place of Presentation
      東京工業大学 (Center for ELC)
    • Year and Date
      2015-12-07
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] ELC Workshop on Algorithms and Computation2015

    • Place of Presentation
      京都大学
    • Year and Date
      2015-12-05
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] The 29th International Symposium on Distributed Computing (DISC 2015)2015

    • Place of Presentation
      法政大学
    • Year and Date
      2015-10-05
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] The 20th International Conference on Computability and Complexity in Analysis2015

    • Place of Presentation
      明治大学
    • Year and Date
      2015-07-12
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015)2015

    • Place of Presentation
      京都プリンスホテル
    • Year and Date
      2015-07-06
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] Workshop on Quantum Computational Complexity2015

    • Place of Presentation
      京都大学
    • Year and Date
      2015-07-04
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] The 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its2015

    • Place of Presentation
      明治大学
    • Year and Date
      2015-06-02
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] ELC Workshop on Exponential Lower Bounds for Pivoting Algorithms2015

    • Place of Presentation
      東京工業大学 (Center for ELC)
    • Year and Date
      2015-03-24
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] ELC Workshop on Parameterized Algorithms2015

    • Place of Presentation
      電気通信大学
    • Year and Date
      2015-02-28
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] ELC Workshop on Boolean Functions2014

    • Place of Presentation
      東京工業大学 (Center for ELC)
    • Year and Date
      2014-11-06
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] Asian Conference on Quantum Information Science (AQIS2014)2014

    • Place of Presentation
      京都大学
    • Year and Date
      2014-08-20
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] AQIS 2014 Satellite Workshop2014

    • Place of Presentation
      東京大学
    • Year and Date
      2014-08-18
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] ELC Workshop on Extension Complexity2014

    • Place of Presentation
      京都大学
    • Year and Date
      2014-06-09
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] The 30th Annual Symposium on Computational Geometry (SoCG 2014)2014

    • Place of Presentation
      京都大学
    • Year and Date
      2014-06-08
    • Related Report
      2014 Annual Research Report
  • [Funded Workshop] Japanese-Swiss Workshop on Combinatorics and Computational Geometry2014

    • Place of Presentation
      東京大学
    • Year and Date
      2014-06-04
    • Related Report
      2014 Annual Research Report

URL: 

Published: 2012-11-27   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi