Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
日本ソフトウェア科学会研究論文賞, 増原英彦他, 2019, Unravel Programming Sessions with THRESHER
Please wait while you are redirected...or
Click Here
if you do not want to wait.
2019-05-27
.
情報処理学会論文賞, 朝倉泉他, 2018, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq
→
←
ACM学生研究コンテスト第二位, 伊澤侑祐, 2019, BacCaml: The Meta-Hybrid Just-in-time Compiler