高水準GPGPUプログラミング言語処理系の形式検証

• Project/Area Number: 18J11727
• Research Category: Grant-in-Aid for JSPS Fellows
• Allocation Type: Single-year Grants
• Section: 国内
• Research Field: Software
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 朝倉 泉 東京工業大学, 情報理工学院, 特別研究員(DC2)
• Project Period (FY): 2018-04-25 – 2020-03-31
• Project Status: Granted (Fiscal Year 2018)
• Budget Amount: ¥1,500,000 (Direct Cost: ¥1,500,000); Fiscal Year 2018: ¥800,000 (Direct Cost: ¥800,000)