プログラミング研究室

朝倉泉が情報処理学会コンピュータサイエンス領域奨励賞を受賞

朝倉泉が情報処理学会コンピュータサイエンス領域奨励賞を受賞しました。 2015年の同会プログラミング研究会の発表「GPGPUのための並行分離論理のCoqによる健全性証明」が受賞対象となった論文です。