Proj
J-GLOBAL ID:202104006005566862  Research Project code:07051385

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

離散アルゴリズムに対する品質保証技術
National award number:JPMJPR077B
Study period:2007 - 2010
Organization (1):
Principal investigator: ( , 大学院情報理工学系研究科, 准教授 )
DOI: https://doi.org/10.52926/JPMJPR077B
Research overview:
近年の情報化社会において、ソフトウエア(アルゴリズム)の品質保証は重要な課題です。しかしながら、現実社会のシステムや産業経済活動などに関連して現れる多くの問題は、その本質的な計算困難性から、得られた解の精度が保証されていない現状にあります。本研究では、離散数学、最適化、計算量理論を用いることで、次世代のソフトウエア技術として汎用性のあるアルゴリズムの品質保証技術の開発を目指します。
Terms in the title (2):
Terms in the title
Keywords automatically extracted from the title.
Research program:
Parent Research Project: 数学と諸分野の協働によるブレークスルーの探索
Organization with control over the research:
Japan Science and Technology Agency
Reports :

Return to Previous Page