Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
岡、蟹、夏目による修士論文発表
3名が修士論文を行いました。
岡明央, Supporting Recursive Function(s) in Live Data Structure Programming
(PDF)
蟹暁, 共有メモリ最適化のためのGPGPUプログラム合成器
(PDF)
夏目敦之, 文脈指向プログラムの検証法の研究
(PDF)
(公式ページ)
2019-02-01
.
Yige Wenによるウインタープログラム成果発表
→
←
情報処理学会プログラミング研究会でシェル風汎用言語を発表