|
|
Yudai Tanabe Researcher Information
| Family Name |
田邉 |
Tanabe |
| First Name |
裕大 |
Yudai |
| Organization |
Institute of Science Tokyo
School of Computing
|
| Title |
|
| ORCID ID |
|
Area of Supervision : Primary |
|
| Research Bases |
|
| Specialized Field |
Software (Programming paradigm/Programming language theory, Implementation of programming systems)
|
| Research Field of Searching for Researchers |
Electrical, Information & Mechanical Engineering - Information Systems
|
| Research Theme |
Programming languages
Programming language theory
Type systems
Software verification
Software maintenance |
| Researcher Profile |
|
| Lecture Note |
TokyoTech Open Course Ware |
| Degree |
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,
|
| Related Page |
|
|