任意精度数値計算システムのハイブリッド並列処理による高速化

• Project/Area Number: 25K15063
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Hiroshima City University
• Principal Investigator: 川端 英之 広島市立大学, 情報科学研究科, 准教授 (00264937)
• Project Period (FY): 2025-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2027: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2026: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2025: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
• Keywords: 並列処理 / 任意精度数値計算 / 計算精度保証 / 数値計算ライブラリ / 高速化

Outline of Research at the Start

高精度数値計算のためのプログラミングでは計算誤差の発生や伝播を回避するための煩雑な記述が求められる．本研究で目指すのは，プログラミングに要するコストを抑えながらも，計算結果の精度を保ちつつ高速に計算処理を実行できるプログラミング環境である．システムの中心となるのは，任意の要求精度での計算を可能にする数値計算ライブラリと，それを用いたプログラムの静的・動的解析に基づく最適化機能を持つ言語処理系である．マルチコアプロセッサの並列性を活かした細粒度・中粒度並列処理や，それを引き出すためのプログラム解析・変換技術の総合により，システムの実現可能性を追求する．