非正則なデータ構造上の非数値計算問題に対するスケルトン並列プログラミングの応用

2014 年度 研究成果報告書

• 研究課題/領域番号: 24700025
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 九州工業大学 (2013-2014); 東京大学 (2012)
• 研究代表者: 江本 健斗 九州工業大学, 大学院情報工学研究院, 助教 (00587470)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• キーワード: 並列プログラミング / スケルトン / グラフ

研究成果の概要

道路ネットワークやソーシャルネットワークのようなデータから、特定の条件を満たす（最適な）部分を取り出すといった計算を高速に行うプログラムの構築を容易にするための、プログラミング手法の開発を行った。具体的には、既存の「生成・検査・集約プログラミング」のより一般的な構造への拡張、プログラムの変換の正しさを保証するための定理証明支援系による機械証明の枠組みの構築、条件付きの最短経路を例にした柔軟性と高速性に関する異なる既存手法の組合せ、を行った。

自由記述の分野

計算機科学