Skip to content

Programming Research Group

Department of Mathematical and Computing Science, Tokyo Institute of Technology

Home
People
Projects
Publications
Contact & Access

Teaching Programming

Enbugging Quiz
Mio: a Programming Environment based on Design Recipes
SimSym: a Physics Simulator That Encourages Model Descriptions
Code Legibility

Language:
- English
- 日本語
Search for:
News
- PLDI 2024 Paper on Space-Efficient Polymorphic Gradual Typing
  Friday June 28th, 2024
- Invited Talk on Programming With Versions at the STAIR Lab Seminar
  Friday May 24th, 2024
- Invited Talk on Continuations at FLOPS 2024
  Friday May 17th, 2024
- New Members: An Assistant Professor, Five Undergraduates, and a Master’s Student
  Monday April 1st, 2024
- Graduation March 2024
  Tuesday March 26th, 2024
- High School Students Visited Our Seminar
  Thursday March 14th, 2024
- PPL 2024 Paper on Tool Support for the Enbugging Quiz
  Tuesday March 5th, 2024
- PPL 2024 Presentation on “Compilation Semantics for a Programming Language with Versions”
  Tuesday March 5th, 2024
- Poster Presentations at PPL 2024
  Tuesday March 5th, 2024
- Five Members Presented Bachelor’s Thesis
  Friday February 9th, 2024
Links