1. 前のページに戻る

離散アルゴリズムに対する品質保証技術

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ

体系的番号 JPMJPR077B
DOI https://doi.org/10.52926/JPMJPR077B

研究代表者

牧野 和久  東京大学, 大学院情報理工学系研究科, 准教授

研究期間 (年度) 2007 – 2010
概要近年の情報化社会において、ソフトウエア(アルゴリズム)の品質保証は重要な課題です。しかしながら、現実社会のシステムや産業経済活動などに関連して現れる多くの問題は、その本質的な計算困難性から、得られた解の精度が保証されていない現状にあります。本研究では、離散数学、最適化、計算量理論を用いることで、次世代のソフトウエア技術として汎用性のあるアルゴリズムの品質保証技術の開発を目指します。
研究領域数学と諸分野の協働によるブレークスルーの探索

報告書

(1件)
  • 2010 終了報告書 ( PDF )

URL: 

JSTプロジェクトデータベース掲載開始日: 2016-04-26   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst