Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
GPGPU
GPGPUプログラミングのためのRuby言語処理系Ikra
DynaSOAr: GPGPUのための高効率な並列オブジェクトアロケータ
Sanajeh: GPGPUのためのPython領域特化言語
GPGPUのためのLIFT中間言語の拡張
GPGPUのための並行分離論理のCoqによる健全性証明