|
田邉裕大 研究者情報
姓 |
田邉 |
Tanabe |
名 |
裕大 |
Yudai |
所属組織 |
東京科学大学
教育研究組織 情報理工学院
|
職位 / 称号 |
|
ORCID ID |
|
教育担当 : 主担当 |
|
研究担当 |
|
専門分野 |
ソフトウエア (プログラム言語論・プログラミングパラダイム, プログラム処理系)
|
検索用研究分野 |
電気・電子・情報・機械 - コンピューター科学、情報システム
|
研究テーマ |
プログラミング言語
プログラミング言語理論
型システム
ソフトウェア検証
ソフトウェアメンテナンス |
研究者プロフィール |
|
講義ノート |
TokyoTech Open Course Ware |
学位論文 |
A Programming Language with Versions,
Summary,
Doctor (Science),
Tokyo Institute of Technology,
2023/03/26,
A Programming Language with Versions,
Exam Summary,
Doctor (Science),
Tokyo Institute of Technology,
2023/03/26,
A Programming Language with Versions,
Thesis,
Doctor (Science),
Tokyo Institute of Technology,
2023/03/26,
|
関連URL |
|
|