Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
奥河が修士論文を、田辺, 伊澤が学士論文を発表
奥河が数理・計算科学専攻の修士論文発表会で発表しました。
証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (
PDF
)
田辺
、
伊澤
が理学部情報科学科の卒業論文発表会で発表しました。
プログラミング言語へのバージョンの導入の研究 (
田辺
)
メタ混合JITコンパイラの提案 (
伊澤
)
2018-02-10
.
WPMVP 2018とCGO 2018 SRCにて論文とポスターの発表
→
←
岡明央が情報処理学会コンピュータサイエンス領域奨励賞を受賞