ソフトウェア自動チューニングを支える基盤 (特集 科学技術計算におけるソフトウェア自動チューニング)