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

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

成果取りまとめ

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

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

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

研究代表者

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

研究分担者 牧野 和久  京都大学, 数理解析研究所, 教授 (60294162)
研究期間 (年度) 2017-04-01 – 2018-03-31
研究課題ステータス 完了 (2017年度)
配分額 *注記
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2017年度: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
キーワード計算限界解明 / 研究成果とりまとめ / 計算限界 / 成果のとりまとめ / 若手育成 / 啓発活動
研究実績の概要

本年度は,この「成果とりまとめ」の予算を用い,本領域の事後評価のための準備,最終年度(昨年度)までで完了しきれなかった研究のとりまとめ,そして成果の啓発活動を行った。事後評価の準備では,分担者(牧野)と綿密な連絡を取り合いながら,本「成果とりまとめ」に連携研究者として加わった領域の各計画研究代表者から,これまでの膨大な研究成果を収集し,それらを整理しとりまとめ,事後評価報告書や事後評価のためのプレゼンテーション,さらには領域の成果を啓発するための講演資料を作成することができた。事後評価のためのプレゼンテーション,さらには領域の成果を啓発するための講演資料を作成することができた。その事後評価については,A評価を頂くことができた。

現在までの達成度 (段落)

29年度が最終年度であるため、記入しない。

今後の研究の推進方策

29年度が最終年度であるため、記入しない。

報告書

(1件)
  • 2017 実績報告書
  • 研究成果

    (6件)

すべて 2018 2017

すべて 雑誌論文 (5件) (うち国際共著 2件、 査読あり 5件、 謝辞記載あり 2件、 オープンアクセス 1件) 学会発表 (1件) (うち招待講演 1件)

  • [雑誌論文] An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem2018

    • 著者名/発表者名
      Qin Tong、Watanabe Osamu
    • 雑誌名

      Proc. of the 12th International Conference and Workshops on Algorithms and Computation

      巻: LNCS ページ: 93-105

    • DOI

      10.1007/978-3-319-75172-6_9

    • ISBN
      9783319751719, 9783319751726
    • 関連する報告書
      2017 実績報告書
    • 査読あり
  • [雑誌論文] Posimodular function optimization2017

    • 著者名/発表者名
      Magnus M. Halldorsson, Toshimasa Ishii,Kazuhisa Makino, Kenjiro Takazawa
    • 雑誌名

      Lecture Notes in Computer Science, Algorithms and Data Structures

      巻: 10389 ページ: 437-448

    • DOI

      10.1007/978-3-319-62127-2_37

    • ISBN
      9783319621265, 9783319621272
    • 関連する報告書
      2017 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Parameterized Complexity of Sparse Linear Complementarity Problems2017

    • 著者名/発表者名
      Hanna Sumita, Naonori Kakimura, and Kazuhisa Makino
    • 雑誌名

      Algorithmica

      巻: 掲載確定 号: 1 ページ: 42-65

    • DOI

      10.1007/s00453-016-0229-5

    • 関連する報告書
      2017 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] The Query Complexity of Witness Finding2017

    • 著者名/発表者名
      Kawachi Akinori、Rossman Benjamin、Watanabe Osamu
    • 雑誌名

      Theory of Computing Systems

      巻: 61 号: 2 ページ: 305-321

    • DOI

      10.1007/s00224-016-9708-y

    • NAID

      120006582539

    • 関連する報告書
      2017 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Local restrictions from the Furst-Saxe-Sipser paper2017

    • 著者名/発表者名
      S. Tamaki and O. Watanabe
    • 雑誌名

      Theory of Computing Systems

      巻: 60(1) 号: 1 ページ: 20-32

    • DOI

      10.1007/s00224-016-9730-0

    • NAID

      120006582572

    • 関連する報告書
      2017 実績報告書
    • 査読あり / オープンアクセス / 謝辞記載あり
  • [学会発表] 新学術領域「多面的アプローチの統合による計算限界の解明」成果報告2018

    • 著者名/発表者名
      渡辺 治
    • 学会等名
      電子情報通信学会,コンピュテーション研究会
    • 関連する報告書
      2017 実績報告書
    • 招待講演

URL: 

公開日: 2017-04-28   更新日: 2018-12-17  

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

Powered by NII kakenhi