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

新世代の計算限界-その解明と打破-

研究課題

研究課題/領域番号 16092101
研究種目

特定領域研究

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

研究代表者

岩間 一雄  京都大学, 情報学研究科, 教授 (50131272)

研究分担者 伊藤 大雄  京都大学, 情報学研究科, 准教授 (50283487)
加藤 直樹  京都大学, 工学研究科, 教授 (40145826)
徳山 豪  東北大学, 情報科学研究科, 教授 (40312631)
田中 圭介  東京工業大学, 情報理工学研究科, 准教授 (20334518)
櫻井 幸一  九州大学, システム情報科学研究院, 教授 (60264066)
浅野 孝夫  中央大学, 理工学部, 教授 (90124544)
浅野 哲夫  北陸先端科学技術大学院大学, 教授 (90113133)
平田 富夫  名古屋大学, 情報科学研究科, 教授 (10144205)
研究期間 (年度) 2004 – 2008
研究課題ステータス 完了 (2008年度)
配分額 *注記
107,400千円 (直接経費: 107,400千円)
2008年度: 1,500千円 (直接経費: 1,500千円)
2007年度: 29,000千円 (直接経費: 29,000千円)
2006年度: 28,900千円 (直接経費: 28,900千円)
2005年度: 27,500千円 (直接経費: 27,500千円)
2004年度: 20,500千円 (直接経費: 20,500千円)
キーワードアルゴリズム / 計算困難問題 / 離散システム / 数理モデル化 / 理論的性能保証 / 社会的評価基準 / 近似アルゴリズム / ランダマイズド・アルゴリズム / 離散アルゴリズム / 計算限界 / 品質保証・性能保証 / 国際研究者交流 / 多国籍 / 計算量理論 / 国際交流 / 若手の育成 / 研究の活性化 / 理論と応用の協調 / 啓発活動 / 研究者の協調
研究概要

近年のIT社会の大規模化と多様化によって, 従来は計算機があまり入り込まなかった分野においても, アルゴリズムが重要となってきている. また, 例えば配送計画問題をとっても, 配送コストのみではなく, 配送者の負荷の均質化や環境問題への配慮といった, 従来の評価尺度ではとらえきれない観点からの社会的要請があがっている. 本領域ではこうした状況に対処するため, 社会に役立つアルゴリズムをテーマに, 社会的評価基準のもとで数学的に保証されたアルゴリズムの開発・評価の体系化を目指している.
本領域の研究活動は平成19年度で終了した. すでに多くの研究成果が出されており, それらの多くは本領域の設定した目標を順調に達成するものである. 得られた成果をまとめ効果的に公表するため, 総括班のみ平成20年度も活動を行った. 具体的な活動は以下の通りである.
(1) 成果報告書の作成 : 総括班および研究課題別の成果をまとめた報告書を作成した. 本特定で開催した研究集会の資料も, とりまとめて記載した.
(2) 教科書の出版 : 本領域の分野の教科書を出版する(全16巻). 共立出版より6巻が刊行済みであり, 新たに1巻を刊行した.
(3) ニュースレターの発行 : 本領域の最新情報を掲載したニュースレターを発行する.
(4) ウェブサイト : 本領域の活動内容の広報として立ち上げた, ウェブサイト(http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/)の充実をはかった.

報告書

(5件)
  • 2008 実績報告書
  • 2007 実績報告書
  • 2006 実績報告書
  • 2005 実績報告書
  • 2004 実績報告書
  • 研究成果

    (47件)

すべて 2008 2007 2006 2005 その他

すべて 雑誌論文 (32件) (うち査読あり 8件) 学会発表 (6件) 図書 (7件) 備考 (2件)

  • [雑誌論文] A (2-c(1/slart (N)))-Approximation Algorithm for the Stable Marriage Problem2008

    • 著者名/発表者名
      Kazuo Iwama, Shuichi Miyazaki, Naova Yamauchi
    • 雑誌名

      Algorithmica 51(3)

      ページ: 342-356

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] New Graph Calculi for Planar Non-3-Colorable Graphs2008

    • 著者名/発表者名
      Youichi Hanatani, Takashi Horiyama, Kazuo Iwama. Suguru
    • 雑誌名

      IEICE Transactions 91-A(9)

      ページ: 2301-2307

    • NAID

      10026851334

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Enumerating Constrained Non-crossing Minimally Rigid Frameworks2008

    • 著者名/発表者名
      D. Avis, N. Katoh, M. Ohsaki, I. Streinu, S. Tanigawa
    • 雑誌名

      Discrete & Computational Geometry 40(1)

      ページ: 31-46

    • NAID

      120001493154

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Characterizing Economic and Social Properties of Trust and Reputation Systems in P2P Environment2008

    • 著者名/発表者名
      Y. Wang, Y. Hori, K. Sakurai
    • 雑誌名

      J. Comput. Sci. Technol. 23(1)

      ページ: 129140-129140

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Improved approximation results for the stable marriage problem2007

    • 著者名/発表者名
      M. M. Halldorsson, K. Iwama, S. Miyazaki, H. Yanagisawa
    • 雑誌名

      ACM Transactions on Algorithms 3(3)

      ページ: 118-118

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Triangulating a convex polygon with fewer number of non-standard bars2007

    • 著者名/発表者名
      Y. Xu, W. Dai, N. Katoh, M. Ohsaki
    • 雑誌名

      Theor. Comput. Sci. 389(1-2)

      ページ: 143151-143151

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On computing all abductive explanations from a propositional Horn theory2007

    • 著者名/発表者名
      T. Eiter, K. Makino
    • 雑誌名

      J. ACM 54(5)

      ページ: 154-154

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Matroid representation of clique complexes2007

    • 著者名/発表者名
      K. Kashiwabara, Y. Okamoto, T. Uno
    • 雑誌名

      Discrete Applied Mathematics 155(15)

      ページ: 19101929-19101929

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] A 1.875-Approximation Algorithm for the Stable Marriage Problem2007

    • 著者名/発表者名
      K.Iwama, S.Miyazaki, N.Yamauchi
    • 雑誌名

      Proc.18th ACM-SIAM Symposium on Discrete Algorithms SODA2007

      ページ: 288-297

    • NAID

      110006163300

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Enumerating Non-crossing Minimally Rigid Frameworks2007

    • 著者名/発表者名
      David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa
    • 雑誌名

      Graph and Combinatorics (to appear)

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Multi-Bit Cryptosystems Based on Lattice Problems2007

    • 著者名/発表者名
      A.Kawachi, K.Tanaka, Keita Xagawa
    • 雑誌名

      10th International Workshop on Theory and Practice in Public Key Cryptography LNCS 4450

      ページ: 315-329

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Economic-inspired truthful reputation feedback mechanism in P2P network2007

    • 著者名/発表者名
      Y.Wang, Y.Hori, K.Sakurai
    • 雑誌名

      The IEEE 11th International Workshop on Future Trends of Distributed Computing Systems (to apper)

    • NAID

      110006163294

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Zone Diagrams, Existence, Uniqueness, and Algorithmic Challenge2007

    • 著者名/発表者名
      T.Asano, J.Matousek, T.Tokuyama
    • 雑誌名

      Proceedings of the ACM-SIAM Symposium on Discrete Algorithms SODA2007

      ページ: 756-765

    • NAID

      110004823539

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • 著者名/発表者名
      T.Nishida, K.Sugihara, M.Kimura
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 377-391

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Two Equivalent Measures on Weighted Hypergraphs2006

    • 著者名/発表者名
      H.Ito, H.Nagamochi
    • 雑誌名

      Discrete Applied Mathematics 154・16

      ページ: 2330-2334

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] The Distance Trisector Curve2006

    • 著者名/発表者名
      T.Asano, J.Matousek, T.Tokuyama
    • 雑誌名

      Proceedings of the 38th ACM Symposium on Theory of Computing STOC 2006

      ページ: 336-343

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] An Improved Analysis of Goemans and Williamson's LP-relaxation for MAX SAT2006

    • 著者名/発表者名
      T.Asano
    • 雑誌名

      Theoretical Computer Science 354

      ページ: 339-353

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Systolic Algorithm for Euclidean Distance Transform2006

    • 著者名/発表者名
      M.Miyazawa, P.F.Zeng, N.Iso, T.Hirata
    • 雑誌名

      Trans.of IEEE on Pattern Analysis and Machine Intelligence 28・7

      ページ: 1127-1134

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Online Allocation with Risk Information2006

    • 著者名/発表者名
      S.Harada, E.Takimoto, A.Maruoka
    • 雑誌名

      IEICE Transactions on Information and Systems E89-D・8

      ページ: 2340-2347

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] An O(n log_2 n) algorithm for the optimal sink location problem in dynamic tree networks2006

    • 著者名/発表者名
      S.Mamada, T.Uno, K.Makino, S.Fujishige
    • 雑誌名

      Discrete Applied Mathematics 154

      ページ: 2387-2401

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Linear Time Algorithm for Approximating a Curve by a Single-peaked Curve2006

    • 著者名/発表者名
      J.Chun, K.Sadakane, T.Tokuyama
    • 雑誌名

      Algorithmica 44・2

      ページ: 103-115

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] An Approximation Algorithm for the Pickup and Delivery Vehicle Routing Problem on Trees2006

    • 著者名/発表者名
      N.Katoh, T.Yano
    • 雑誌名

      Discrete Applied Mathematics (掲載予定)

    • NAID

      120001479083

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Schemes for Encryption with Anonymity and Ring Signature2006

    • 著者名/発表者名
      R.Hayashi, K.Tanaka
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics E89-A・1

      ページ: 66-73

    • NAID

      110003486107

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] An Improved Analysis of Goemans and Williamson's LP-relaxation for MAX SAT2006

    • 著者名/発表者名
      T.Asano
    • 雑誌名

      Theoretical Computer Science (掲載予定)

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] The Distance Trisector Curve2006

    • 著者名/発表者名
      T.Asano, J.Matousek, T.Tokuyama
    • 雑誌名

      Proc.38th ACM Symposium on Theory of Computing (掲載予定)

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Apollonius Tenth Problem via Radius Adjustment and Mobius Transformation2006

    • 著者名/発表者名
      D.Kim, D.Kim, K.Sugihara
    • 雑誌名

      Computer-Aided Design 38

      ページ: 14-21

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Minimum Cost Source Location Problems with Flow Requirements2006

    • 著者名/発表者名
      M.Sakashita, K.Makino, S.Fujishige
    • 雑誌名

      LATIN 2006, Lecture Notes in Computer Science 3887

      ページ: 769-780

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] The Delayed k-Server Problem2005

    • 著者名/発表者名
      W.W.Bein, K.Iwama, L.L.Larmore, J.Noga
    • 雑誌名

      Proc.15th International Symposium on Fundamentals of Computation Theory

      ページ: 281-292

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Linear-Time Enumeration of Isolated Cliques2005

    • 著者名/発表者名
      H.Ito, K.Iwama, T.Osumi
    • 雑誌名

      Proc.13th Annual European Symposium on Algorithms 3669

      ページ: 119-130

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Approximation Algorithms for the Weighted Independent Set Problem2005

    • 著者名/発表者名
      A.Kako, T.Ono, T.Hirata, M.Halldorsson
    • 雑誌名

      Lecture Notes in Computer Science 3787

      ページ: 341-350

    • NAID

      120006667823

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] On Proper Learning for Monotone Term Decision Lists from Queries2005

    • 著者名/発表者名
      E.Takimoto, N.Aizawa, A.Maruoka
    • 雑誌名

      Proc.Workshop on Learning with Logics and Logics for Learning

      ページ: 45-51

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Generating Colored Trees2005

    • 著者名/発表者名
      S.Nakano, T.Uno
    • 雑誌名

      Lecture Notes in Computer Science 3787

      ページ: 249-260

    • 関連する報告書
      2005 実績報告書
  • [学会発表] Property Testing on k-Vertex-Connectivity of Graphs2008

    • 著者名/発表者名
      Yuichi Yoshida, Hiro Ito
    • 学会等名
      ICALP 2008
    • 発表場所
      Iceland, regkjavik
    • 年月日
      2008-07-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Security of Digital Signature Schemes in Weakened Random Oracle Models2008

    • 著者名/発表者名
      A. Numayama, T. Isshiki, K. Tanaka
    • 学会等名
      Public Key Cryptography 2008
    • 発表場所
      Barcelona, Spain
    • 年月日
      2008-03-12
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Multi-commodity Source Location Problems and Price of Greed2008

    • 著者名/発表者名
      H. Ito, M. Paterson, K. Sugihara
    • 学会等名
      WALCOM 2008
    • 発表場所
      Dhaka, Bangladesh
    • 年月日
      2008-02-08
    • 関連する報告書
      2007 実績報告書
  • [学会発表] New Bounds for the Nearly Equitable Edge Coloring Problem2007

    • 著者名/発表者名
      x. xie, M. Yagiura, T. Ono, T. Hirata, U. Zwick
    • 学会等名
      ISAAC 2007
    • 発表場所
      Sendai, Japan
    • 年月日
      2007-12-17
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Voronoi Diagram with Respect to Criteria on Vision Information2007

    • 著者名/発表者名
      T. Asano, N. Katoh, H. Tamaki, T. Tokuyama
    • 学会等名
      ISVD 2007
    • 発表場所
      Wales, UK
    • 年月日
      2007-07-09
    • 関連する報告書
      2007 実績報告書
  • [学会発表] An Exponential Lower Bound on the Size of Constant-Depth Threshold Circuits with Small Energy Complexity2007

    • 著者名/発表者名
      K. Uchizawa, E. Takimoto
    • 学会等名
      IEEE Conference on Computational Complexity 2007
    • 発表場所
      California, USA
    • 年月日
      2007-06-13
    • 関連する報告書
      2007 実績報告書
  • [図書] Encyclopedia of Algorithms2008

    • 著者名/発表者名
      Ming-Yang Kao (Ed.)
    • 総ページ数
      1166
    • 出版者
      Springer
    • 関連する報告書
      2008 実績報告書
  • [図書] オンラインアルゴリズムとストリームアルゴリズム(アルゴリズム・サイエンスシリーズ5数理技法編)2007

    • 著者名/発表者名
      徳山 豪
    • 総ページ数
      224
    • 出版者
      共立出版
    • 関連する報告書
      2007 実績報告書
  • [図書] へんな立体-脳が鍛えられる「立体だまし絵」づくり2007

    • 著者名/発表者名
      杉原 原吉
    • 総ページ数
      141
    • 出版者
      誠文堂新光社
    • 関連する報告書
      2007 実績報告書
  • [図書] アルゴリズム・サイエンス:出口からの超入門2006

    • 著者名/発表者名
      岩間 一雄
    • 総ページ数
      183
    • 出版者
      共立出版
    • 関連する報告書
      2006 実績報告書
  • [図書] アルゴリズム・サイエンス:入口からの超入門2006

    • 著者名/発表者名
      浅野哲夫
    • 総ページ数
      229
    • 出版者
      共立出版
    • 関連する報告書
      2006 実績報告書
  • [図書] アルゴリズム・サイエンス・シリーズ「出口からの超入門」2006

    • 著者名/発表者名
      岩間一雄
    • 出版者
      共立出版(刊行予定)
    • 関連する報告書
      2005 実績報告書
  • [図書] アルゴリズム・サイエンス・シリーズ「入口からの超入門」2006

    • 著者名/発表者名
      浅野哲夫
    • 出版者
      共立出版(刊行予定)
    • 関連する報告書
      2005 実績報告書
  • [備考]

    • URL

      http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/

    • 関連する報告書
      2008 実績報告書
  • [備考] 新世代の計算限界Webページ

    • URL

      http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/

    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2004-04-01   更新日: 2018-03-28  

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

Powered by NII kakenhi