2011 年度研究成果報告書

静的型付関数型言語のSIMD演算・並列化拡張の型に基づく高性能な実装に関する研究

研究課題

研究課題/領域番号	20700039
研究種目	若手研究(B)
配分区分	補助金
研究分野	ソフトウエア
研究機関	財団法人京都高度技術研究所 (2011) (財)京都高度技術研究所 (2008-2010)
研究代表者	吉田信明財団法人京都高度技術研究所, 研究部, 副主任研究員 (00373506)
研究期間 (年度)	2008 – 2011
キーワード	ソフトウェア学 / 言語処理系 / 並列計算 / ハイパフォーマンスコンピューティング
研究概要	Standard ML言語に対し, SIMD演算に必要なベクトルデータ型および操作と, GPGPUによる並列演算機構を,必要に応じて言語プリミティブや型を拡張して導入し,シームレスに静的型付関数型言語から並列演算を駆動できるようにした。これらの拡張は,現在実験的に個別にSML#言語処理系に実装されているが,研究期間終了後にリリースされたSML#処理系の正式版に対して今後移植する予定である。